Justification Masking in OWL

13 years 2 months ago

Download www.cs.uwaterloo.ca

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 for each type is given.

Matthew Horridge, Bijan Parsia, Ulrike Sattler

Real-time Traffic

Automated Reasoning | DLOG 2010 | Paper | Phenomena | Various Types |

claim paper

Related Content

» Understanding Entailments in OWL

» A ModularizationBased Approach to Finding All Justifications for OWL DL Entailments

» Justification Oriented Proofs in OWL

» JustBench A Framework for OWL Benchmarking

» Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation

» A Method for Automatic Generation of OWLS Service Ontology

Post Info
More Details (n/a)

Added	10 Feb 2011
Updated	10 Feb 2011
Type	Journal
Year	2010
Where	DLOG
Authors	Matthew Horridge, Bijan Parsia, Ulrike Sattler

Comments (0)

Sciweavers

Justification Masking in OWL

Automated Reasoning | DLOG 2010 | Paper | Phenomena | Various Types |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers