Abstract
The language of HEX-programs under the answer-set semantics is designed for interoperating with heterogeneous sources via external atoms and for meta-reasoning via higher-order literals in the context of the Semantic Web. As an important technique in managing knowledge bases, the notion of forgetting has received increasing interest in the knowledge-representation area. In this paper, we introduce a semantics-based theory of forgetting for HEX-programs and, in turn, for a class of OWL/RDF ontologies which allows to fully employ semantic information in managing ontologies like editing, merging, aligning, and redundancy removal.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-120

BibTeX:

@inproceedings{REWERSE-RP-2006-120,
	author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits and Kewen Wang},
	title = {Forgetting in Managing Rules and Ontologies},
	booktitle = {Proceedings of International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, Seattle, WA, USA (16th August 2006)},
	year = {2006},
	volume = {196},
	pages = {1--16},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-120}
}