Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An epistemic operator for description logics
Artificial Intelligence
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
ε-connections of abstract description systems
Artificial Intelligence
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
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
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
Cohesion and coupling metrics for ontology modules
Information Technology and Management
Engineering use cases for modular development of ontologies in OWL
Applied Ontology - Modularity in Ontologies
A semantic metrics suite for evaluating modular ontologies
Information Systems
| Hi-index | 0.00 |
In this paper, we present a framework for developing ontologies in a modular manner, which is based on the notions of interfaces and knowledge encapsulation. Within the context of this framework, an ontology can be defined and developed as a set of ontology modules that can access the knowledge bases of the others through their well-defined interfaces. An important implication of the proposed framework is that ontology modules can be developed completely independent of each others' signature and language. Such modules are free to only utilize the required knowledge segments of the others. We describe the interface-based modular ontology formalism, which theoretically supports this framework and present its distinctive features compared to the exiting modular ontology formalisms. We also describe the real-world design and implementation of the framework for creating modular ontologies by extending OWL-DL and modifying the Swoop interfaces and reasoners.