W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: TEST I5.24 - 004 was RE: Partial? regrets May 1st

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Tue, 6 May 2003 22:36:58 +0200
To: jjc@hplb.hpl.hp.com
Cc: "Ian Horrocks" <horrocks@cs.man.ac.uk>, "Sean Bechhofer" <seanb@cs.man.ac.uk>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OF9A423970.0205D6D0-ONC1256D1E.006F6610-C1256D1E.00713F69@agfa.be>

> Yes you're right, I'll fix it this afternoon. It is currently shown as
> Full which is correct as you point out; but I supsect the entailment is
> incorrect as is. I will change it to be an OWL DL test.
> (Jos, I have now fixed the problems you reported in extra-credit 002 -
> althought extra-credit 001 is still broken).

OK Jeremy, we now get that triple as



(but we still can't prove that case...)

I'm very curious about your Venn stuff...
(but have almost no time left to work on such stuff;
tomorrow morning again a 2 day meeting...)

I have a simple case where

:line a owl:SymmetricProperty.
:p owl:distinctMembers (:p1 :p2 :p3 :p4 :p5 :p6).
:p1 :line :p3, :p4, :p5.
:p2 :line :p5, :p6.
:p3 :line :p5.
:p4 :line :p6.


_:p1 :line _:p2.
_:p2 :line _:p3; owl:differentFrom _:p1.
_:p3 :line _:p1; owl:differentFrom _:p1, _:p2.


:line a owl:SymmetricProperty.
:p owl:distinctMembers (:p1 :p2 :p3 :p4 :p5 :p6).
:p1 :line :p3, :p4, :p5.
:p2 :line :p5, :p6.
:p3 :line :p5.
:p4 :line :p6.

{?P1 :line ?P2.
 ?P2 :line ?P3; owl:differentFrom ?P1.
 ?P3 :line ?P1; owl:differentFrom ?P1, ?P2
} =>
{(?P1 ?P2 ?P3).:sf1 a :Triangle}.


_:X a :Triangle.


  {:p5 owl:differentFrom :p3}.
  [ iw:Variable "?X"] = (:p1 :p3 :p5).:sf1. [ iw:Variable "?X"] a
:Triangle} =>
{(:p1 :p3 :p5).:sf1 a :Triangle}.

Sometimes I'm thinking that just declaring the =>'s is
the most straightforward way to go, you just
specify what implies what...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 6 May 2003 16:37:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC