Re: Classes and predicates as first class objects

Ian,

Tell me if you agree with the following ... At least one of the 
following has to occur:

a) RDF provides for the notion of a reserved vocabulary. This reserved 
vocabulary will include terms like first and last, which are crucial to 
constructing paradoxes. They will not include general predicates and 
hence it will be possible to use predicates as arguments to other 
predicates.
b) OWL is not layered on RDF/S, i.e., owl does not allow for classes and 
predicates to be arguments to predicates.  
c) OWL's semantics are very different from that used by DAML+OIL.  

guha


Ian Horrocks wrote:

>This last point is the nub of the matter. Of course the problem can be
>resolved by treating some RDF triples as a reserved vocabulary - this
>much is obvious. It does, however, require a modification of RDF to
>which some are strongly opposed.
>
>My point is that, without such a modification, extending RDF with the
>expressive power of OWL would result in a language so seriously broken
>that the question as to whether classes/predicates can be treated as
>arguments to other predicates would become an irrelevance.
>
>Ian
>  
>

Received on Monday, 19 August 2002 14:26:27 UTC