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
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Towards Collaborative Environments for Ontology Construction and Sharing
CTS '06 Proceedings of the International Symposium on Collaborative Technologies and Systems
IEEE Intelligent Systems
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
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
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
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Modular ontologies – a formal investigation of semantics and expressivity
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
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
Lifecycle-support in architectures for ontology-based information systems
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
| Hi-index | 0.00 |
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which usually have branches around the globe, need to manage web-based, complex, dynamically changing and geographically distributed information. Formalisms for modular ontologies offer the necessary mechanism that is needed to handle ontology-based distributed information systems in the aforementioned scenario. In this paper, we investigate state-of-the-art technologies in the area of modular ontologies and corresponding logical formalisms. We compare different formalisms for modular ontologies in their ability to support networked, dynamic and distributed ontologies, as well as the reasoning capability over these ontologies. The comparison results show the strength and limitation of existing formalisms against the needs of modular ontologies in the given setting, and possible future extensions to overcome those limitations.