Concept and Role Forgetting in ALC Ontologies

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

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

Abstract / Description of output

Forgetting is an important tool for reducing ontologies by eliminating some concepts and roles while preserving sound and complete reasoning. Attempts have previously been made to address the problem of forgetting in relatively simple description logics (DLs) such as DL-Lite and extended EL. The ontologies used in these attempts were mostly restricted to TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive description logics, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting for such logics is still open.
Original languageEnglish
Title of host publicationThe Semantic Web - ISWC 2009
Subtitle of host publication8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings
EditorsAbraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Pages666-681
Number of pages16
ISBN (Electronic)978-3-642-04930-9
ISBN (Print)978-3-642-04929-3
DOIs
Publication statusPublished - 5 Nov 2009
EventThe 8th International Semantic Web Conference - Chantilly, United States
Duration: 25 Oct 200929 Oct 2009
Conference number: 8
http://iswc2009.semanticweb.org/

Publication series

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

Conference

ConferenceThe 8th International Semantic Web Conference
Abbreviated titleISWC 2009
Country/TerritoryUnited States
CityChantilly
Period25/10/0929/10/09
Internet address

Fingerprint

Dive into the research topics of 'Concept and Role Forgetting in ALC Ontologies'. Together they form a unique fingerprint.

Cite this