Forgetting Concepts in DL-Lite

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, applications may require the omission of many terms, e.g., concept names and role names, from an ontology. However, the task of omitting terms from an ontology is challenging because the omission of some terms may affect the relationships between the remaining terms in complex ways. We present the first solution to this problem by adapting the technique of forgetting, previously used in other domains. Specifically, we present a semantic definition of forgetting for description logics in general, which generalizes the standard definition for classical logic. We then introduce algorithms that implement forgetting in both DL-Lite TBoxes and ABoxes, and in DL-Lite knowledge bases. We prove that the algorithms are correct with respect to the semantic definition of forgetting, and that they run in polynomial time.
Original languageEnglish
Title of host publicationThe Semantic Web: Research and Applications
Subtitle of host publication5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
EditorsSean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages13
ISBN (Electronic)978-3-540-68234-9
ISBN (Print)978-3-540-68233-2
Publication statusPublished - 23 May 2008
Event5th European Semantic Web Conference 2008 - Tenerife, Spain
Duration: 1 Jun 20085 Jun 2008
Conference number: 5

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th European Semantic Web Conference 2008
Abbreviated titleESWC 2008
Internet address


Dive into the research topics of 'Forgetting Concepts in DL-Lite'. Together they form a unique fingerprint.

Cite this