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

> Yes you're right, I'll fix it this afternoon. It is currently shown as
OWL
> 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 -
004,
> althought extra-credit 001 is still broken).

OK Jeremy, we now get that triple as

<http://www.w3.org/2002/03owlt/extra-credit/premises002#q-M-to-1>
      <http://www.w3.org/2002/07/owl#inverseOf>

<http://www.w3.org/2002/03owlt/extra-credit/premises002#invQ-1-to-M>.

(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.

entails

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


or


: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}.

entails

_:X a :Triangle.

because

  ...
  {: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/