- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Mon, 12 Dec 2005 15:39:27 +0100
- To: Christoffel Dhaen <christoffel@landcglobal.com>
- Cc: "McBride, Brian" <brian.mcbride@hp.com>, "David Wood" <dwood@softwarememetics.com>, "Pat Hayes" <phayes@ihmc.us>, "Christopher Welty" <welty@us.ibm.com>, <public-swbp-wg@w3.org>
On 12 Dec 2005, at 15:23, Christoffel Dhaen wrote:
> HasPet subPropertyOf Likes
> Person subClassOf Animal
> Woman subClassOf Person
> OldLady subClassOf Woman
> OldLady HasPet Cat
> Cat subClassOf Animal
>
> A query
> (X subClass Person) AND (X Likes Animal)
> gives the answer
> {X= OldLady}
>
> This takes the class-hierachy into account, as wel as the property
> hierachy.
>
> Unless I have I missed this somewhere, according to the
> specifications, the query on this graph would not give this result
> and the resultset would be empty.
>
> I would say "simple RDf entailment" and "RDF entailment" entailment
> as you point out in 2) should be possible on the same graph, but I
> got the impression that this is not possible.
> 1) can be resolved by doing a minus between the entailment and the
> simple entailment results.
According to the current state of discussion in the DAWG, the use of
"simple RDF entailment" and "RDF entailment" is possible and it would
actually capture what you want as you point out.
cheers
--e.
Received on Monday, 12 December 2005 14:41:02 UTC