Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Resolution for quantified Boolean formulas
Information and Computation
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
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Ontology module extraction for ontology reuse: an ontology engineering perspective
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Formal Properties of Modularisation
Modular Ontologies
Extracting Modules from Ontologies: A Logic-Based Approach
Modular Ontologies
Structure-Based Partitioning of Large Ontologies
Modular Ontologies
Traversing Ontologies to Extract Views
Modular Ontologies
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Semantic Modularity and Module Extraction in Description Logics
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
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
Minimal module extraction from DL-lite ontologies using QBF solvers
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
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
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
Module extraction and incremental classification: a pragmatic approach for ƐL+ ontologies
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Journal on data semantics X
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
The OWL API: A Java API for OWL ontologies
Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The seventh QBF solvers evaluation (QBFEVAL’10)
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Description logic TBoxes: model-theoretic characterizations and rewritability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
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
The modular structure of an ontology: atomic decomposition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Hitting the sweetspot: economic rewriting of knowledge bases
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
| Hi-index | 0.00 |
The aim of this paper is to introduce and study model-theoretic notions of modularity in description logic and related reasoning problems. Our approach is based on a generalisation of logical equivalence that is called model-theoretic inseparability. Two TBoxes are inseparable w.r.t. a vocabulary @S if they cannot be distinguished by the @S-reducts of their models and thus can equivalently be replaced by one another in any application where only vocabulary items from @S are relevant. We study in-depth the complexity of deciding inseparability for the description logics EL and ALC and their extensions with inverse roles. We then discuss notions of modules of a TBox based on model-theoretic inseparability and develop algorithms for extracting minimal modules from acyclic TBoxes. Finally, we provide an experimental evaluation of our module extraction algorithm based on the large-scale medical TBox Snomed ct.