Closing Semantic Web Ontologies

  title={Closing Semantic Web Ontologies},
  author={Boris Motik and Riccardo Rosati},
In this paper, we present a novel formalism of hybrid MKNF knowledge bases, which allows us to seamlessly integrate an arbitrary decidable description logic with logic programming rules. We thus obtain a powerful hybrid formalism that combines the best features of both description logics, such as the ability to model taxonomic knowledge, and logic programming, such as the ability to perform nonmonotonic reasoning. Extending DLs with unrestricted rules makes reasoning undecidable. To obtain… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS
24 Citations
38 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 24 extracted citations

Similar Papers

Loading similar papers…