W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2002

properties as the range of properties...

From: Terry R. Payne <terryp@cs.cmu.edu>
Date: Thu, 7 Mar 2002 19:24:34 -0500
To: www-rdf-logic@w3.org
Cc: Massimo Paolucci <paolucci@cs.cmu.edu>
We're trying to determine if it is valid to define a property
who's range is also a property; for example:

  <daml:Property rdf:ID="refersTo">
    <daml:domain rdf:resource="&daml;#Class"/>
    <daml:range  rdf:resource="&daml;#Property"/>

This feels intuitively wrong, as, if one were to draw the graph,
one then has an arc who's range is an arc.

However, a property *is* defined in the DAML ontology [1] as a
class.  In addition,  the dfinition of the property "samePropertyAs"
(defined in [1]) would also have a range as a Property (as defined
by the superproperty "subPropertyOf" defined in [2]).

  <!-- from http://www.daml.org/2001/03/daml+oil -->
  <Property rdf:ID="samePropertyAs">
      for samePropertyAs(P, R), read P is an equivalent property to R.
    <rdfs:subPropertyOf rdf:resource="#equivalentTo"/>

  <!-- from http://www.w3.org/2000/01/rdf-schema -->
  <rdf:Property ID="subPropertyOf">
    <rdfs:label xml:lang="en">subPropertyOf</rdfs:label>
    <rdfs:label xml:lang="fr">sousPropri&#233;t&#233;De</rdfs:label>
    <rdfs:comment>Indicates specialization of properties</rdfs:comment>

So perhaps it would be valid afterall????


[1] http://www.daml.org/2001/03/daml+oil
[2] http://www.w3.org/2000/01/rdf-schema

Terry R. Payne, PhD.    | http://www.cs.cmu.edu/~terryp/index.html
CMU, Robotics Institute | Voice: (412) 268-8780 Fax: (412) 268-5569
Pittsburgh, PA 15213    | Email: terry@acm.org or Terry.Payne@cmu.edu
Received on Thursday, 7 March 2002 19:26:56 UTC

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