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

Negative object/data property assertions in EL++

From: Evren Sirin <evren@clarkparsia.com>
Date: Wed, 26 Mar 2008 14:59:15 -0400
Message-ID: <47EA9D03.4040205@clarkparsia.com>
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

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 19:00:05 UTC

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