OWL ontology visualization
Assertion
hide: [toc]
"@context":
- https://nanopublishing.iolanta.tech/context/v0.yamlld
- iolanta: https://iolanta.tech/
vann: http://purl.org/vocab/vann/
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
owl: http://www.w3.org/2002/07/owl#
iolanta:visualizes:
"@type": "@id"
terms:
"@reverse": rdf:type
"@type": "@id"
$nanopublication:
$assertion:
$id: "owl:"
"@type": owl:Ontology
vann:termGroup:
- rdfs:label: Classes
terms:
- $id: owl:Thing
iolanta:icon: ⊤
- $id: owl:Nothing
iolanta:icon: ⊥
- $id: owl:Class
- rdfs:label: Property classes
terms:
- $id: owl:ObjectProperty
- $id: owl:DatatypeProperty
- $id: owl:topObjectProperty
iolanta:icon: ↧
- $id: owl:bottomObjectProperty
iolanta:icon: ↥
- $id: owl:topDataProperty
iolanta:icon: ↧
- $id: owl:bottomDataProperty
iolanta:icon: ↥
- rdfs:label: Property characteristics
terms:
- $id: owl:FunctionalProperty
iolanta:icon: ⇸
- $id: owl:InverseFunctionalProperty
iolanta:icon: ↣
- $id: owl:ReflexiveProperty
- $id: owl:IrreflexiveProperty
- $id: owl:SymmetricProperty
- $id: owl:AsymmetricProperty
- $id: owl:TransitiveProperty
- rdfs:label: Class expressions
terms:
- $id: owl:intersectionOf
iolanta:icon: ⊓
- $id: owl:unionOf
iolanta:icon: ⊔
- $id: owl:complementOf
iolanta:icon: ¬
- $id: owl:oneOf
- $id: owl:disjointUnionOf
- $id: owl:equivalentClass
iolanta:icon: ≡
- $id: owl:disjointWith
- $id: owl:hasKey
- rdfs:label: Property relations
terms:
- $id: owl:inverseOf
- $id: owl:equivalentProperty
iolanta:icon: ⇶
- $id: owl:propertyDisjointWith
- $id: owl:propertyChainAxiom
iolanta:icon: ∘
- rdfs:label: Restrictions
terms:
- $id: owl:Restriction
- $id: owl:onProperty
- $id: owl:onProperties
- $id: owl:onClass
- $id: owl:onDataRange
- $id: owl:onDatatype
- $id: owl:someValuesFrom
iolanta:icon: ∃
- $id: owl:allValuesFrom
iolanta:icon: ∀
- $id: owl:hasValue
- $id: owl:hasSelf
- rdfs:label: Cardinality
terms:
- $id: owl:cardinality
- $id: owl:minCardinality
iolanta:icon: ⩾
- $id: owl:maxCardinality
iolanta:icon: ⩽
- $id: owl:qualifiedCardinality
- $id: owl:minQualifiedCardinality
- $id: owl:maxQualifiedCardinality
- rdfs:label: Data ranges
terms:
- $id: owl:DataRange
- $id: owl:datatypeComplementOf
iolanta:icon: ¬
- $id: owl:withRestrictions
- rdfs:label: Individuals
terms:
- $id: owl:NamedIndividual
- $id: owl:sameAs
- $id: owl:differentFrom
iolanta:icon: ≠
- $id: owl:AllDifferent
- $id: owl:distinctMembers
- $id: owl:AllDisjointClasses
- $id: owl:AllDisjointProperties
- $id: owl:members
- rdfs:label: Assertions
terms:
- $id: owl:NegativePropertyAssertion
- $id: owl:sourceIndividual
- $id: owl:assertionProperty
- $id: owl:targetIndividual
- $id: owl:targetValue
- rdfs:label: Annotations
terms:
- $id: owl:Annotation
- $id: owl:AnnotationProperty
- $id: owl:annotatedSource
- $id: owl:annotatedProperty
- $id: owl:annotatedTarget
- rdfs:label: Deprecated
terms:
- $id: owl:deprecated
iolanta:icon: 🗑
- $id: owl:DeprecatedClass
iolanta:icon: 🗑
- $id: owl:DeprecatedProperty
iolanta:icon: 🗑
- rdfs:label: Ontologies
terms:
- $id: owl:Ontology
- $id: owl:OntologyProperty
- $id: owl:imports
- $id: owl:Axiom
- rdfs:label: Versions
terms:
- $id: owl:versionIRI
- $id: owl:versionInfo
- $id: owl:priorVersion
iolanta:icon: ⎗
- $id: owl:backwardCompatibleWith
iolanta:icon: ✓
- $id: owl:incompatibleWith
iolanta:icon: ✗
rdfs:label: OWL terms by type
iolanta:visualizes: "owl:"
npx:supersedes: https://w3id.org/np/RAZWVzk0nYHkkBr6ql7crPHdXbFxM4sN3UGtQA1IpMR-8
Data ranges
-
The class of OWL data ranges, which are special kinds of datatypes. Note: The use of the IRI owl:DataRange has been deprecated as of OWL 2. The IRI rdfs:Datatype SHOULD be used instead.
-
The property that determines that a given data range is the complement of another data range with respect to the data domain.
-
The property that determines the collection of facet-value pairs that define a datatype restriction.
Individuals
-
The class of collections of pairwise different individuals.
-
The class of collections of pairwise disjoint classes.
-
The class of collections of pairwise disjoint properties.
-
The class of named individuals.
-
The property that determines that two given individuals are different.
-
The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.
-
The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.
-
The property that determines that two given individuals are equal.
Assertions
-
The class of negative property assertions.
-
The property that determines the predicate of a negative property assertion.
-
The property that determines the subject of a negative property assertion.
-
The property that determines the object of a negative object property assertion.
-
The property that determines the value of a negative data property assertion.
Annotations
-
The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.
-
The class of annotation properties.
-
The property that determines the predicate of an annotated axiom or annotated annotation.
-
The property that determines the subject of an annotated axiom or annotated annotation.
-
The property that determines the object of an annotated axiom or annotated annotation.
Deprecated
-
The class of deprecated classes.
-
The class of deprecated properties.
-
The annotation property that indicates that a given entity has been deprecated.
Ontologies
-
The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
-
The class of ontologies.
-
The class of ontology properties.
-
The property that is used for importing other ontologies into a given ontology.
Versions
-
The annotation property that indicates that a given ontology is backward compatible with another ontology.
-
The annotation property that indicates that a given ontology is incompatible with another ontology.
-
The annotation property that indicates the predecessor ontology of a given ontology.
-
The property that identifies the version IRI of an ontology.
-
The annotation property that provides version information for an ontology or another OWL construct.
Classes
Property classes
-
The class of data properties.
-
The class of object properties.
-
The data property that does not relate any individual to any data value.
-
The object property that does not relate any two individuals.
-
The data property that relates every individual to every data value.
-
The object property that relates every two individuals.
Property characteristics
-
The class of asymmetric properties.
-
The class of functional properties.
-
The class of inverse-functional properties.
-
The class of irreflexive properties.
-
The class of reflexive properties.
-
The class of symmetric properties.
-
The class of transitive properties.
Class expressions
-
The property that determines that a given class is the complement of another class.
-
The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
-
The property that determines that two given classes are disjoint.
-
The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.
-
The property that determines the collection of properties that jointly build a key.
-
The property that determines the collection of classes or data ranges that build an intersection.
-
The property that determines the collection of individuals or data values that build an enumeration.
-
The property that determines the collection of classes or data ranges that build a union.
Property relations
-
The property that determines that two given properties are equivalent.
-
The property that determines that two given properties are inverse.
-
The property that determines the n-tuple of properties that build a sub property chain of a given property.
-
The property that determines that two given properties are disjoint.
Restrictions
-
The class of property restrictions.
-
The property that determines the class that a universal property restriction refers to.
-
The property that determines the property that a self restriction refers to.
-
The property that determines the individual that a has-value restriction refers to.
-
The property that determines the class that a qualified object cardinality restriction refers to.
-
The property that determines the data range that a qualified data cardinality restriction refers to.
-
The property that determines the datatype that a datatype restriction refers to.
-
The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.
-
The property that determines the property that a property restriction refers to.
-
The property that determines the class that an existential property restriction refers to.
Cardinality
-
The property that determines the cardinality of an exact cardinality restriction.
-
The property that determines the cardinality of a maximum cardinality restriction.
-
The property that determines the cardinality of a maximum qualified cardinality restriction.
-
The property that determines the cardinality of a minimum cardinality restriction.
-
The property that determines the cardinality of a minimum qualified cardinality restriction.
-
The property that determines the cardinality of an exact qualified cardinality restriction.