[Top] [All Lists]

Re: [ontolog-forum] Truth

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Sun, 08 Jul 2012 13:41:43 -0400
Message-id: <4FF9C657.4000006@xxxxxxxxxxx>
On 7/8/2012 11:11 AM, Pat Hayes wrote:
> OWL Full does indeed treat classes intensionally.  OWL-DL, however, treats
> them extensionally. See the 'direct semantics' (which is normative) for OWL-DL
> inhttp://www.w3.org/TR/owl-semantics/direct.html, where the interpretation
> of a class name is simply a subset of the universe. That is an extensional
> meaning for classes.    (01)

In every version of model theory for every version of logic, the
denotation of a relation is a subset of the universe of discourse.    (02)

But two different relations (or OWL classes) can be specified by axioms
that are not logically equivalent.  They might have the same extension
in one universe, but different extensions in a different universe.    (03)

The direct model theory (by Patel-Schneider & Horrocks) acknowledges that:    (04)

 From http://www.w3.org/TR/owl-semantics/direct.html
> Definition: A collection O of abstract OWL ontologies and axioms and
> facts entails an abstract OWL ontology or axiom or fact O' with respect
> to a datatype map D if each interpretation with respect to map D that
> satisfies each ontology and axiom and fact in O also satisfies O'.    (05)

They are talking about different "interpretations" in which the same
a given set of axioms can specify a class that may have different
extensions in different universes.    (06)

It is much cleaner and simpler just to say that every OWL class
has a defining relation (specified by axioms) and a extension that
varies from one universe of discourse to another.    (07)

John    (08)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (09)

<Prev in Thread] Current Thread [Next in Thread>