W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 1999

RDF Schema to Flogic

From: Fang Wei <fwei@informatik.uni-freiburg.de>
Date: Tue, 31 Aug 1999 20:52:05 +0200
Message-ID: <37CC2455.49874166@informatik.uni-freiburg.de>
To: www-rdf-comments@w3.org
Here we send the schema part of the RDF->Flogic.

=================================================================
RDF source about Class, Property and domain, range
It was taken from RDFS 
=================================================================
<rdf:RDF xml:lang="en"
       xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
       xmlns:rdfs="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#">
              <rdf:Description ID="MotorVehicle">
                <rdf:type
resource="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#Class"/>
                <rdfs:subClassOf
rdf:resource="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#Resource"/>
               </rdf:Description>

               <rdf:Description ID="PassengerVehicle">
                <rdf:type
resource="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#Class"/>
                <rdfs:subClassOf rdf:resource="#MotorVehicle"/>
               </rdf:Description>

               <rdf:Description ID="Truck">
                <rdf:type
resource="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#Class"/>
                <rdfs:subClassOf rdf:resource="#MotorVehicle"/>
               </rdf:Description>

               <rdf:Description ID="Van">
                <rdf:type
resource="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#Class"/>
                <rdfs:subClassOf rdf:resource="#MotorVehicle"/>
               </rdf:Description>

               <rdf:Description ID="MiniVan">
                <rdf:type
resource="http://www.w3.org/TR/1999/PR-rdf-schema-19990303#Class"/>
                <rdfs:subClassOf rdf:resource="#Van"/>
                <rdfs:subClassOf rdf:resource="#PassengerVehicle"/>
               </rdf:Description>

    <rdf:Description ID="registeredTo">
     <rdf:type
resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
     <rdfs:domain rdf:resource="#MotorVehicle"/>
     <rdfs:range rdf:resource="#Person"/>
    </rdf:Description>

    <rdf:Description ID="rearSeatLegRoom">
     <rdf:type
resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
     <rdfs:domain rdf:resource="#PassengerVehicle"/>
     <rdfs:domain rdf:resource="#MiniVan"/>
     <rdfs:range rdf:resource="http://www.w3.org/datatypes#Number"/>
    </rdf:Description>
    </rdf:RDF>

======================================================================================================


=================================================================
Flogic code about from above RDF source
=================================================================

"file:schema3.rdf#MotorVehicle":"RDF_Class".
"file:schema3.rdf#MotorVehicle"::"RDF_Resource".
"file:schema3.rdf#PassengerVehicle":"RDF_Class".
"file:schema3.rdf#PassengerVehicle"::"file:schema3.rdf#MotorVehicle".
"file:schema3.rdf#Truck":"RDF_Class".
"file:schema3.rdf#Truck"::"file:schema3.rdf#MotorVehicle".
"file:schema3.rdf#Van":"RDF_Class".
"file:schema3.rdf#Van"::"file:schema3.rdf#MotorVehicle".
"file:schema3.rdf#MiniVan":"RDF_Class".
"file:schema3.rdf#MiniVan"::"file:schema3.rdf#PassengerVehicle".
"file:schema3.rdf#registeredTo":"RDF_Property".
"file:schema3.rdf#registeredTo"["RDF_domain"->["file:schema3.rdf#MotorVehicle"]].
"file:schema3.rdf#registeredTo"["RDF_range"->"#Person"].
"file:schema3.rdf#rearSeatLegRoom":"RDF_Property".
"file:schema3.rdf#rearSeatLegRoom"["RDF_domain"->["file:schema3.rdf#PassengerVehicle",
"file:schema3.rdf#MiniVan"]].
"file:schema3.rdf#rearSeatLegRoom"["RDF_range"->"http://www.w3.org/datatypes#Number"].

======================================================================================================

We explain 'SubPropertyOf' to subclass relation in Flogic too, and have
not find any unconvienence by this.
  

All rules about schema validating and other implicit rules are writen in
F-logic code and compiled by XSB prolog and Flora package.

A swing application is being developed to fetch the RDF code and parse
it to Flogic and compile the F-logic code in XSB(prolog will not
required to be installed later, communication will be done by socket).
User can type query on the query window, e.g. to validate RDF source or
get some facts.

Any comments are welcomed and offers of good RDF source examples are
highly appreciated.

Fang
Received on Tuesday, 31 August 1999 12:48:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:27 GMT