A simple parallel reasoning system for the ALC description logic
[ 1 ] Instytut Automatyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | [ P ] pracownik
2009
referat
angielski
- parallel reasoning
- ALC description logic
- Oz language
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