Semantics and implementation of schema evolution in object-oriented databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Readings in uncertain reasoning
Refining the structure of terminological systems: terminology = schema + views
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Knowledge entry as the graphical assembly of components
Proceedings of the 1st international conference on Knowledge capture
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Ontology Versioning and Change Detection on the Web
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Views for light-weight Web ontologies
Proceedings of the 2003 ACM symposium on Applied computing
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Theorem proving with structured theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A formal investigation of mapping language for terminological knowledge
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Matching large ontologies: A divide-and-conquer approach
Data & Knowledge Engineering
A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Techniques for discovering correspondences between ontologies
International Journal of Web and Grid Services
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
Semantic recognition of ontology refactoring
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Cohesion and coupling metrics for ontology modules
Information Technology and Management
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
Multidimensional integrated ontologies: a framework for designing semantic data warehouses
Journal on Data Semantics XIII
A semantic metrics suite for evaluating modular ontologies
Information Systems
Hi-index | 0.01 |
The benefits of modular representations are well known from many areas of computer science. While in software engineering modularization is mainly a vehicle for supporting distributed development and re-use, in knowledge representation, the main goal of modularization is efficiency of reasoning. In this paper, we concentrate on the benefits of modularization in the context of ontologies, explicit representations of the terminology used in a domain. We define a formal representation for modular ontologies based on the notion of Distributed Description Logics and introduce an architecture that supports local reasoning by compiling implied axioms. We further address the problem of guaranteeing the correctness and completeness of compiled knowledge in the presence of changes in different modules. We propose a heuristic for analyzing changes and their impact on compiled knowledge and guiding the process of updating compiled information that can often reduce the effort of maintaining a modular ontology by avoiding unnecessary re-compilation.