Skip to content

Class: InverseFunctionalProperty

URI: owl:InverseFunctionalProperty

classDiagram ObjectProperty <|-- InverseFunctionalProperty InverseFunctionalProperty : equivalentProperty InverseFunctionalProperty : inverseOf InverseFunctionalProperty : propertyChainAxiom InverseFunctionalProperty : 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 inverse-functional properties.

Identifier and Mapping Information

Schema Source

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

Mappings

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

LinkML Specification

Direct

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

Induced

name: InverseFunctionalProperty
comments:
- The class of inverse-functional 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: InverseFunctionalProperty
    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: InverseFunctionalProperty
    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: InverseFunctionalProperty
    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: InverseFunctionalProperty
    domain_of:
    - Property
    range: Property
class_uri: owl:InverseFunctionalProperty