Specifying the Disjoint Nature of Object Properties in DL

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

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.

Cartik R. Kothari, David J. Russomanno

Real-time Traffic

Automated Reasoning | Disjoint Nature | DLOG 2004 | Object Properties | Paper Proposes Constructs |

claim paper

» From ObjectProcess Diagrams to a Natural ObjectProcess Language

» A Logic of Reachable Patterns in Linked DataStructures

» Large scale metric learning from equivalence constraints

» Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning

» Metafor visualizing stories as code

» Considerate Reasoning and the Composite Design Pattern

» Strategy Logic

» Dynamic intention structures I a theory of intention representation

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	DLOG
Authors	Cartik R. Kothari, David J. Russomanno

Comments (0)

Sciweavers

Specifying the Disjoint Nature of Object Properties in DL

Automated Reasoning | Disjoint Nature | DLOG 2004 | Object Properties | Paper Proposes Constructs |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers