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

Re: An inconsistency or not?

From: <jos.deroo@agfa.com>
Date: Sun, 3 Apr 2005 02:57:30 +0200
To: minsu@etri.re.kr
Cc: Chris Purcell <cjp39@cam.ac.uk>, semantic-web@w3.org
Message-ID: <OF962608DB.A6DB02D2-ONC1256FD8.000050C9-C1256FD8.0005432B@agfa.com>

[...]
> 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


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 3 April 2005 00:57:56 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:45 UTC