W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2002

Re: SEM Solipsistic answers to Peter's entailments and Paradox

From: Jonathan Borden <jonathan@openhealth.org>
Date: Fri, 15 Mar 2002 18:03:29 -0500
Message-ID: <014501c1cc75$a008b650$0a2e249b@nemc.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:48 GMT