Sciweavers

Share
7 search results - page 1 / 2
» Justification Masking in OWL
Sort
View
DLOG
2010
8 years 10 months ago
Justification Masking in OWL
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
OWLED
2008
9 years 1 months ago
Understanding Entailments in OWL
This paper describes the explanation in OWL landscape. In recent years there has been huge progress, both in theory and implementation, in the area of explaining the causes of enta...
Matthew Horridge, Johannes Bauer, Bijan Parsia, Ul...
ASWC
2008
Springer
9 years 2 months ago
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Pet...
SEMWEB
2010
Springer
8 years 10 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
SEMWEB
2010
Springer
8 years 10 months ago
JustBench: A Framework for OWL Benchmarking
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...
Samantha Bail, Bijan Parsia, Ulrike Sattler
books