W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Declarative limitations of OWL/DAML

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:43 GMT