Detector version dimension
type: ObjectProperty
domain: Observation
range: RestrictionTypeExpressionDetector
type: NamedIndividual
type: DimensionProperty
creator: Sven Lieber
comment: The detector used to collect the observation.

Detector version dimension
type: ObjectProperty
domain: Observation
range: RestrictionTypeExpressionDetectorVersion
type: NamedIndividual
type: DimensionProperty
creator: Sven Lieber
comment: The specific version of a detector used to collect the observation.

Ontology Repository dimension
type: ObjectProperty
domain: Observation
range: OntologyRepository
type: NamedIndividual
type: DimensionProperty
creator: Sven Lieber
comment: The ontology repository from which the ontology was obtained.

Ontology version dimension
type: ObjectProperty
domain: Observation
range: Ontology
type: NamedIndividual
type: DimensionProperty
creator: Sven Lieber
comment: The ontology version from which this observation was made.

Restriction type dimension
type: ObjectProperty
domain: Observation
range: RestrictionType
type: NamedIndividual
type: DimensionProperty
creator: Sven Lieber
comment: The restriction type of this observation.

Execution time dimension
type: DatatypeProperty
domain: Observation
range: dateTime
type: NamedIndividual
type: DimensionProperty
creator: Sven Lieber
comment: The time at which the observation was made.

Ben De Meester
type: NamedIndividual
type: Person

Sven Lieber
type: NamedIndividual
type: Person

Montolo restriction types
type: NamedIndividual
type: Vocabulary
type: Dataset
license: https://creativecommons.org/publicdomain/zero/1.0/
contributor: me
contributor: Anastasia Dimou
created: 2019-07-19
creator: Sven Lieber
description: Montolo restriction types, described using the MontoloVoc vocabulary
issued: 2019-07-19
modified: 2020-08-20
rights: Copyright © Ghent University – imec – IDLab
preferred namespace prefix: mon
comment: -Version 1.0.0 Rebranded from ReLOVStats.
comment: -Version 1.1.0 Added constraint type, expressions and detectors for SHACL core constraints and added links to Astrea.
prior version: 1.0.0
version info: 1.1.0
primary topic: montolo

Asymmetric properties restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A property is asymmetric if it is disjoint from its own inverse. A constraint of the constraint type asymmetric object properties states that the object property p is asymmetric - that is, if an individual i_1 is connected by p to an individual i_2, then I_2 cannot be connected by p to i_2.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:AsymmetricProperty detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:AsymmetricProperty restrictions.

owl:AsymmetricProperty detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:AsymmetricProperty detector

OWL asymmetricProperty restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: An asymmetric properties restriction, expressed using the owl:asymmetricProperty property.
realization of: Asymmetric properties restriction type

Average hierarchy depth
type: NamedIndividual
type: RestrictionTypeMeasure
creator: Sven Lieber
comment: The average hierarchy depth of disjoint hierarchies of IRIs.

BioPortal
type: NamedIndividual
type: OntologyRepository
creator: Sven Lieber

(SHACL) Maximum cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: If the number of value nodes is greater than $maxCount, there is a validation result.
source: https://www.w3.org/TR/shacl/

sh:maxCount detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:maxCount constraints

sh:maxCount detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:maxCount detector

SHACL max count
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Maximum cardinality restriction type

(SHACL) Minimum cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: If the number of value nodes is less than $minCount, there is a validation result.
source: https://www.w3.org/TR/shacl/

sh:minCount detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:minCount constraints

sh:minCount detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:minCount detector

SHACL min count
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Minimum cardinality restriction type

Disjoint classes restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The constraint type disjoint classes states that all of the classes C_i, 1 <= i <= n, are pairwise disjoint.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:AllDisjointClasses detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:AllDisjointClasses restrictions.

owl:disjointWith detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:disjointWith restrictions.

owl:AllDisjointClasses detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber

owl:disjointWith detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:disjointWith detector

OWL AllDisjointClasses restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A disjoint classes restriction, expressed using the owl:AllDisjointClasses class.
realization of: Disjoint classes restriction type

OWL disjointWith restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A disjoint classes restriction, expressed using the owl:disjointWith property.
realization of: Disjoint classes restriction type

