HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Ontology mapping: the state of the art
The Knowledge Engineering Review
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Forgetting and conflict resolving in disjunctive logic programming
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A theory of forgetting in logic programming
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic forgetting in answer set programming
Artificial Intelligence
Forgetting and uniform interpolation in large-scale description logic terminologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
An argumentation-based approach to handling inconsistencies in DL-Lite
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
Forgetting fragments from evolving ontologies
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
vSPARQL: A view definition language for the semantic web
Journal of Biomedical Informatics
TrOWL: tractable OWL 2 reasoning infrastructure
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
LPForget: a system of forgetting in answer set programming
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Foundations for uniform interpolation and forgetting in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
An on-line algorithm for semantic forgetting
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Hi-index | 0.00 |
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(S) ontologies which allows to fully employ semantic information in managing ontologies like editing, merging, aligning, and redundancy removal.