- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Tue, 29 Dec 2009 02:59:36 +0000
- To: Dan Connolly <connolly@w3.org>
- Cc: public-owl-comments@w3.org
Another satisfied customer :-)
Thanks for the feedback.
Ian
On 17 Dec 2009, at 17:18, Dan Connolly wrote:
> The primer is great; I tend to think in turtle,
> so having the option to look at it right next
> to the other syntaxes is a _big_ help.
> http://www.w3.org/TR/2009/REC-owl2-primer-20091027/
> http://www.w3.org/TR/owl2-primer/
>
> I think I've invented owl:propertyDisjointWith 6 or 7
> times in the context of various projects... I tend
> to call it opposite, but now that the semantics
> are standardized, I can stop thinking about the name.
>
> I had fun using it last night to show that certain
> situations are contradictory:
>
> { ?X [ owl:propertyDisjointWith ?P ] ?Y.
> ?X ?P ?Z .
> } => { ?Y owl:differentFrom ?Z. }.
>
> cyc:temporallyDisjoint owl:propertyDisjointWith
> cyc:temporallyIntersects.
>
>
> ...
>
> :Bob
> cyc:temporallyDisjoint <paper1>.
> :Bob
> cyc:temporallyIntersects <paper1>.
>
>
> =>
>
> :Bob owl:differentFrom :Bob.
>
>
> Likewise owl:propertyChainAxiom ; the "Axiom" on the end
> seems a little redundant, but hey... it works!
>
> { ?P owl:propertyChainAxiom (?Q ?R).
> ?x ?Q [ ?R ?y ].
> } => { ?x ?P ?y }.
>
> # test case
> uncle owl:propertyChainAxiom (parent brother).
> sue parent [ brother bill ].
>
> =>
>
> sue uncle bill.
>
> For context, see some work in progress:
>
> A Model of Authority in the Web
> http://www.w3.org/2001/tag/dj9/story.html
>
> including some N3 proofs using the rules above,
> which I put in
> http://www.w3.org/2001/tag/dj9/owl2.n3
>
> The Makefile shows how the pieces fit together.
> http://www.w3.org/2001/tag/dj9/Makefile
>
>
> --
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
> gpg D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
>
>
Received on Tuesday, 29 December 2009 03:00:11 UTC