W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

Re: Negative object/data property assertions in EL++

From: Achille Fokoue <achille@us.ibm.com>
Date: Wed, 26 Mar 2008 19:12:58 -0400
To: Evren Sirin <evren@clarkparsia.com>
Cc: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>, public-owl-wg-request@w3.org
Message-ID: <OF3591EBD0.82D7B11E-ON85257418.007F5210-85257418.007F8860@us.ibm.com>
Thanks for your feedback!
I have changed the fragments document accordingly.
Best regards,

Evren Sirin <evren@clarkparsia.com> 
Sent by: public-owl-wg-request@w3.org
03/26/2008 02:59 PM

"Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

Negative object/data property assertions in EL++

I see that negative object/data property assertions are explicitly 
disallowed in the EL++ fragment. But one can express

NegativeObjectPropertyAssertion(p a b)


DisjointClasses(ObjectOneOf(a) ObjectHasValue(p b))

which is allowed in EL++. Same is possible for data property assertions 
using DataHasValue restriction. So I'm wondering if disallowing negative 
property assertions in EL++ is necessary.


PS: I've added a review comment in the fragments document regarding this.
Received on Wednesday, 26 March 2008 23:13:54 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC