Results 11 - 20 of 213

IOS Press Hybrid Reasoning on OWL RL

by Jacopo Urbani A, Robert Piro, Frank Harmelen, Henri Bal
"... Abstract. Both materialization and backward-chaining as different modes of performing inference have complementary advantages and disadvantages. Materialization enables very efficient responses at query time, but at the cost of an expensive up front closure computation, which needs to be redone ever ..."
Abstract - Add to MetaCart
algorithm by proving its completeness using the theory developed in deductive databases and we introduce a number of techniques that exploit the characteristics of our method to execute efficiently (most of) the OWL RL rules. These techniques reduce the computation and hence improve the response time

Brain, a library for the OWL2 EL profile

by Samuel Croset, John Overington, Dietrich Rebholz-schuhmann, Owl El
"... Abstract. Brain is a Java library facilitating the interaction with OWL2 EL ontologies. The library aims at bridging the gap between graphical user interfaces such as Protege and the OWL-API: It provides a series of convenience methods to create and query knowledge bases using the Manchester syntax. ..."
Abstract - Add to MetaCart
Abstract. Brain is a Java library facilitating the interaction with OWL2 EL ontologies. The library aims at bridging the gap between graphical user interfaces such as Protege and the OWL-API: It provides a series of convenience methods to create and query knowledge bases using the Manchester syntax

An OWL ontology library representing judicial interpretations

by Marcello Cecia, Aldo Gangemib
"... Abstract. The article introduces a formal model of legal knowledge that relies on the metadata contained in judicial documents, and JudO, a judicial ontology library that represents the interpretations performed by a judge when conducting legal reasoning towards the adjudication of a case. For the p ..."
Abstract - Add to MetaCart
Abstract. The article introduces a formal model of legal knowledge that relies on the metadata contained in judicial documents, and JudO, a judicial ontology library that represents the interpretations performed by a judge when conducting legal reasoning towards the adjudication of a case

The OWL-S Java API

by Evren Sirin, Bijan Parsia - Proceedings of the Third International Semantic Web Conference. 2004. References
"... The OWL-Services (OWL-S) suite of ontologies is the most mature and probably the most widely deployed comprehensive Semantic Web Service technology. However, the intended semantics of OWL-S service descriptions is not expressed (or expressable, often) in OWL. Furthermore, working with OWL-S descript ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
descriptions at the RDF or even the OWL level is quite difficult and tedious as they tend to be at the wrong level of abstraction. The OWL-S API is a Java library for working with OWL-S service descriptions. It provides parsing, serializing, validation, reasoning, and execution services for OWL-S versions 0

I: The OBO to OWL mapping, GO to OWL 1.1

by Christine Golbreich, Ian Horrocks - In Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions
"... Abstract. A large library of biomedical ontologies has been developed in the OBO format, including important ontologies such as the Gene Ontology (GO). These resources have the potential to contribute to the Semantic Web in the life sciences domain. In particular, they allow the annotation of distri ..."
Abstract - Cited by 18 (0 self) - Add to MetaCart
Abstract. A large library of biomedical ontologies has been developed in the OBO format, including important ontologies such as the Gene Ontology (GO). These resources have the potential to contribute to the Semantic Web in the life sciences domain. In particular, they allow the annotation

OWL: Yet to arrive on the Web of Data

by Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres - LDOW, volume 937 of CEUR Workshop Proceedings. CEUR-WS.org , 2012
"... Seven years on from OWL becoming a W3C recommendation, and two years on from the more recent OWL 2 W3C recommendation, OWL has still experienced only patchy uptake on the Web. Although certain OWL features (like owl:sameAs) are very popular, other features of OWL are largely neglected by publishers ..."
Abstract - Cited by 11 (3 self) - Add to MetaCart
) gain insights into the OWL fragment that is actually used/usable on the Web, where we arrive at the conclusion that this fragment is likely to be a simplified profile based on OWL RL, (3) propose and discuss such a new fragment, which we call OWL LD (for Linked Data). 1.

A Fuzzy Extension to the OWL 2 RL Ontology Language

by Giorgos Stoilos, Tassos Venetis, Giorgos Stamou
"... Fuzzy extensions to Description Logics (DLs) have gained considerable attention the last decade. So far most works on fuzzy DLs have focused on either very expressive languages, like fuzzy OWL and OWL 2, or on highly inexpressive ones, like fuzzy OWL 2 QL and fuzzy OWL 2 EL. To the best of our knowl ..."
Abstract - Add to MetaCart
knowledge a fuzzy extension to the language OWL 2 RL has not been thoroughly studied so far. This language is very relevant since it combines both adequate expressive power as well as ecient reasoning algorithms which can be realised using rule-based (Datalog) technologies. In contrast to previous fuzzy

A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics

by Michael Schneider, Kai Mainzer
"... Abstract. We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of the OWL 2 RDFbased semantics. The OWL 2 RL/RDF rules language is one of the new specifications of the W3C OWL ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract. We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of the OWL 2 RDFbased semantics. The OWL 2 RL/RDF rules language is one of the new specifications of the W3C OWL

A Better Uncle For OWL -- Nominal Schemas for Integrating Rules and Ontologies

by Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler , 2011
"... We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like “variable nominal classes”within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal s ..."
Abstract - Cited by 38 (17 self) - Add to MetaCart
schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV 3(⊓, ×) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.

OWLDEF: Integrating OBO and OWL

by Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Janet Kelso, Herre Dietrich Rebholz-schuhmann
"... An integration of the OBO Flatfile Format and the Web Ontology Language (OWL) would enable automated reasoning, inferences and consistency checking of biomedical ontologies and support the development and maintenance of ontologies developed in the OBO Flatfile Format. So far, the translation of rela ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
An integration of the OBO Flatfile Format and the Web Ontology Language (OWL) would enable automated reasoning, inferences and consistency checking of biomedical ontologies and support the development and maintenance of ontologies developed in the OBO Flatfile Format. So far, the translation
Results 11 - 20 of 213