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

Adam Meissner. Experimental analysis of some computation rules in a simple parallel reasoning system for the ::::ALC:::: description logic. Applied Mathematics and Computer Science, 21(1):83-95, 2011. [doi]

Abstract

Abstract is missing.