Disjoint properties restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A constraint of the constraint type disjoint properties states that all of the object or data properties p_i, 1 <= i <= n, are pairwise disjoint.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:AllDisjointProperties detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:AllDisjointProperties restrictions.

owl:propertyDisjointWith detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:propertyDisjointWith restrictions.

owl:AllDisjointProperties detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:AllDisjointProperties detector

owl:propertyDisjointWith detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:propertyDisjointWith detector

OWL AllDisjointProperties restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A disjoint properties restriction, expressed using the owl:AllDisjointProperties class.
realization of: Disjoint properties restriction type

OWL propertyDisjointWith restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A disjoint properties restriction, expressed using the owl:propertyDisjointWith property.
realization of: Disjoint properties restriction type

Exact qualified cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A constraint of the constriant type exact qualified cardinality restrictions consists of a non-negative integer n, an object or data property p, and a class C or a datatype DT, and it defines a class C_context which contains all those individuals that are connected by p to exactly n different (1) individuals that are instances of C or (2) literals in DT. Exact qualified cardinality restrictions must hold for all instances of the class C_context.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:qualifiedCardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:qualifiedCardinality restrictions.

owl:qualifiedCardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:qualifiedCardinality detector

Exact unqualified cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A constraint of the constraint type exact unqualified cardinality restrictions consists of a non-negative integer n and an object or data property p, and it defines a class C_context which contains all those individuals that are connected by p to exactly n different individuals/literals. Exact unqualified cardinality restrictions must hold for all instances of the class C_context.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:cardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:cardinality restrictions.

owl:minCardinality==owl:maxCardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:minCardinality==owl:maxCardinality restrictions.

owl:cardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:cardinality detector

owl:minCardinality==owl:maxCardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:minCardinality==owl:maxCardinality detector

OWL cardinality restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: An exact unqualified cardinality restriction, expressed using the owl:cardinality property.
realization of: Exact unqualified cardinality restriction type

OWL min equals max
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: An exact qualified cardinality restriction, expressed using the properties owl:minCardinality and owl:maxCardinality with the same values.
realization of: Exact unqualified cardinality restriction type

Functional properties restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Constraints of the constraint type functional properties state that object or data properties are functional within the context of a class.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:FunctionalProperty detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:FunctionalProperties restrictions.

owl:FunctionalProperty detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:FunctionalProperty detector

OWL FunctionalProperty
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A functional properties restriction, expressed using the owl:FunctionalProperty property.

Amount of hierarchies
type: NamedIndividual
type: DataStructureDefinition
type: Entity
creator: Sven Lieber
component: ComponentSpecification
  dimension: implementationDimension
component: ComponentSpecification
  dimension: Restriction type dimension
component: ComponentSpecification
  dimension: Detector version dimension
component: ComponentSpecification
  dimension: Execution time dimension
component: ComponentSpecification
  dimension: Ontology version dimension
component: ComponentSpecification
  measure: Hierarchy amount
component: ComponentSpecification
  attribute: unitMeasure
comment: This data structure contains the measurement of the amount of hierarchies.

Hierarchy amount
type: NamedIndividual
type: RestrictionTypeMeasure
creator: Sven Lieber
comment: The occurrence of disjoint hierarchies of IRIs.

Inverse functional properties restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Constraints of the constraint type inverse-functional properties state that object properties are inverse-functional within the context of a class.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:InverseFunctionalProperty detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:InverseProperty restrictions.

owl:InverseFunctionalProperty detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:InverseFunctionalProperty detector

OWL InverseFunctionalProperty
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: An inverse functional properties restriction, expressed using the owl:InverseFunctionalProperty property.

Irreflexive properties restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A property is irreflexive if it is never locally reflexive. Constraints of the irreflexive object properties constraint type (irreflexive roles in DL) state that the object property p is irreflexive - that is, no individual is connected by p to itself.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:IrreflexiveProperty detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:IrreflexiveProperty restrictions.

owl:IrreflexiveProperty detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:IrreflexiveProperty detector

OWL irreflexiveProperty restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: An irreflexive properties restriction, expressed using the owl:irreflexiveProperty property.
realization of: Irreflexive properties restriction type

Literal pattern matching restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Constraints of the constraint type literal pattern matching ensure that individuals of a given class C can only have relations via a specific data property p to literals of a specific datatype DT that match a certain literal pattern.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:withRestrictions, xsd:pattern detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:withRestrictions, xsd:pattern restrictions.

