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

• Type: Journal
• Year: 2010
• Where: DLOG
• Authors: Matthew Horridge, Bijan Parsia, Ulrike Sattler
• Keywords: Automated Reasoning, DLOG 2010, Paper, Phenomena, Various Types