Consequence-based reasoning for ontology classification

Frantisek Simancik. Consequence-based reasoning for ontology classification. PhD thesis, University of Oxford, UK, 2013. [doi]

Abstract

Abstract is missing.