Specifying the Disjoint Nature of Object Properties in DL

This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Description Logic system that is the basis of OWL.

• Type: Conference
• Year: 2004
• Where: DLOG
• Authors: Cartik R. Kothari, David J. Russomanno
• Keywords: Automated Reasoning, Disjoint Nature, DLOG 2004, Object Properties, Paper Proposes Constructs