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 notowl: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
.
- 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.