Conservative Extensions, Interpretations Between Theories and All That!
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Ontology module extraction for ontology reuse: an ontology engineering perspective
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Logical Difference Problem for Description Logic Terminologies
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
SAOR: Authoritative Reasoning for the Web
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Formal Properties of Modularisation
Modular Ontologies
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
Package-Based Description Logics
Modular Ontologies
Privacy-Preserving Query Answering in Logic-based Information Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
An entropy inspired measure for evaluating ontology modularization
Proceedings of the fifth international conference on Knowledge capture
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Efficient retrieval of ontology fragments using an interval labeling scheme
Information Sciences: an International Journal
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Import-by-query: ontology reasoning under access limitations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Forgetting and uniform interpolation in large-scale description logic terminologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Dynamic selection of ontological alignments: a space reduction mechanism
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
Distributed Resolution for Expressive Ontology Networks
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A semantic-based architecture for supporting geographic e-services
Proceedings of the 3rd international conference on Theory and practice of electronic governance
Task Oriented Evaluation of Module Extraction Techniques
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Concept and Role Forgetting in ${\mathcal {ALC}}$ Ontologies
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Evaluating formalisms for modular ontologies in distributed information systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Safe and economic re-use of ontologies: a logic-based methodology and tool support
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
Expressive approximations in DL-lite ontologies
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
A logical semantics for description logic programs
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Using ontology modularization for efficient negotiation over ontology correspondences in MAS
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Concept-Based semantic difference in expressive description logics
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
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Three semantics for the core of the distributed ontology language (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
The notion of a conservative extension plays a central role in ontology design and integration: it can be used to formalize ontology refinements, safe mergings of two ontologies, and independent modules inside an ontology. Regarding reasoning support, the most basic task is to decide whether one ontology is a conservative extension of another. It has recently been proved that this problem is decidable and 2ExpTime-complete if ontologies are formulated in the basic description logic ALC. We consider more expressive description logics and begin to map out the boundary between logics for which conservativity is decidable and those for which it is not. We prove that conservative extensions are 2ExpTime-complete in ALCQI, but undecidable in ALCQIO. We also show that if conservative extensions are defined model-theoretically rather than in terms of the consequence relation, they are undecidable already in ALC.