RDF Schema vocabulary descriptions are written in RDF. These resources are used to determine characteristics of other resources. RDF Schema defines constructs for specifying which classes, predicates and individuals exist in the vocabulary. It specifies how concepts may relate to one another.
rdf:type, rdfs:subClassOf.
The individual - class relationship is expressed with rdf:type. For instance,
[1] Peter rdf:type Doctor
encodes the information that Peter belongs to the class of Doctors.
The class - subclass relationship is expressed with rdfs:subClassOf. For instance,
[2] Doctor rdfs:subClassOf Person
encodes the information that the class of Doctors belongs to the class of Person.
Using the inference mechanics one can infer from these two statements that
[3] Peter rdf:type Person
The domain refers to the class of the subject of the property. The range refers to the class of the object of the property. For instance,
isBornIn rdfs:domain Person
isBornIn rdfs:range Location
denotes that Person is the domain of the property isBornIn and Location is the range of the property isBornIn. This means that the individuals in a subject position of the property isBornIn have to be of class Person, and the individuals in object position of the same property have to be of class Location.
This allows to infer from the statement:
Peter isBornIn Sofia
that Peter is a Person and Sofia is a Location.
rdfs:subPropertyOf. This allows to define hierarchies of properties, and infer new knowledge with them.
There are many techniques through which the meaning of classes and properties can be described.
RDF Schema semantics supports 33 entailment rules. These entailment rules define the inference capabilities of RDFS. For instance, the rule below defines the relationship between an inividual and two classes. It is of the two classes, because it is declared to be a member of a class which is a subclass of the other class. The transitive nature of the subclass relation makes the inference possible.
if a rdf:type x and x rdfs:subClassOf y
then a rdf:type y
Another example of an entailment rule pertains to the class of the range of a property. It states that if the range of a property is of a certain class, then the individual which is in the range of this property is of this class.
if P rdfs:range C and x P y
then y rdf:type C
The Web Ontology Language (OWL) is an extension of RDF Schema. It makes richer models of knowledge about things possible, but at the cost of those models being more complex for a computer to process.
Copyright © 2008-2009 Ontotext AD