Add to ORKGAbstract. We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL profiles. Verifying whether a Horn ontology belongs to the class can be done in polynomial time. We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.
This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL o...
Abstract. In our previous work, we showed how a scalable OWL 2 RL reasoner can be used to compute bo...
Ontology classification is the reasoning service that computes all subsumption relationships inferre...
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking ...
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking ...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Description logics (DLs) have become a prominent paradigm for representing knowledge in a variety of...
Ontology classification—the computation of the subsumption hierarchies for classes and properties—is...
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn ...
Ontology classification - the computation of subsumption hierarchies for classes and properties - is...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
We present a novel reasoning procedure for Horn SHIQ ontologies–SHIQ ontologies that can be translat...
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Sem...
An ontology-mediated query (OMQ) consists of a database query paired with an ontology. When evaluate...
We present a novel reasoning procedure for Horn SHIQ ontologies—SHIQ ontologies that can be translat...
This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL o...
Abstract. In our previous work, we showed how a scalable OWL 2 RL reasoner can be used to compute bo...
Ontology classification is the reasoning service that computes all subsumption relationships inferre...
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking ...
We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking ...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Description logics (DLs) have become a prominent paradigm for representing knowledge in a variety of...
Ontology classification—the computation of the subsumption hierarchies for classes and properties—is...
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn ...
Ontology classification - the computation of subsumption hierarchies for classes and properties - is...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
We present a novel reasoning procedure for Horn SHIQ ontologies–SHIQ ontologies that can be translat...
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Sem...
An ontology-mediated query (OMQ) consists of a database query paired with an ontology. When evaluate...
We present a novel reasoning procedure for Horn SHIQ ontologies—SHIQ ontologies that can be translat...
This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL o...
Abstract. In our previous work, we showed how a scalable OWL 2 RL reasoner can be used to compute bo...
Ontology classification is the reasoning service that computes all subsumption relationships inferre...