Abstract
Bridge rules provide an important mechanism for describing semantic mapping and propagating knowledge for distributed dynamic description logics (D3L). The current research focuses on the homogeneous bridge rules that only contain atomic elements. In this paper, the research is extended to the D3L reasoning problem with heterogeneous bridge rules that contain composite elements in subset ends. The regularity of the distributed knowledge base is defined. Through the alteration of the bridge rules and transforming different forms into existing language mechanisms, we present an algorithm that can convert the D3L knowledge base with dynamic description logic \( {\mathcal{DSROIQ}} \) as the local ontology language into a single \( {\mathcal{DSROIQ}} \) knowledge base. Next, we study the properties of the algorithm. We prove that the algorithm will terminate in polynomial time and that the satisfiability of the target knowledge base is equivalent to the satisfiability of the original knowledge base. Thus, we prove that the worst-case time complexity of the centralized reasoning on the regular D3L knowledge base with such bridge rules is the same as that on a single \( {\mathcal{DSROIQ}} \) knowledge base. The method proposed in this paper makes centralized reasoning for D3L obtain the same worst-case time complexity as the existing distributed reasoning method and solves the problem that the latter cannot handle heterogeneous composite bridge rules.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic EL. J. Symb. Comput. 45(2), 194–228 (2010)
Konev, B., Lutz, C., Walther, D., Wolter, F.: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. 203, 66–103 (2013)
Cuenca Grau, B., Parsia, B., Sirin, E.: Ontology integration using ε-connections. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 293–320. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01907-4_14
Mossakowski, T., Kutz, O., Codescu, M.: The distributed ontology, modeling and specification language. In: 7th International Workshop on Modular Ontologies, pp. 1–21. IOS Press, Amsterdam (2013)
Nalon, C., Kutz, O.: Towards resolution-based reasoning for connected logics. Electron. Notes Theor. Comput. Sci. 305, 85–102 (2014)
Wang, Z.: Distributed Information Retrieval Oriented Automatic Reasoning. Institute of Computing Technology, Chinese Academy of Sciences, Beijing (2010)
Zhao, X., Tian, D., Chen, L., Shi, Z.: Reasoning theory for D3L with compositional bridge rules. In: Shi, Z., Leake, D., Vadera, S. (eds.) IIP 2012. IAICT, vol. 385, pp. 106–115. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32891-6_15
Zhao, X., Tian, D., Zhang, W., Shi, Z.: Properties and distributed tableaux reasoning algorithm for D3L(ccy). J. Comput. Res. Dev. 51(3), 570–579 (2014)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \( {\mathcal{SROIQ}} \). In: 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 57–67. AAAI, CA (2006)
Ghidini, C., Serafini, L.: Distributed first order logic. Artif. Intell. 253, 1–39 (2017)
Stuckenschmidt, H., Parent, C., Spaccapietra, S.: Modular Ontologies-Concepts. Theories and Techniques for Knowledge Modularization. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01907-4
Abbes, S.B., Scheuermann, A., Meilender T.: Characterizing modular ontologies. In: 6th International Workshop on Modular Ontologies, pp. 13–25. IOS Press, Amsterdam (2012)
Chang, L., Shi, Z., Gu, T., Zhao, L.: A family of dynamic description logics for representing and reasoning about actions. J. Autom. Reasoning 49(1), 1–52 (2012)
Staab, S., Studer, R.: Handbook on Ontologies, 2nd edn. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-92673-3
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Zhao, X., Feng, Z. (2019). Centralized Reasoning Translation and Its Computing Complexity for Heterogeneous Semantic Mappings. In: Douligeris, C., Karagiannis, D., Apostolou, D. (eds) Knowledge Science, Engineering and Management. KSEM 2019. Lecture Notes in Computer Science(), vol 11775. Springer, Cham. https://doi.org/10.1007/978-3-030-29551-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-29551-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-29550-9
Online ISBN: 978-3-030-29551-6
eBook Packages: Computer ScienceComputer Science (R0)