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.
Citations
-
0
CrossRef
-
0
Web of Science
-
0
Scopus
Authors (3)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- materiały konferencyjne indeksowane w Web of Science
- Published in:
-
Communications in Computer and Information Science
no. 424,
pages 102 - 111,
ISSN: 1865-0929 - Title of issue:
- Beyond Databases, Architectures, and Structures strony 102 - 111
- Language:
- English
- Publication year:
- 2014
- Bibliographic description:
- Goczyła K., Waloszek A., Waloszek W..: Reasoning with Projection in Multimodular Description Logics Knowledge Bases, W: Beyond Databases, Architectures, and Structures, 2014, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY,.
- DOI:
- Digital Object Identifier (open in new tab) 10.1007/978-3-319-06932-6_11
- Verified by:
- Gdańsk University of Technology
seen 110 times