Declarative limitations of OWL/DAML

• From: <lchewhun@dso.org.sg>
• Date: Tue, 25 Mar 2003 10:33:31 +0800
• To: www-rdf-logic@w3.org
• Cc: lchewhun@dso.org.sg
• Message-ID: <1048559611.3e7fbffb7d1ae@webmail.dso.org.sg>

Hi,

I'm interested in what CANNOT be represented (declared) in OWL/DAML. Your 
comments or pointers to papers are much appreciated.

What I'm hoping to do is to be able to represent constraints (or axioms or 
rules) in a DAML ontology so that an inferencing engine can check the ontology 
for consistency.  For instance, if I have

<age rdf:about="#Tom"> <age_type rdf:about="#child"/> </age>
<age rdf:about="#John> <age_type rdf:about="#man"/> </age>
<less rdf:about="#child"> <age_type rdf:about="#man"/> </less>

in the DAML ontology, I would like to define an axiom <younger> in terms of 
<age> and <less> in such a way that the additional statement

<younger rdf:about="#John"> <age_type rdf:about="#Tom"/> </younger>

would be flagged as inconsistent.

Much thanks

Received on Monday, 24 March 2003 21:32:26 UTC