A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic

Authors:
Adam Meissner
Affiliations:
Institute of Control and Information Engineering, Poznań University of Technology, Poznań, Poland 60-965
Venue:
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Year:
2009

Citing 3
Cited 2

A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Concepts, Techniques, and Models of Computer Programming

Concepts, Techniques, and Models of Computer Programming

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Reasoning with the depth-first iterative deepening strategy in the DLog system

OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a simple, tableau-based, parallel reasoning system for the $\mathcal{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.