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

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