- From: Mekan Ikzain <mekanikzain@gmail.com>
- Date: Sun, 25 Sep 2005 23:17:25 +0900
- To: www-rdf-logic@w3.org
Received on Sunday, 25 September 2005 14:17:34 UTC
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 UTC