Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
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
ε-connections of abstract description systems
Artificial Intelligence
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
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
Institutionalising ontology-based semantic integration
Applied Ontology
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
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Answering regular path queries in expressive description logics: an automata-theoretic approach
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Decomposition and modular structure of BioPortal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
The modular structure of an ontology: atomic decomposition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Formal specification of ontology networks
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
Common Logic and the Horatio problem
Applied Ontology - Modularity in Ontologies
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
On definability and redundancy in EL–TBoxes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Modularity of ontologies is currently an active research field, and many different notions of a module have been proposed. In this paper, we review the fundamental principles of modularity and identify formal properties that a robust notion of modularity should satisfy. We explore these properties in detail in the contexts of description logic and classical predicate logic and put them into the perspective of well-known concepts from logic and modular software specification such as interpolation, forgetting and uniform interpolation. We also discuss reasoning problems related to modularity.