Sciweavers

Share
129 search results - page 1 / 26
» Understanding Entailments in OWL
Sort
View
OWLED
2008
9 years 8 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...
SEMWEB
2010
Springer
9 years 4 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
9 years 4 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
ECAI
2008
Springer
9 years 8 months ago
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
Georgios Meditskos, Nick Bassiliades
KR
2010
Springer
9 years 11 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph
books