RE: "Is a Property a Class" and other DAML questions

Okay, I got it finally...daml#Class is disjoint form daml#Property, but both
are an rdf#type of rdf-schema#Class. So, sameClassAs is applicable to
rdf-schema#Class and is therefore applicable to daml#Property. Yes?

- Lewis

-----Original Message-----
From: Hart, Lewis 
Sent: Thursday, March 08, 2001 8:47 AM
To: Peter F. Patel-Schneider; Hart, Lewis
Cc: www-rdf-logic@w3.org
Subject: RE: "Is a Property a Class" and other DAML questions


I don't mean to be dense but, the definition of sameClassAs is...

<rdf:Property ID="sameClassAs">
  <rdfs:comment>
    for sameClassAs(X, Y), read X is an equivalent class to Y.
    cf OIL Equivalent
  </rdfs:comment>
  <rdfs:subPropertyOf rdf:resource="#equivalentTo"/>
  <rdfs:subPropertyOf
rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/>
</rdf:Property>

So taking the comment and applying it to the Property statement below...

for sameClassAs(Property,
http://www.w3.org/1999/02/22-rdf-syntax-ns#Property)
  Property is an equivalent class to
http://www.w3.org/1999/02/22-rdf-syntax-ns#Property.

Which is treating http://www.w3.org/1999/02/22-rdf-syntax-ns#Property as a
class, and if this
is not a property, then what is?

It seems to me that when you refer to something whose ID is "Property" it is

the object/resource/class identified as a property. You are not saying that
the string
"Property" is a class. (Even though it may be.)

Putting the deap-horse-crop away - Lewis


-----Original Message-----
From: Peter F. Patel-Schneider [mailto:pfps@research.bell-labs.com]
Sent: Wednesday, March 07, 2001 6:15 PM
To: lhart@grci.com
Cc: www-rdf-logic@w3.org
Subject: RE: "Is a Property a Class" and other DAML questions


This says that ``Property'' is a class, which is very different from saying
that a property is a class (or, equivalently, that properties are classes).

peter


From: "Hart, Lewis" <lhart@grci.com>
Subject: RE: "Is a Property a Class" and other DAML questions
Date: Wed, 7 Mar 2001 16:00:58 -0500 

> Perhaps the implication is coming from this statement in the DAML+OIL
spec: 
> 
> <rdfs:Class rdf:ID="Property">
>   <sameClassAs
> rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
> </rdfs:Class>
> 
> I am not an RDF(S) expert, but to me this says that a Property is a Class.
> If this is not the case, what point am I missing?
> 
> - Lewis
> ___________________________________________
> Lewis L Hart 
> GRC International                           lhart@grci.com
> 1900 Gallows Rd.                  Voice (703)506-5938
> Vienna, Va 22182                    Fax (703)556-4261

Received on Thursday, 8 March 2001 09:25:38 UTC