Add to ORKGCopyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic ALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and of its application to the logical difference problem for real-life ALC ontologies. Our results indicate that in many practical cases uniform interpolants exist and that they can be computed with the presented algorithm
Although εL is a popular logic used in large existing knowledge bases, to the best of our knowledge ...
International audienceWe present a method for extracting general modules for ontologies formulated i...
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. Thi...
We develop a clausal resolution-based approach for comput-ing uniform interpolants of TBoxes formula...
Abstract We develop a clausal resolution-based approach for computing uni-form interpolants of TBoxe...
This paper explores how the logical difference between two ontologies can be tracked using a forgett...
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset of...
Abstract. We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform...
Abstract We study uniform interpolation and forgetting in the description logic ALC. Our main result...
Abstract. We propose a method for forgetting concept symbols and non-transitive roles symbols of SHQ...
Abstract. Recently, different forgetting approaches for knowledge bases expressed in different logic...
AbstractWe develop a formal framework for comparing different versions of ontologies, and apply it t...
Abstract. We develop a resolution-based method for forgetting con-cept and role symbols in ALCH onto...
Interpolation (together with completeness and decidability) has become one of the standard properti...
International audienceWe investigate how minimal subsumption modules can be extracted using methods ...
Although εL is a popular logic used in large existing knowledge bases, to the best of our knowledge ...
International audienceWe present a method for extracting general modules for ontologies formulated i...
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. Thi...
We develop a clausal resolution-based approach for comput-ing uniform interpolants of TBoxes formula...
Abstract We develop a clausal resolution-based approach for computing uni-form interpolants of TBoxe...
This paper explores how the logical difference between two ontologies can be tracked using a forgett...
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset of...
Abstract. We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform...
Abstract We study uniform interpolation and forgetting in the description logic ALC. Our main result...
Abstract. We propose a method for forgetting concept symbols and non-transitive roles symbols of SHQ...
Abstract. Recently, different forgetting approaches for knowledge bases expressed in different logic...
AbstractWe develop a formal framework for comparing different versions of ontologies, and apply it t...
Abstract. We develop a resolution-based method for forgetting con-cept and role symbols in ALCH onto...
Interpolation (together with completeness and decidability) has become one of the standard properti...
International audienceWe investigate how minimal subsumption modules can be extracted using methods ...
Although εL is a popular logic used in large existing knowledge bases, to the best of our knowledge ...
International audienceWe present a method for extracting general modules for ontologies formulated i...
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. Thi...