the ontology. In this paper we introduce the justificatory structure of OWL ontologies, that is, metrics describing the occurrences of multiple ...
The Web Ontology Language OWL is based on the highly expressive description logic SROIQ, which allows OWL ontology users to employ out-of-the-box rea-.
Justifications, minimal subsets of an ontology that are sufficient for an entailment to hold, are currently the prevalent form of explanation in OWL ontology ...
A model for measuring user effort in the debugging process and proposed debugging strategies that exploit the justificatory structure of OWL ontologies in ...
TL;DR: The purpose of this work is to introduce a flexible and extensible specification for selecting a particular set of entailments of an OWL ontology based ...
People also ask
What is an ontological structure?
What is the owl format?
We find that the majority of ontologies contain multiple justifications, while also exhibiting structural features (such as patterns) which can be exploited in ...
measures: (a) occurrences of the justification pattern across all ontologies (called. 'justification frequency'), and (b) the number of ontologies in which the ...
The majority of ontologies contain multiple justifications, while also exhibiting structural features which can be exploited in order to reduce user effort ...
Nov 25, 2011 · Current ontology development tools o er debugging support by presenting justi fications for entailments of OWL ontologies.
Introduction. Over the past few years there has been a significant amount of interest in the area of explaining entailments in OWL on- tologies1.
Missing: Justificatory | Show results with:Justificatory