- From: Manos Batsis <m.batsis@bsnet.gr>
- Date: Fri, 11 Jan 2002 13:21:25 +0200
- To: "Alexaki Sofia" <alexaki@ics.forth.gr>
- Cc: <www-rdf-interest@w3.org>
Geia sou Sofia, I'm no expert but, I don't find any sense in nesting <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> inside <rdfs:Class rdf:ID="MyClass"> </rdfs:Class> It's like saying the same thing two times (please someone correct me if I'm wrong). Kindest regards, Manos > -----Original Message----- > From: Alexaki Sofia [mailto:alexaki@ics.forth.gr] > Sent: Thursday, January 10, 2002 5:49 PM > To: www-rdf-interest@w3.org > Subject: extend rdfs:Class & rdf:Property > > > Hello, > > The 11th rule in the RDF Model Theory which states that if > xxx rdfs:subClassOf yyy and aaa rdf:type xxx . > then aaa rdf:type yyy > does this rule applies if xxx is subclass of rdfs:Class? > > More precisely, if the following facts are stated: > the class MyClass is subClassOf rdfs:Class and C1 is > instance of MyClass > i.e., > <rdfs:Class rdf:ID="MyClass"> > <rdfs:subClassOf > rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> > </rdfs:Class> > > <MyClass rdf:ID="C1"/> > > can I infer that C1 is a class? Or it is should be explicitly > stated in > the RDF file that C1 is instanceof rdfs:Class? > > Repsectively, if I define a class MyProperty as subclass of > rdf:Property > and P1 is instance of MyProperty i.e., > > <rdfs:Class rdf:ID="MyProperty"> > <rdfs:subClassOf > rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> > </rdfs:Class> > > <MyProperty rdf:ID="P1"/> > can I infer that P1 is a property? > > Regards, > Sofia Alexaki > > >
Received on Friday, 11 January 2002 06:18:50 UTC