owl:withRestrictions, xsd:pattern detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:withRestrictions, xsd:pattern detector

OWL withRestrictions on xsd:pattern restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A literal pattern matching restriction, expressed using the owl:withRestrictions property and a defined xsd:pattern.
realization of: Literal pattern matching restriction type

Literal ranges restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Constraints of the constraint type literal ranges ensure that for individuals of class C, the literal values of the data property p of the datatype DT are within the literal range of [min, max].
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:withRestriction, xsd:minInclusive, xsd:minExclusive, xsd:maxInclusive, xsd:maxExclusive detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:withRestrictions, xsd:minInclusive, xsd:minExclusive, xsd:maxInclusive, xsd:maxExclusive.

owl:withRestriction, xsd:minInclusive, xsd:minExclusive, xsd:maxInclusive, xsd:maxExclusive detector v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:withRestriction, xsd:minInclusive, xsd:minExclusive, xsd:maxInclusive, xsd:maxExclusive detector

OWL withRestriction on xsd:minInclusive xsd:minExclusive xsd:maxInclusive xsd:maxExclusive
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A literal ranges restriction, expressed using the owl:withRestriction property and a defined xsd:minInclusive xsd:minExclusive or xsd:maxInclusive or xsd:maxExclusive
realization of: Literal ranges restriction type

(SHACL) Conjunction restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that each value node conforms to all provided shapes. This is comparable to conjunction and the logical and operator.
source: https://www.w3.org/TR/shacl/

sh:and detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:and constraints

sh:and detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:and detector

SHACL conjunction (and)
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Conjunction restriction type

(SHACL) Disjunction restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that each value node conforms to at least one of the provided shapes. This is comparable to disjunction and the logical or operator.
source: https://www.w3.org/TR/shacl/

sh:or detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:or constraints

sh:or detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:or detector

SHACL disjunction (or)
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Disjunction restriction type

(SHACL) Exclusive Disjunction restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that each value node conforms to exactly one of the provided shapes.
source: https://www.w3.org/TR/shacl/

sh:xone detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:xone constraints

sh:xone detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:xone detector

SHACL exclusive disjunction (xor)
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Exclusive Disjunction restriction type

(SHACL) Negation restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that each value node cannot conform to a given shape. This is comparable to negation and the logical not operator.
source: https://www.w3.org/TR/shacl/

sh:not detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:not constraints

sh:not detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:not detector

SHACL not
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Negation restriction type

Linked Open Vocabularies (LOV)
type: NamedIndividual
type: OntologyRepository
creator: Sven Lieber

Maximum hierarchy depth
type: NamedIndividual
type: RestrictionTypeMeasure
creator: Sven Lieber
comment: The biggest hierarchy depth of disjoint hierarcheis of IRIs.

Maximum hierarchy depth distribution
type: NamedIndividual
type: DataStructureDefinition
creator: Sven Lieber
component: ComponentSpecification
  dimension: implementationDimension
component: ComponentSpecification
  dimension: Restriction type dimension
component: ComponentSpecification
  dimension: Detector version dimension
component: ComponentSpecification
  dimension: Execution time dimension
component: ComponentSpecification
  dimension: Ontology version dimension
component: ComponentSpecification
  measure: Maximum hierarchy depth
component: ComponentSpecification
  attribute: unitMeasure
comment: This data structure contains maximum hieararchy depth measurements.

Maximum qualified cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The constraint type maximum qualified cardinality restrictions consists of a non-negative integer n, an object or data proeprty p, and a class C or a atatype DT, and it defiens a class C_context which contains all those individuals that are connected by p to at most n different (1) individuals that are instances of C or (2) literals in DT. Maximum qualified cardinality restrictions must hold for all instances of the class C_context.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:maxQualifiedCardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:maxQualifiedCardinality restrictions.

owl:maxQualifiedCardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:maxQualifiedCardinality detector

OWL maxQualifiedCardinality restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A maximum qualified cardinality restriction, expressed using the owl:maxQualifiedCardinality property.
realization of: Maximum qualified cardinality restriction type

