Back to Results
First PageMeta Content
Mathematics / Knowledge engineering / Knowledge representation / Semantic Web / Artificial intelligence / Description logic / Semantic reasoner / Ontology / D-module / Science / Information / Information science


A Distributed Tableau Algorithm for Package-based Description Logics
Add to Reading List

Document Date: 2006-05-28 18:22:03

Open Document

File Size: 195,05 KB

Share Result on Facebook
UPDATE