In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies.
A justification is a minimal subset of an ontology which is sufficient for an entailment to hold; they correspond to the premises of a proof. Unlike proofs, ...
In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We describe an exploratory ...
In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We describe an exploratory ...
Toward cognitive support for OWL justifications. M Horridge, S Bail, B Parsia, U Sattler. Research output: Contribution to journal › Article › peer-review.
A justification is a minimal subset of an ontology which is sufficient for an entailment to hold; they correspond to the premises of a proof. Unlike proofs, ...
Click here to find out more. Title. Toward cognitive support for OWL justifications. Published in. Knowledge-Based Systems, November 2013. DOI, 10.1016/j.knosys ...
In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies.
In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We describe an exploratory ...
作者：Matthew Horridge ; Samantha Bail ; Bijan Parsia ; Uli Sattler · 关键词：Semantic Web ; Description Logics ; Web Ontology Language ; Ontology debugging ; ...
People also ask
What is the owl strategy in speech therapy?
What are the applications of owl?