Maximum unqualified cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A constraint of the constraint type maximum unqualified cardinality restrictions consists of a non-negative integer n and an object or data property p, and it defines a class C_context which contains all those individuals that are connected by p to at most n different individuals/literals. Maximum unqualififed cardinality restrictions must hold for all instances of the class C_context.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:maxCardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:maxCardinality restrictions.

owl:maxCardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:maxCardinality detector

Average hierarchy depth distribution
type: NamedIndividual
type: DataStructureDefinition
creator: Sven Lieber
component: ComponentSpecification
  dimension: implementationDimension
component: ComponentSpecification
  dimension: Restriction type dimension
component: ComponentSpecification
  dimension: Detector version dimension
component: ComponentSpecification
  dimension: Execution time dimension
component: ComponentSpecification
  dimension: Ontology version dimension
component: ComponentSpecification
  measure: Average hierarchy depth
component: ComponentSpecification
  attribute: unitMeasure
comment: This data structure contains average hieararchy depth measurements.

Median hierarchy depth
type: NamedIndividual
type: RestrictionTypeMeasure
creator: Sven Lieber
comment: The median hierarchy depth of disjoint hierarchies of IRIs.

Median hierarchy depth distribution
type: NamedIndividual
type: DataStructureDefinition
creator: Sven Lieber
component: ComponentSpecification
  dimension: implementationDimension
component: ComponentSpecification
  dimension: Restriction type dimension
component: ComponentSpecification
  dimension: Detector version dimension
component: ComponentSpecification
  dimension: Execution time dimension
component: ComponentSpecification
  dimension: Ontology version dimension
component: ComponentSpecification
  measure: Median hierarchy depth
component: ComponentSpecification
  attribute: unitMeasure
comment: This data structure contains median hieararchy depth measurements.

Minimum hierarchy depth
type: NamedIndividual
type: RestrictionTypeMeasure
creator: Sven Lieber
comment: The smallest hierarchy depth of disjoint hierarchies of IRIs.

Minimum hierarchy depth distribution
type: NamedIndividual
type: DataStructureDefinition
creator: Sven Lieber
component: ComponentSpecification
  dimension: implementationDimension
component: ComponentSpecification
  dimension: Restriction type dimension
component: ComponentSpecification
  dimension: Detector version dimension
component: ComponentSpecification
  dimension: Execution time dimension
component: ComponentSpecification
  dimension: Ontology version dimension
component: ComponentSpecification
  measure: Minimum hierarchy depth
component: ComponentSpecification
  attribute: unitMeasure
comment: This data structure contains minimum hieararchy depth measurements.

Minimum qualified cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The constraint type minimum qualified cardinality restrictions consists of a non-negative integer n, an object or data property p, and a class C or a datatype DT, and it defines a class C_context which contains all those individuals that are connected by p to at least n different (1) individuals that are instances of C or (2) literals in DT. Minimum qualified cardinality restrictions must hold for all instances of the class C_context.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:minQualifiedCardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:minQualifiedCardinality restrictions.

owl:minQualifiedCardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:minQualifiedCardinality detector

OWL minQualifiedCardinality restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A minimum qualified cardinality restriction, expressed using the owl:minQualifiedCardinality property.
realization of: Minimum qualified cardinality restriction type

Minimum unqualified cardinality restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A constraint of the constraint type minimum unqualified cardinality restrictions consists of a non-negative integer n and an object or data property p, and it defines a class C which contains all those individuals that are connected by p to at least n different individuals/literals. Minimum unqualified cardinality restrictions must hold for all instances of the class C.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:minCardinality detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:minCardinality restrictions.

owl:minCardinality detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:minCardinality detector

Not specified
type: NamedIndividual
type: OntologyRepository
creator: Sven Lieber

(SHACL) Closed restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Set to true to close the shape. The values of sh:closed in a shape are literals with datatype xsd:boolean.
source: https://www.w3.org/TR/shacl/

sh:closed detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:closed constraints

sh:closed detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:closed detector

SHACL closed
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Closed restriction type

(SHACL) Has-value restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that at least one value node is equal to the given RDF term.
source: https://www.w3.org/TR/shacl/

sh:hasValue detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:hasValue constraints

sh:hasValue detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:hasValue detector

SHACL has-value
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Has-value restriction type

(SHACL) Ignored properties restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Optional SHACL list of properties that are also permitted in addition to those explicitly enumerated via sh:property
source: https://www.w3.org/TR/shacl/

