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
The description logic handbook
ε-connections of abstract description systems
Artificial Intelligence
Towards Collaborative Environments for Ontology Construction and Sharing
CTS '06 Proceedings of the International Symposium on Collaborative Technologies and Systems
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Modular ontologies – a formal investigation of semantics and expressivity
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Towards Distributed Ontology Reasoning for the Web
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Package-Based Description Logics
Modular Ontologies
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
Many real world applications of ontologies call for reasoning with modular ontologies. We describe a tableau-based reasoning algorithm based on Package-based Description Logics (P-DL), an modular ontology language that extends description logics. Unlike Classical approaches that assume a single centralized, consistent ontology, the proposed algorithm adopts a federated approach to reasoning with modular ontologies wherein each ontology module has associated with it, a local reasoner. The local reasoners communicate with each other as needed in an asynchronous fashion. Hence, the proposed approach offers an attractive approach to reasoning with multiple, autonomously developed ontology modules, in settings where it is neither possible nor desirable to integrate all involved modules into a single centralized ontology.