W3C home > Mailing lists > Public > semantic-web@w3.org > April 2005

Re: Rule-based approach to conclude owl:intersectionOf

From: Chris Purcell <cjp39@cam.ac.uk>
Date: Tue, 5 Apr 2005 12:45:42 +0100
Message-Id: <e978cd6158455298a583f3a0e818cd43@cam.ac.uk>
Cc: semantic-web@w3.org
To: (wrong string) ƒ“‡ <50263336@student.cityu.edu.hk>

> Here is an example of the situation...
> 
> # only5 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

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:52 UTC