W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2001

Re: What do the ontologists want?

From: Uche Ogbuji <uche.ogbuji@fourthought.com>
Date: Tue, 15 May 2001 15:54:49 -0600
Message-Id: <200105152154.f4FLsnN05449@localhost.local>
To: pat hayes <phayes@ai.uwf.edu>
cc: www-rdf-logic@w3.org
> No, and let me tell you why. As you have written it, what exactly is 
> the intended value of X? You are here mixing two different formal 
> conventions: assignment from programming languages, which associates 
> a variable with an *expression* (like instantiating a quantified 
> variable with a term in logic); and universal quantification from 
> logic, which takes a variable to range over a semantic space (which 
> in general does not consist of expressions, but the things that 
> expressions denote.)

You're only repeating exactly what I said to preface the example.  In fact 
your entire post confirms that you are arguing quiddities and esoterica, and 
in particular matters that do not interest me in my (everyday) usage of RDF 
and RDF reification.

Before joining this list I browsed the archives and was dismayed at the degree 
of (IMHO) toe-regarding that seemed to spin into threads of hundreds of posts. 
 I certainly have no general quarrel with this, but I have determined that the 
only threads I'll bother with here are those that directly inform the 
construction of logical systems in RDF, which is my practical interest.

Clearly I misunderstood your original question, and, in fact, you've 
effectively removed the discussion from my space of interest, so I decline to 
follow you.

EOT.


-- 
Uche Ogbuji                               Principal Consultant
uche.ogbuji@fourthought.com               +1 303 583 9900 x 101
Fourthought, Inc.                         http://Fourthought.com 
4735 East Walnut St, Ste. C, Boulder, CO 80301-2537, USA
Software-engineering, knowledge-management, XML, CORBA, Linux, Python
Received on Tuesday, 15 May 2001 17:55:30 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:35 UTC