<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the <italic>ALC</italic> description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.</p></abstract>

A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.

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

Institute of Control and Information Engineering, Poznań University of Technology, pl. M. Skłodowskiej-Curie 5, 60-965 Poznań, Poland

International Journal of Applied Mathematics and Computer Science

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

A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation...

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

Publié en ligne: 28 mars 2011

Pages: 83 - 95

DOI: https://doi.org/10.2478/v10006-011-0006-1

Mots clés
parallel reasoning, lean deduction, description logic, Oz language

This content is open access.