W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

Re: WOWG: Report from WWW 2003 - OWL presentation/issues

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 06 Jun 2003 18:20:58 +0100
Message-ID: <3EE0CD7A.8090606@hplb.hpl.hp.com>
To: Christopher Welty <welty@us.ibm.com>
CC: webont <www-webont-wg@w3.org>

Sorry for not replying sooner ...

Christopher Welty wrote:

> Jeremy,
> I've argued this with Pat several times.  I'd like to see an 
> authoritative definition of what "first-order" means, otherwise we're 
> all using our own definitions.  In any dictionary of logic or philosophy 
> or mathematics that I've been able to find, "first-order" is defined as 
> "not higher order" and "higer order" is defined as predication of 
> predicates (or functions of functions).
> Until someone produces an authoritative definition of first-order that 
> says something else, I don't think it's ever "simply incorrect" to call 
> RDFS higher-order.  

I see what you're getting at.
The normal discussion about triples is to call the middle term a predicate, 
and then RDF permits predicates to apply to predicates.

However, a different understanding of RDF; for examle that seen in the 
DAML+OIL axciomatic semantics use essential one 3 place predicate for 
expressing a true triple.

So - in terms of underlying complexity and difficulty a first order theory 
is one that can be mapped into first order logic; and RDFS trivially can 
be. Truely higher order statements like Grelling's paradox[1] cannot be 
expressed in RDF.


If an adjective truly describes itself, call it "autological", otherwise 
call it "heterological". For example, "polysyllabic" and "English" are 
autological, while "monosyllabic" and "pulchritudinous" are heterological. 
Is "heterological" heterological? If it is, then it isn't; if it isn't, 
then it is. Grelling's paradox cannot be expressed in first-order predicate 
logic, and is difficult to prevent in higher-order predicate logics.
Received on Friday, 6 June 2003 13:21:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC