Reasoning Theory for D3L with Compositional Bridge Rules
The semantic mapping in Distributed Dynamic Description Logics (D3L) allows knowledge to propagate from one ontology to another. The current research for knowledge propagation in D3L is only for a simplified case when only two ontologies are involved. In this paper we study knowledge propagation in more complex cases. We find in the case when more than two ontologies are involved and bridge rules form chains, knowledge does not always propagate along chains of bridge rules even if we would expect it. Inspired by Package-based description Logics, we extend the original semantics of D3L by imposing so called compositional consistency condition on domain relations in D3L interpretations. Under this semantics knowledge propagates along chains of bridge rules correctly. Furthermore we provide a distributed Tableaux reasoning algorithm for deciding satisfiability of concepts which is decidable in D3L under compositional consistency. Compared with original one, the extended D3L provides more reasonable logic foundation for distributed, dynamic system such as the information integration system and the Semantic Web.
KeywordsDistributed Dynamic Description Logics(D3L) Knowledge Propagation Compositional Consistency Bridge Rule Chain
- 2.Shi, Z., Jiang, Y., Zhang, H., et al.: Agent service matchmaking based on description logic. Chinese Journal of Computers 27(5), 625–635 (2004) (in Chinese)Google Scholar
- 4.Wang, Z.: Distributed Information Retrieval Oriented Automatic Reasoning. Doctor’s thesis. Institute of Computing Technology. Chinese Academy of Sciences, Beijing (2010)Google Scholar
- 8.Bao, J., Caragea, D., Honavar, V.G.: A distributed tableau algorithm for package-based description logics. In: 2nd International Workshop on Context Representation and Reasoning. IOS Press, Italy (2008)Google Scholar
- 13.Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 453–458. AAAI Press, California (2007)Google Scholar
- 14.Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: Tenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 570–575. AAAI Press, California (2005)Google Scholar