Back to Results
First PageMeta Content
Transitive closure / FO / Abox


Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and
Add to Reading List

Document Date: 2015-02-05 09:51:10


Open Document

File Size: 325,19 KB

Share Result on Facebook