W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2005

Help needed. Isn't this OWL document inconsistent?

From: Mekan Ikzain <mekanikzain@gmail.com>
Date: Sun, 25 Sep 2005 23:17:25 +0900
Message-ID: <ccae505f0509250717723c2d24@mail.gmail.com>
To: www-rdf-logic@w3.org
Hi all,

I think the following OWL document is inconsistent,
but Pellet says that it's consistent.
Please shed some light on my ignorant brain.

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix a: <http://www.ex.org/2005/ex#>.

a:Vegetarian
owl:intersectionOf
(a:Animal
[a owl:Restriction;
owl:onProperty a:eats;
owl:someValuesFrom a:Plant
]
).
a:Plant owl:complementOf a:Animal.
a:Sheep rdfs:subClassOf a:Vegetarian.
a:Cow rdfs:subClassOf a:Vegetarian.
a:MadCow
owl:intersectionOf
(a:Cow
[a owl:Restriction;
owl:onProperty a:eats;
owl:someValuesFrom a:Sheep
]
).

Thanks in advance!
Mekan Ikzain
Received on Sunday, 25 September 2005 14:17:34 GMT

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