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:complementOfowl:oneOf- Specifies that a class consists just of the listed members.owl:differentFrom- Specifies that one individual is notowl:sameAsanother.- This is particularly useful when making counting arguments.
owl:disjointWithSpecifies that two classes cannot share a member.- This is often used as a sort of wholesale version of
owl:differentFrom.
- This is often used as a sort of wholesale version of
owl:cardinality,owl:minCardinality,owl:maxCardinality- specifies information about the number of distinct values for some property.