sh:ignoredProperties detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:ignoredProperties constraints

sh:ignoredProperties detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:ignoredProperties detector

SHACL ignored properties
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Ignored properties restriction type

(SHACL) Value-in restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that each value node is a member of a provided SHACL list.
source: https://www.w3.org/TR/shacl/

sh:in detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:in constraints

sh:in detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:in detector

SHACL value-in
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Value-in restriction type

owl:DataPropertyDomain detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:DataPropertyDomain restrictions.

owl:ObjectPropertyDomain detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:ObjectPropertyDomain restrictions.

rdfs:domain detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect rdfs:domain restrictions.

owl:DataPropertyDomain detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:DataPropertyDomain detector

owl:ObjectPropertyDomain detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:ObjectPropertyDomain detector

rdfs:domain detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: rdfs:domain detector

Property domains restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Constraints of the property domains constraint type restrict the domain of object or data properties. In DL terminology, this constraint type is also called domain restrictions on roles. A constraint of the type property domains states that the domain of the object or data property p is the class C - that is, if an individual i is connected by p with some other individual or some literal, then i is an instance of C.
source: https://publikationen.bibliothek.kit.edu/1000054062

OWL DataPropertyDomain restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A property domains restriction, expressed using the owl:DataPropertyDomain property.
realization of: Property domains restriction type

OWL ObjectPropertyDomain restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A property domains restriction, expressed using the owl:ObjectPropertyDomain property.
realization of: Property domains restriction type

RDFS domain restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A property domains restriction, expressed using the rdfs:domain property.
realization of: Property domains restriction type

(SHACL) Disjoint restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that the set of value nodes is disjoint with the set of objects of the triples that have the focus node as subject and the value of sh:disjoint as predicate.
source: https://www.w3.org/TR/shacl/

sh:disjoint detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:disjoint constraints

sh:disjoint detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:disjoint detector

SHACL disjoint
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Disjoint restriction type

(SHACL) Equals restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the condition that the set of all value nodes is equal to the set of objects of the triples that have the focus node as subject and the value of sh:equals as predicate.
source: https://www.w3.org/TR/shacl/

sh:equals detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:equals constraints

sh:equals detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:equals detector

SHACL equals
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Equals restriction type

(SHACL) Less-than restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The property to compare the values with. The values of sh:lessThan in a shape are IRIs.
source: https://www.w3.org/TR/shacl/

sh:lessThan detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:lessThan constraints

sh:lessThan detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:lessThan detector

