- From: Chris Purcell <cjp39@cam.ac.uk>
- Date: Tue, 5 Apr 2005 12:45:42 +0100
- To: Jeremy Wong ??? <50263336@student.cityu.edu.hk>
- Cc: semantic-web@w3.org
> Here is an example of the situation... > > # only 5 facts in total > <#X> rdf:type <#A> . > <#Y> rdf:type <#A> , <#B> . > <#Z> rdf:type <#A> , <#C> . > > => > > # conclusion of the 5 facts > <#X> rdfs:subClassOf <#Y> , <#Z> . This doesn't make any sense. #X is of type #A -- how do you then conclude that #X is a class? Or that it is related to #Y in any way? Did you mean the following? <#X> owl:unionOf ( <#A> ) <#Y> owl:unionOf ( <#A>, <#B> ) <#Z> owl:unionOf ( <#A>, <#C> ) Chris
Received on Tuesday, 5 April 2005 11:45:48 UTC