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

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

From: Dan Connolly <connolly@w3.org>
Date: 15 Mar 2002 08:31:17 -0600
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-Id: <1016202678.7046.825.camel@dirk>
On Fri, 2002-03-15 at 06:38, Jeremy Carroll wrote:
[...]
> 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.

That seems to undercut the whole idea of shared ontologies.

If I have to mention, in my student/person ontology,
all of the possible constructions of classes that might
be relevant, including all the combinations of
student/person with all other classes in the web,
we're pretty much nowhere, aren't we?

I hope we can do better than that.

Lynn, you suggested some intuitionistic/constructivist
style stuff... can you see a way to get the
relevant/intuitive conclusions to hold without
"madness"?

> 
> But
> 
> :John a :_1 .
> :_1 owl:intersectionOf ( :Person :Student ) .
> :_2 owl:intersectionOf ( :Student :Person ) .
> 
> solipsistically entails
> 
> :John a :_2 .

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 15 March 2002 09:31:59 GMT

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