Hi, Danny - excellent idea to explain proofs :)
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Danny Ayers <danny.ayers@gmail.com>
Sent by: semantic-web-request@w3.org
03/04/2005 12:24
Please respond to Danny Ayers
To: Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA
cc: minsu@etri.re.kr, Chris Purcell <cjp39@cam.ac.uk>, semantic-web@w3.org
Subject: Re: An inconsistency or not?
On Apr 3, 2005 2:57 AM, jos.deroo@agfa.com <jos.deroo@agfa.com> wrote:
>
> [...]
> > By the way, one difficult case I encountered in writing OWL inference
> rules
> > is about checking equality among list elements. When you're given a
list
> of
> > classes or individuals, some elements of the list can actually be
> > equivalent, which affects the reasoning result. For example:
> >
> > A rdf:type owl:Class.
> > A owl:intersectionOf [B,C,D].
> > B owl:equivalentClass D.
> > E owl:intersectionOf [B,C].
> >
> > >From the above sentences, it should be possible to infer that A is
> > equivalent to E, for which I find writing an inference rule to be
> difficult.
> > I'm still working on it.
>
> indeed, is kind of difficult.. but indeed
>
> :A owl:intersectionOf (:B :C :D).
> :B owl:equivalentClass :D.
> :E owl:intersectionOf (:B :C).
>
> entails
>
> :E owl:equivalentClass :A.
>
> well, at least we found proof evidence
> http://eulersharp.sourceforge.net/2004/04test/minsuE.n3
Back in the kindergarten, that work by observation - see attached.
(also http://dannyayers.com/2005/04/intersection3.gif )
Cheers,
Danny.
--
http://dannyayers.com
