Back to Results
First PageMeta Content
Semantic Web / Knowledge representation / Logic / Cognitive science / Computing / Information science / Artificial intelligence / Knowledge engineering / Description logic / Web Ontology Language / Ontology / Semantic Web Rule Language


Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.
Add to Reading List

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


Open Document

File Size: 103,41 KB

Share Result on Facebook
UPDATE