Reducing OWL entailment to description logic satisfiability
Journal of Web SemanticsPublished 10 August 2004
Ian Horrocks, Peter F. Patel‐Schneider
Citations387
SJR quartileQ2
SJR score0.64
SNIP1.59
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the SHOIN(D) and SHIF(D) description logics. This is done by first establishing a correspondence between OWL ontologies and description logic knowledge bases and then by showing how knowledge base entailment can be reduced to knowledge base satisfiability. © 2004 Elsevier B. V. All rights reserved.
Keywords
Computer Science
Data Archiving and Networked Services (DANS)OWL Web Ontology Language - Reference
2,387 Citations2004Mike Dean, A.T. Schreiber +7 more
This document contains a structured informal description of the full set of {owL} language constructs and is meant to serve as a reference for {OWL} users who want to construct {OWl} ontologies.
ACM SIGKDD Explorations NewsletterResource description framework
1,073 Citations2001K. Selçuk Candan, Huan Liu +1 more
This survey aims at providing a glimpse at the past, present, and future of this upcoming technology and highlights why it is expected that knowledge discovery and data mining can benefit from RDF and the Semantic Web.
Lecture notes in computer scienceRACER System Description
903 Citations2001Volker Haarslev, Ralf Möller
RACER implements a TBox and ABox reasoner for the logic SHIQ, the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.
IEEE Intelligent SystemsOIL: an ontology infrastructure for the Semantic Web
759 Citations2001Dieter Fensel, Frank van Harmelen +3 more
The authors present OIL, a proposal for a joint standard for specifying and exchanging ontologies, which is needed for knowledge sharing and reuse on the Semantic Web.
Lecture notes in computer sciencePractical Reasoning for Expressive Description Logics
534 Citations1999Ian Horrocks, Ulrike Sattler +1 more
An algorithm is presented that decides satisfiability of the DL ACC extended with transitive eind inverse roles, role hierarchies, and quaJifying number restrictions, and early experiments indicate that this algorithm is well-suited for implementation.
DLP System Description.
530 Citations1998Peter F. Patel‐Schneider
Although DLP is an experimental system, it nonetheless provides a fast satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.
arXiv (Cornell University)Complexity Results and Practical Algorithms for Logics in Knowledge Representation
337 Citations2001Stephan Tobies
A number of novel complexity results and practical algorithms for expressive DLs that provide different forms of counting quantifiers are established and it is shown that, in many cases, adding local counting in the form of qualifying number restrictions to DLs does not increase the complexity of the inference problems, even if binary coding of numbers in the input is assumed.
Ontology reasoning in the SHOQ(D) description logic
313 Citations2001Ian Horrocks, Ulrike Sattler
SHOQ(D) is an expressive description logic equipped with named individuals and concrete datatypes which has almost exactly the same expressive power as the latest web ontology languages (e.g., OIL and DAML).
National Conference on Artificial IntelligenceReviewing the design of DAML+OIL: an ontology language for the semantic web
138 Citations2002Ian Horrocks, Peter F. Patel‐Schneider +1 more
DAML+OIL's relation with its key ingredients is reviewed, the design decisions and trade-offs that were the basis for the language definition are discussed, and a number of implementation challenges posed by the current language are identified.
Lecture Notes in Artificial IntelligenceHow to Decide Query Containment under Constraints Using a Description Logic
85 Citations2007Ian Horrocks, Ulrike Sattler +2 more
The technique is to extend the logic DLR with an ABox, and to transform query subsumption problems into DLR ABox satisfiability problems that can be decided, via a reification transformation, using a highly optimised reasoner for the SHIQ description logic.
Knowledge Representation on the Web.
61 Citations2000Stefan Decker, D.A. Fensel +5 more
The OIL language extends the RDF schema standard to provide just such a layer, which combines the most attractive features of frame based languages with the expressive power, formal rigour and reasoning services of a very expressive description logic.