Justification Masking in OWL

This paper presents a discussion on the phenomena of mask- ing in the context of justifications for entailments. Various types of mask- ing are introduced and a definition for each type is given.

[1]  Bijan Parsia,et al.  Laconic and Precise Justifications in OWL , 2008, SEMWEB.

[2]  Rafael Peñaloza,et al.  Pinpointing in the Description Logic EL , 2007, Description Logics.

[3]  Laura M. Haas,et al.  Beauty and the Beast: The Theory and Practice of Information Integration , 2007, ICDT.

[4]  Diego Calvanese,et al.  Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.

[5]  Boris Motik,et al.  Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.

[6]  David A. Plaisted,et al.  A Structure-Preserving Clause Form Translation , 1986, J. Symb. Comput..

[7]  Antonella Poggi,et al.  Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé (Demo Description) , 2008, OWLED.

[8]  Diego Calvanese,et al.  EQL-Lite: Effective First-Order Query Processing in Description Logics , 2007, IJCAI.

[9]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[10]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[11]  Bijan Parsia,et al.  Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments , 2006, Description Logics.

[12]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2008, J. Data Semant..

[13]  Boris Motik,et al.  Tractable query answering and rewriting under description logic constraints , 2010, J. Appl. Log..

[14]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[15]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[16]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[17]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[18]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.