Skip to content

Class: TransitiveProperty

URI: owl:TransitiveProperty

classDiagram ObjectProperty <|-- TransitiveProperty TransitiveProperty : equivalentProperty TransitiveProperty : inverseOf TransitiveProperty : propertyChainAxiom TransitiveProperty : propertyDisjointWith

Inheritance

Slots

Name Cardinality and Range Description
inverseOf 0..*
ObjectProperty
propertyChainAxiom 0..*
List
equivalentProperty 0..*
Property
propertyDisjointWith 0..*
Property

Usages

Comments

  • The class of transitive properties.

Identifier and Mapping Information

Schema Source

  • from schema: http://www.w3.org/2002/07/owl

Mappings

Mapping Type Mapped Value
self ['owl:TransitiveProperty']
native ['owl:TransitiveProperty']

LinkML Specification

Direct

name: TransitiveProperty
comments:
- The class of transitive properties.
from_schema: http://www.w3.org/2002/07/owl
rank: 1000
is_a: ObjectProperty
class_uri: owl:TransitiveProperty

Induced

name: TransitiveProperty
comments:
- The class of transitive properties.
from_schema: http://www.w3.org/2002/07/owl
rank: 1000
is_a: ObjectProperty
attributes:
  inverseOf:
    name: inverseOf
    comments:
    - The property that determines that two given properties are inverse.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:inverseOf
    multivalued: true
    alias: inverseOf
    owner: TransitiveProperty
    domain_of:
    - ObjectProperty
    range: ObjectProperty
  propertyChainAxiom:
    name: propertyChainAxiom
    comments:
    - The property that determines the n-tuple of properties that build a sub property
      chain of a given property.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:propertyChainAxiom
    multivalued: true
    alias: propertyChainAxiom
    owner: TransitiveProperty
    domain_of:
    - ObjectProperty
    range: List
  equivalentProperty:
    name: equivalentProperty
    comments:
    - The property that determines that two given properties are equivalent.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:equivalentProperty
    multivalued: true
    alias: equivalentProperty
    owner: TransitiveProperty
    domain_of:
    - Property
    range: Property
  propertyDisjointWith:
    name: propertyDisjointWith
    comments:
    - The property that determines that two given properties are disjoint.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:propertyDisjointWith
    multivalued: true
    alias: propertyDisjointWith
    owner: TransitiveProperty
    domain_of:
    - Property
    range: Property
class_uri: owl:TransitiveProperty