Semantic Web Dog Food

Presented at: 5th European Semantic Web Conference (ESWC2008)

by Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z. Pan

Description logics form the foundation of ontologies used in the Semantic Web. To support reuse and integration of ontologies in Semantic Web applications, it is often necessary to restrict ontologies to a subset of their concepts and roles, or equivalently to forget a complementary subset of concepts and roles from the ontologies. We present the first detailed account of this problem for description logics, in particular for the DL-Lite family of description logics. Specifically, we present a semantic definition of forgetting that generalises the standard definition for classical logic. We introduce algorithms for forgetting concepts roles from both DL-Lite TBoxes and ABoxes. We prove the algorithms are sound and complete with respect to the semantics, and demonstrate how they can be used to speed-up query answering in DL-Lite knowledge bases.

Keywords: description logic, dl-lite, forgetting, ontology, restricting, Data Integration, Formal Languages, Inference, Logic, Ontology (computer science), Ontology (Computer Science), Ontology alignment, Ontology Alignment, Semantic Web, Web Ontology Language

Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2008/paper/56
Same as: http://revyu.com/things/eswc-2008-paper-restricting-and-lite
Same as: http://semanticweb.org/id/Restricting_and_forgetting_in_DL-Lite

Explore this resource elsewhere:

• on Snorql
• on Sindice
• on dotAC Explorer