OWL Reference Card
From Semantic Portal Wiki
Contents |
Classes
- 'owl:Class' all OWL classes, a sub-class of rdfs:Class
| owl:equivalentClass owl:disjointWith * owl:oneOf * owl:intersectionOf - owl:unionOf * owl:complementOf * | [owl:Class -> owl:Class] [owl:Class -> owl:Class] [rdfs:Class -> rdf:List] [owl:Class -> rdf:List] [owl:Class -> rdf:List] [owl:Class -> owl:Class] |
- NOTE:: * means only supported in OWL DL/FULL. – means supported in OWL Lite with restrictions
- owl:Restriction
| owl:onProperty owl:allValuesFrom owl:someValuesFrom owl:hasValue * owl:cardinality - owl:maxCardinality - owl:minCardinality - | [owl:Restriction -> rdf:Property] [owl:Restriction -> rdfs:Class] [owl:Restriction -> rdfs:Class] [owl:Restriction -> ] no range constraint [owl:Restriction -> xsd:nonNegativeInteger] [owl:Restriction -> xsd:nonNegativeInteger] [owl:Restriction -> xsd:nonNegativeInteger] |
- owl:DataRange * sets of data values, range of data-valued property
- 'owl:DeprecatedClass' version control
Properties
- 'owl:DatatypeProperty' range is instance of rdfs:Datatype
- 'owl:ObjectProperty' range is instance of owl:Class
| owl:inverseOf | [owl:ObjectProperty -> owl:ObjectProperty] |
- owl:OntologyProperty domain/range are owl:Ontology
- 'owl:AnnotationProperty' range is rdfs:Literal
- 'owl:FunctionalProperty' (s,p,o1) , (s, p,o2) =>sameAs( o1, o2)
- 'owl:InverseFunctionalProperty' (s1,p,o) , (s2, p,o) => sameAs(s1, s2)
- 'owl:SymmetricProperty' (s,p,o) => (o,p,s)
- 'owl:TransitiveProperty' (a,p,b) (b,p,c) => (a,p,c)
- 'owl:DeprecatedProperty' version control
| owl:equivalentProperty | [rdf:Property -> rdf:Property] |
Special classes
- 'owl:Thing' all OWL individuals
| owl:differentFrom owl:sameAs | [owl:Thing -> owl:Thing] [owl:Thing -> owl:Thing] |
- 'owl:Nothing' the complement of owl:Thing
- 'owl:AllDifferent' OWL built-in
| owl:distinctMembers | [owl:AllDifferent -> rdf:List] OWL built-in |
Ontology
- 'owl:Ontology' ontology description
| owl:backwardCompatibleWith owl:imports owl:incompatibleWith owl:priorVersion owl:versionInfo | [owl:Ontology -> owl:Ontology] [owl:Ontology -> owl:Ontology] [owl:Ontology -> owl:Ontology] [owl:Ontology -> owl:Ontology] [-> ] no domain or range constraint |
