- From: Jonathan Borden <jonathan@openhealth.org>
- Date: Fri, 15 Mar 2002 18:03:29 -0500
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, <www-webont-wg@w3.org>
Jeremy:
[[
This allows us to isolate OWL consequences from set theoretic consequences
which I think is in general a plus.
Entailments
===========
A: { Person, Student } = { Student, Person }
--------------------------------------------
Peter:
[[[
:John a _:1 .
:_1 owl:intersectionOf ( :Person :Student ) .
should entail
:John a :_2 .
:_2 owl:intersectionOf ( :Student :Person ) .
]]]
Solipsistically NO, :_2 does not necessarily exist.
]]
What about:
:John a :Person .
:John a :Student .
=>
:John a _:1
_:1 owl:intersectionOf(:Person :Student)
?
I sincerely hope that:
owl:oneOf(a b c d) = owl:oneOf(b c d a)
and that
owl:isEquivalentTo(x y) = owl:isEquivalentTo(y x)
Jonathan
Received on Friday, 15 March 2002 18:07:36 UTC