(SHACL) Less Than Or Equals restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: For each pair of value nodes and the values of the property $lessThanOrEquals at the given focus node where the first value is not less than or equal to the second value (based on SPARQL's <= operator) or where the two values cannot be compared, there is a validation result with the value node as sh:value.
source: https://www.w3.org/TR/shacl/

sh:lessThanOrEquals detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:lessThanOrEquals constraints

sh:lessThanOrEquals detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:lessThanOrEquals detector

SHACL less than or equals
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Less Than Or Equals restriction type

SHACL less than
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Less-than restriction type

owl:ObjectPropertyRange detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:ObjectPropertyRange restrictions.

rdfs:range detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect rdfs:range restrictions.

owl:ObjectPropertyRange detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:ObjectPropertyRange detector

rdfs:range detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: rdfs:range detector

Property ranges restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Constraints of the constraint type property ranges restrict the range of object and data properties. In DL terminology, this constraint type is also called range restrictions on roles. The property ranges constraint type states that the range of the object or data property p is either (1) the class C - that is, if some individual is connected by p with an individual i, then i is an instance of C, or (2) the datatype DT - that is, if some individual is connected by p with a literal l, then l is in DT.
source: https://publikationen.bibliothek.kit.edu/1000054062

OWL DataPropertyRange restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A property ranges restriction, expressed using the owl:DataPropertyRange property.
realization of: Property ranges restriction type

OWL ObjectPropertyRange restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A property ranges restriction, expressed using the owl:ObjectPropertyRange property.
realization of: Property ranges restriction type

RDFS range restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A property ranges restriction, expressed using the rdfs:range property.
realization of: Property ranges restriction type

Restriction type occurrence
type: NamedIndividual
type: RestrictionTypeMeasure
creator: Sven Lieber
comment: The occurrence of a restriction of a certain type.

Amount of restriction types
type: NamedIndividual
type: DataStructureDefinition
type: Entity
creator: Sven Lieber
component: ComponentSpecification
  dimension: Restriction type dimension
component: ComponentSpecification
  dimension: Detector version dimension
component: ComponentSpecification
  dimension: Execution time dimension
component: ComponentSpecification
  dimension: Ontology version dimension
component: ComponentSpecification
  measure: occurrence
component: ComponentSpecification
  attribute: unitMeasure
comment: This data structure contains the measurement of the amount of restriction types.

(SHACL) Node restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: sh:node specifies the condition that each value node conforms to the given node shape.
source: https://www.w3.org/TR/shacl/

sh:node detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:node constraints

sh:node detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:node detector

SHACL node
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Node restriction type

(SHACL) Property restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A property shape that all value nodes need to have.
source: https://www.w3.org/TR/shacl/

sh:property detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:property constraints

sh:property detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:property detector

SHACL property
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Property restriction type

(SHACL) Qualified max count restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The maximum number of value nodes that can conform to the shape.
source: https://www.w3.org/TR/shacl/

sh:qualifiedMaxCount detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:qualifiedMaxCount constraints

sh:qualifiedMaxCount detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:qualifiedMaxCount detector

SHACL qualified max count
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Qualified max count restriction type

(SHACL) Qualified min count restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The minimum number of value nodes that conform to the shape.
source: https://www.w3.org/TR/shacl/

sh:qualifiedMinCount detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:qualifiedMinCount constraints

sh:qualifiedMinCount detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:qualifiedMinCount detector

SHACL qualified min count
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Qualified min count restriction type

(SHACL) Qualified value restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The shape that the specified number of value nodes needs to conform to.
source: https://www.w3.org/TR/shacl/

sh:qualifiedValue detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:qualifiedValue constraints

sh:qualifiedValue detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:qualifiedValue detector

SHACL qualified value
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Qualified value restriction type

(SHACL) Language-in restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The condition specified by sh:languageIn is that the allowed language tags for each value node are limited by a given list of language tags.
source: https://www.w3.org/TR/shacl/

sh:languageIn detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:languageIn constraints

sh:languageIn detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:languageIn detector

SHACL language-in
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Language-in restriction type

(SHACL) Maximum length restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the maximum string length of each value node that satisfies the condition. This can be applied to any literals and IRIs, but not to blank nodes.
source: https://www.w3.org/TR/shacl/

sh:maxLength detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:maxLength constraints

sh:maxLength detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:maxLength detector

SHACL max length
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Maximum length restriction type

(SHACL) Minimum length restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies the minimum string length of each value node that satisfies the condition. This can be applied to any literals and IRIs, but not to blank nodes.
source: https://www.w3.org/TR/shacl/

sh:minLength detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:minLength constraints

sh:minLength detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:minLength detector

SHACL min length
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Minimum length restriction type

(SHACL) Pattern restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies a regular expression that each value node matches to satisfy the condition.
source: https://www.w3.org/TR/shacl/

sh:pattern detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:pattern constraints

sh:pattern detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:pattern detector

SHACL pattern
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Pattern restriction type

(SHACL) Unique Language restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: If $uniqueLang is true then for each non-empty language tag that is used by at least two value nodes, there is a validation result.
source: https://www.w3.org/TR/shacl/

sh:uniqueLang detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:uniqueLang constraints

sh:uniqueLang detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:uniqueLang detector

SHACL unique language
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Unique Language restriction type

Subsumption restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The subsumption constraint type corresponds to concept inclusion in DL terminology. Subclass axioms are a fundamental type of axioms in OWL2 and can be used to construct class hierarchies.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:SubClassOf detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:SubClassOf restrictions.

rdfs:subClassOf detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect rdfs:subClassOf restrictions.

owl:SubClassOf detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:SubClassOf detector

rdfs:subClassOf detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: rdfs:subClassOf detector

OWL SubClassOf restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A subsumption restriction, expressed using the owl:SubClassOf property.
realization of: Subsumption restriction type

RDFS subClassOf restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: A subsumption restriction, expressed using the rdfs:subClassOf property.
realization of: Subsumption restriction type

(SHACL) Target class
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A class target is specified with the sh:targetClass predicate. Each value of sh:targetClass in a shape is an IRI.
source: https://www.w3.org/TR/shacl/

sh:targetClass detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:targetClass properties

sh:targetClass detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:targetClass detector

SHACL target class
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Target class

(SHACL) Target node
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A node target is specified using the sh:targetNode predicate. Each value of sh:targetNode in a shape is either an IRI or a literal.
source: https://www.w3.org/TR/shacl/

sh:targetNode detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:targetNode properties

sh:targetNode detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:targetNode detector

SHACL target node
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Target node

(SHACL) Objects-of target
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: An objects-of target is specified with the predicate sh:targetObjectsOf. The values of sh:targetObjectsOf in a shape are IRIs.
source: https://www.w3.org/TR/shacl/

sh:targetObjectsOf detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:targetObjectsOf properties

sh:targetObjectsOf detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:targetObjectsOf detector

SHACL target objects of
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Objects-of target

(SHACL) Subjects-of target
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: A subjects-of target is specified with the predicate sh:targetSubjectsOf. The values of sh:targetSubjectsOf in a shape are IRIs.
source: https://www.w3.org/TR/shacl/

sh:targetSubjectsOf detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:targetSubjectsOf properties

sh:targetSubjectsOf detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:targetSubjectsOf detector

SHACL target subjects of
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Subjects-of target

Universal quantification restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: Universal quantifications (value restrictions in DL) are used to enforce that all individuals of a given class C are connected by particular properties p only to instances/literals of certain classes C or datatypes DT.
source: https://publikationen.bibliothek.kit.edu/1000054062

owl:allValuesFrom detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect owl:allValuesFrom restrictions.

owl:allValuesFrom detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: owl:allValuesFrom detector

OWL allValuesFrom restriction
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
description: An universal quantification restriction, expressed using the owl:allValuesFrom property.

(SHACL) Maximum exclusive restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The maximum exclusive value. The values of sh:maxExclusive in a shape are literals.
source: https://www.w3.org/TR/shacl/

sh:maxExclusive detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:maxExclusive constraints

sh:maxExclusive detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:maxExclusive detector

SHACL max exclusive
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Maximum exclusive restriction type

(SHACL) Maximum inclusive restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The maximum inclusive value. The values of sh:maxInclusive in a shape are literals.
source: https://www.w3.org/TR/shacl/

sh:maxInclusive detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:maxInclusive constraints

sh:maxInclusive detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:maxInclusive detector

SHACL max inclusive
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Maximum inclusive restriction type

(SHACL) Minimum exclusive restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The minimum exclusive value. The values of sh:minExclusive in a shape are literals.
source: https://www.w3.org/TR/shacl/

sh:minExclusive detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:minExclusive constraints

sh:minExclusive detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:minExclusive detector

SHACL min exclusive
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Minimum exclusive restriction type

(SHACL) Minimum inclusive restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The minimum inclusive value. The values of sh:minInclusive in a shape are literals.
source: https://www.w3.org/TR/shacl/

sh:minInclusive detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:minInclusive constraints

sh:minInclusive detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:minInclusive detector

SHACL min inclusive
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Minimum inclusive restriction type

(SHACL) Class restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: The condition specified by sh:class is that each value node is a SHACL instance of a given type.
source: https://www.w3.org/TR/shacl/

sh:class detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:class constraints

sh:class detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:class detector

SHACL class
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Class restriction type

(SHACL) Datatype restriction type
type: NamedIndividual
type: RestrictionType
creator: Sven Lieber
description: It specifies a condition to be satisfied with regards to the datatype of each value node.
source: https://www.w3.org/TR/shacl/

sh:datatype detector
type: NamedIndividual
type: RestrictionTypeExpressionDetector
creator: Sven Lieber
description: A method or software component to detect sh:datatype constraints

sh:datatype detector (LODStats) v1
type: NamedIndividual
type: RestrictionTypeExpressionDetectorVersion
creator: Sven Lieber
realization of: sh:datatype detector

SHACL datatype
type: NamedIndividual
type: RestrictionTypeExpression
creator: Sven Lieber
realization of: (SHACL) Datatype restriction type