2009

referat

angielski

EN In this paper we present a simple, tableau-based, parallel reasoning system for the ALC description logic. The system is built in relational model in the Oz language and has a form of a short program comprising the implementation of tableau rules. The program can be executed according to various strategies, particularly in parallel on distributed machines. For this purpose, we use a parallel search engine available in the Mozart environment. We describe results of experiments for estimating the speedup obtained by parallel processing.

413 - 424

10.1007/978-3-642-04441-0_36

https://link.springer.com/chapter/10.1007/978-3-642-04441-0_36

Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems : 1st International Conference : ICCCI 2009, Wrocław, Poland, October 5-7, 2009

1st International Conference on Computational Collective Intelligence: Semantic Web, Social Networks and Multiagent Systems, ICCCI 2009, 5-7.10.2009, Wrocław, Poland