Have a personal or library account? Click to login
Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic Cover

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
Volume 21 (2011): Issue 1 (March 2011)
By: Adam Meissner  
Open Access
|Mar 2011

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.2478/v10006-011-0006-1 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 83 - 95
Published on: Mar 28, 2011
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
parallel reasoning,
lean deduction,
ALC description logic,
Oz language
Related subjects:
Mathematics,
Applied mathematics

© 2011 Adam Meissner, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 21 (2011): Issue 1 (March 2011)