TY - GEN
T1 - Forgetting concepts in DL-lite
AU - Wang, Zhe
AU - Wang, Kewen
AU - Topor, Rodney
AU - Pan, Jeff Z.
PY - 2008/6/25
Y1 - 2008/6/25
N2 - 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.
AB - 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.
KW - logic programming
KW - classical logic
KW - description logic
KW - conjunctive query
KW - query answering
UR - http://www.scopus.com/inward/record.url?scp=45449102448&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-68234-9_20
DO - 10.1007/978-3-540-68234-9_20
M3 - Published conference contribution
AN - SCOPUS:45449102448
SN - 3540682333
SN - 9783540682332
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 245
EP - 257
BT - The Semantic Web
T2 - 5th European Semantic Web Conference, ESWC 2008
Y2 - 1 June 2008 through 5 June 2008
ER -