- 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
> 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/
Received on Tuesday, 6 May 2003 16:37:09 UTC