Back to Results
First PageMeta Content



A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini
Add to Reading List

Document Date: 2012-02-03 12:06:02


Open Document

File Size: 132,60 KB

Share Result on Facebook
UPDATE