Reducing OWL entailment to description logic satisfiability

@article{Horrocks2004ReducingOE,
  title={Reducing OWL entailment to description logic satisfiability},
  author={Ian Horrocks and Peter F. Patel-Schneider},
  journal={J. Web Semant.},
  year={2004},
  volume={1},
  pages={345-357}
}
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. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 387 CITATIONS

Measuring effectiveness of ontology debugging systems

  • Knowl.-Based Syst.
  • 2014
VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning

  • Int. J. Semantic Web Inf. Syst.
  • 2012
VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Foundations of Fuzzy Logic and Semantic Web Languages

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Typed Model for Linked Data

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Programming languages and principles for read-write linked data

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

  • IEEE Transactions on Knowledge and Data Engineering
  • 2010
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics

  • Int. J. Approx. Reasoning
  • 2010
VIEW 16 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2019

CITATION STATISTICS

  • 50 Highly Influenced Citations