Abstract
We present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the method can drastically reduce the time of inferencing, enabling our reasoner to efficiently work with modular knowledge bases embracing several dozens of modules, even in the presence of cyclic interrelationships between them.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuiness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Cambridge University Press, 2nd edn. (2007)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 153–184. Springer, Heidelberg (2003)
Ghidini, C., Giunchiglia, F.: Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Goczyła, K., Waloszek, A., Waloszek, W.: Contextualization of a dl knowledge base. In: Proc. DL 2007, Brixen/Bressanone, Italy (2007)
Goczyła, K., Waloszek, A., Waloszek, W.: S-modules - approach to capture semantics of modularized dl knowledge bases. In: Proc. of KEOD, pp. 117–122 (2009)
Goczyła, K., Waloszek, A., Waloszek, W.: A semantic algebra for modularized description logics knowledge bases. In: Proc. DL 2009, Oxford, United Kindgom (2009)
Goczyła, K., Waloszek, A., Waloszek, W., Zawadzka, T.: Owl api-based architectural framework for contextual knowledge bases. In: Bembenik, R., Skonieczny, L., Rybiński, H., Niezgódka, M. (eds.) Intelligent Tools for Building a Scientific Information Platform: Advanced Architectures and Solutions. Springer (2013)
Gomez-Perez, A., Suárez-Figueroa, M.C.: Scenarios for building ontology networks within the neon methodology. In: K-CAP 2009 (2009)
Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proc. of the 36th Annual Symposium on Foundations of Computer Science, pp. 453–462 (1995)
Staab, S., Studer, R. (eds.): Handbook on Ontologies, 2nd edn. Springer (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Goczyła, K., Waloszek, A., Waloszek, W. (2014). Reasoning with Projection in Multimodular Description Logics Knowledge Bases. In: Kozielski, S., Mrozek, D., Kasprowski, P., Małysiak-Mrozek, B., Kostrzewa, D. (eds) Beyond Databases, Architectures, and Structures. BDAS 2014. Communications in Computer and Information Science, vol 424. Springer, Cham. https://doi.org/10.1007/978-3-319-06932-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-06932-6_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06931-9
Online ISBN: 978-3-319-06932-6
eBook Packages: Computer ScienceComputer Science (R0)