W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

RE: Xtreme Punning

From: Gerd Wagner <wagnerg@tu-cottbus.de>
Date: Fri, 11 Jan 2008 13:09:57 +0100
To: "'Denny Vrandecic'" <dvr@aifb.uni-karlsruhe.de>, "'Jeremy Carroll'" <jjc@hpl.hp.com>
Cc: "'Owl Dev'" <public-owl-dev@w3.org>
Message-ID: <005401c8544a$e2ce1990$19b2a8c0@informatik.tucottbus.de>

> I think this kind of punning comes very natural.
> 
> Snoopy a Dog.
> Dog a Species.
> Charlie_Brown Dog Snoopy.
> 
> All of them feel right, and are also allowed in both RDF and OWL with 
> punning.
> 
> Father rdfs:range Father.
> Anakin a Father.
> Luke Father Anakin.

OK, but there is an important difference between these
two cases. 

In the first case, the thing denoted by the first occurrence 
of Dog is the same thing as the thing denoted by the second 
occurrence of Dog, namely the class Dog, which happens to be 
an instance (not really an "individual" in the strict sense 
of a thing that has no instances/extension). 

In the second case, the thing denoted by the first occurrence 
of Father is a property, while the thing denoted by the second 
occurrence of Father is a (role) class. Clearly, these two
things are closely related to each other, but they are not
the same.

Another important case of the same thing appearing in two 
different forms (or sntactical categories) are functional 
properties which can appear both as property predicates and 
as function symbols (though not in OWL).

However, it seems that this difference in using the same 
name for different syntactic categories once denoting the 
same thing and once denoting distinct things, cannot be
captured by OWL 1.1 punning, where they are always denoting
different things.

-Gerd

---------------------------------------------
Gerd Wagner
http://oxygen.informatik.tu-cottbus.de/IT
Email: G.Wagner@tu-cottbus.de
 
Received on Friday, 11 January 2008 12:10:13 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT