Summary from RDFS, RDFS-Plus and OWL


RDFS

Fundamental concepts

  • rdfs:subClassOf - Members of subclass are also member of superclass.
  • rdfs:subPropertyOf - Relations described by subproperty also hold for superproperty.
  • rdfs:domain - The subject of a triple is classified into the domain of the predicate.
  • rdfs:range - The object of a triple is classified into the range of the predicate.


Annotation properties

  • rdfs:label - No inferential semantics, printable name.
  • rdfs:comment - No inferential semantics, information for readers of the model.


OWL

Equality

  • owl:equivalentClass - Members of each class are also members of the other.
  • owl:equivalentProperty - Relations that hold for each property also hold for the other.
  • owl:sameAs - All statements about one instance hold for the other.


Property characteristics

  • owl:inverseOf - Exchange subject and object.
  • owl:TransitiveProperty - Chains of relationships collapse into a single relationship.
  • owl:SymmetricProperty - A property that is its own inverse.
  • owl:FunctionalProperty - Only one value allowed (as object).
  • owl:InverseFunctionalProperty - Only one value allowed (as subject).
  • owl:ObjectProperty - Property can have resource as object.
  • owl:DatatypeProperty - Property can have data value as object


Restrictions

  • owl:Restriction - describes classes by restricting the values allowed for certain properties.
  • owl:hasValue - refers to a single value for a property.
  • owl:someValuesFrom - refers to a set from which some value for a property must come.
  • owl:allValuesFrom - refers to a set from which all values for a property must come.
  • owl:onProperty - A link from a restriction to the property it restricts.


Restrictions - set operations

  • Each of these is used to create a new class, based on the specified set
  • owl:unionOf, owl:intersectionOf, owl:complementOf
  • owl:oneOf - Specifies that a class consists just of the listed members.
  • owl:differentFrom - Specifies that one individual is not owl:sameAs another.
    • This is particularly useful when making counting arguments.
  • owl:disjointWith Specifies that two classes cannot share a member.
    • This is often used as a sort of wholesale version of owl:differentFrom.
  • owl:cardinality, owl:minCardinality, owl:maxCardinality
    • specifies information about the number of distinct values for some property.


See Also


Sources