Layering on what? was: Re: more on a same-syntax extension from RDF(S) to OWL

I am having a hard time following the layering threads. In the interest of
simplifying this enough to penetrate my dense head:

1) Are we talking about layering on RDF _as RDF is defined_ or
2) on N3, which seems to be used _as if_ it were RDF, but it is not at all
clear to me how N3 is itself 'layered' on, or defined as an extension to,
RDF

My preference at this point would be to 'layer' OWL on N3, whatever that
means. My reasons are simply that N3 provides syntax for some seemingly
important capabilities that are lacking in the current RDF syntax -- and I
do not mean that RDF is serialized as XML, as one could create an XML
version of N3, rather that the seemingly innocuous rdf:parseType="log:quote"
hides some major advances in the RDF syntax, that (IMHO) would considerably
change (and improve) RDF.

So for example, this discussion seems to be in N3, not RDF:

>
> > > [...]
> > >
> > > > So, to be more precise it should have been
> > > >
> > > >
> > > > log:entails
> > > >   _:1 owl:oneOf ( _:2 ) .
> > > >   _:2 a owl:Restriction .
> > > >   _:2 owl:onProperty rdf:type .
> > > >   _:2 hasClassQ _:1 .
> > >         ^owl:
> > > >   _:2 maxCardinalityQ "0" .
> > >         ^owl:
> > >
...
>
> good point, I've added
>   { ?L owl:item ?x } log:implies { ?x a [ owl:oneOf ?L ] } .

How would one write the above in RDF?

This is important, because if we cannot even provide examples in RDF, how
can we properly 'layer' OWL on RDF?

In any case, this seems like a fairly important discussion, but I am lost.

Jonathan

Received on Monday, 4 March 2002 18:38:26 UTC