A simple parallel reasoning system for the ALC description logic

Adam Meissner

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

Scientific Information System of the Poznań University of Technology

PL EN

Main page / Publications / A simple parallel reasoning system for the ALC description logic

Submit a comment

Chapter

Download BibTeX

Title

A simple parallel reasoning system for the ALC description logic

Authors

Adam Meissner (WE) ^{[ 1 ][ P ]}

^{[ 1 ]} Instytut Automatyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | ^{[ P ]} employee

Year of publication

2009

Chapter type

paper

Publication language

english

Keywords

EN

parallel reasoning
ALC description logic
Oz language

Abstract

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.

Pages (from - to)

413 - 424

DOI

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

URL

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

Book

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

Presented on

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

System created by Poznań University of Technology and Poznan Supercomputing and Networking Center

Log in through eKonto to add to SIS