Summary from RDFS, RDFS-Plus and OWL
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.
rdfs:label
- No inferential semantics, printable name.rdfs:comment
- No inferential semantics, information for readers of the model.
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.
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
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.
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.
owl:disjointWith
Specifies that two classes cannot share a member.
owl:differentFrom
.owl:cardinality
, owl:minCardinality
, owl:maxCardinality