Forgetting and uniform interpolation in large-scale description logic terminologies

Authors:
Boris Konev;Dirk Walther;Frank Wolter
Affiliations:
Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Liverpool, UK
Venue:
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Year:
2009

Citing 8
Cited 19

NCI Thesaurus: A semantic model integrating cancer-related clinical and molecular information

Journal of Biomedical Informatics
Just the right amount: extracting modules from ontologies

Proceedings of the 16th international conference on World Wide Web
Forgetting in Managing Rules and Ontologies

WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Semantic forgetting in answer set programming

Artificial Intelligence
Semantic Modularity and Module Extraction in Description Logics

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Propositional independence: formula-variable independence and forgetting

Journal of Artificial Intelligence Research
Conservative extensions in expressive description logics

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Deciding inseparability and conservative extensions in the description logic EL

Journal of Symbolic Computation

Mathematical Logic for Life Science Ontologies

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Variable forgetting in reasoning about knowledge

Journal of Artificial Intelligence Research
Concept and Role Forgetting in ${\mathcal {ALC}}$ Ontologies

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Uniform Interpolation for $\mathcal{ALC}$ Revisited

AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Logic-based ontology comparison and module extraction, with an application to DL-Lite

Artificial Intelligence
Tableau-based Forgetting in ALC Ontologies

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A Unified Framework for Non-standard Reasoning Services in Description Logics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Forgetting for knowledge bases in DL-Lite

Annals of Mathematics and Artificial Intelligence
Interpolation theorems for some extended description logics

KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Linkless normal form for ALC concepts and TBoxes

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Interpolable formulas in equilibrium logic and answer set programming

Journal of Artificial Intelligence Research
Forgetting for defeasible logic

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
On the (non-)succinctness of uniform interpolation in general EL terminologies

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hitting the sweetspot: economic rewriting of knowledge bases

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Reasoning over ontologies with hidden content: the import-by-query approach

Journal of Artificial Intelligence Research
An argumentation framework for description logic ontology reasoning and management

Journal of Intelligent Information Systems
Model-theoretic inseparability and modularity of description logic ontologies

Artificial Intelligence
Beth definability in expressive description logics

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic ƐL extended with role inclusions and domain and range restrictions. Three different notions of forgetting, preserving, respectively, concept inclusions, concept instances, and answers to conjunctive queries, with corresponding languages for uniform interpolants are investigated. Experiments based on SNOMED CT (Systematised Nomenclature of Medicine Clinical Terms) and NCI (National Cancer Institute Ontology) demonstrate that forgetting is often feasible in practice for large-scale terminologies.