W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2005

Re: RDF as a syntax for OWL (was Re: same-syntax extensions to RDF)

From: <jos.deroo@agfa.com>
Date: Fri, 7 Jan 2005 16:23:38 +0100
To: bparsia@isr.umd.edu
Cc: www-rdf-logic@w3.org
Message-ID: <OF2294E32C.176A26E6-ONC1256F82.0052D36F-C1256F82.00548EE8@agfa.com>

Bijan, no touch of the store and lists are done with rdf triples
actually, we only have for whole engine

public class Euler {
  internal Euler subj = null;   // RDF subject
  internal String verb = null;  // RDF predicate as absoluteized verb
  internal Euler obj = null;    // RDF object
  // some other stuff

Since 84 or so (waw that is 20 years!) I find prolog terms
very nifty but since few years I now also find it good that
if y is function of x then there is relation between y and x

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Bijan Parsia <bparsia@isr.umd.edu>
07/01/2005 08:16

        To:     Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA
        cc:     www-rdf-logic@w3.org
        Subject:        Re: RDF as a syntax for OWL (was Re: same-syntax extensions to RDF)

Good for you, Jos.

On Jan 7, 2005, at 10:35 AM, jos.deroo@agfa.com wrote:

> Couldn't resist and had few nightly hours left :)
> *If* you want nnf to be your problem for a while
> then one can write in N3 such triples as
> {?C a :BaseClass} => {?C a :GivenClass}.
> {?C a :BaseClass} => {?C :isRewrittenAs ?C}.

How do you determine something is a baseclass? Oh, you have to declare 
it explicitly. You cannot detect it from the syntax.

> {(:tilde (:tilde ?C)) a :GivenClass. ?C a :GivenClass. ?C 
> :isRewrittenAs
> ?CC} => {(:tilde (:tilde ?C)) :isRewrittenAs ?CC}.

Notice that you took on a somewhat different challenge than I intended, 
as you are using an alternative encoding of class expressions than the 
one in OWL. One based on lists. One designed, actually, to look like my 
syntax :) One that will have trouble due to the fact that RDF lists 
aren't normal lists. At this point we've moved away from a straight 
triple representation to other sorts of encoding.

And I'm sure N3 presumes stronger semantic for lists than is given in 
the RDF semantics (or can be given first order). Indeed, look a the 
*syntax* for lists! It's designed to help the human. But why not help 
the program writer as well as the author?!

Also, you had to import extra domain level assertions in order to make 
things work (:GivenClass, etc.). Unfortunate.

Plus, you have to touch the store, it seems. Oh, wait, you're using 
formulae sort of like functional terms. Hmm. That pushes it closer to 
the kind of thing I'd do in Prolog. That just emphasizes, IMHO, how far 
it is from using RDF in the proposed ways.

(E.g., why not put the expressions in an XMLLiteral? And add some 
builtins for calling XSLT sheets? While not exact, this is closer to 
what you've done than what Geoff tried.)

But you also get the Kudos for Putting Up. Rock, rock on!

Bijan Parsia.
Received on Friday, 7 January 2005 15:24:21 UTC

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