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.
Authors
Additional information
- DOI
- Digital Object Identifier link open in new tab 10.1007/978-3-319-06932-6_11
- Category
- Aktywność konferencyjna
- Type
- materiały konferencyjne indeksowane w Web of Science
- Language
- angielski
- Publication year
- 2014
