Class: ObjectProperty

name: ObjectProperty
annotations:
  owl:
    tag: owl
    value: ObjectProperty
  owl.template:
    tag: owl.template
    value: "{% if inverse_of and not inverse_of.definition %}\nAnnotationAssertion(\
      \ IAO:00000115 {{inverse_of.id}} \"Inverse of {{id}} {{label}}\")\n{% endif\
      \ %}\n{% for chain in subproperty_of_pairwise_chain %}\n    SubObjectPropertyOf(\n\
      \       ObjectPropertyChain({{chain.first_member}}\n                       \
      \    {{chain.last_member}})\n       {{id}})\n{% endfor %}"
description: Instances of this are OWL ObjectProperties
from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
is_a: Property
slots:
- inverse_of
- symmetric
- transitive
- reflexive
- locally_reflexive
- has_transitive_form
- subproperty_of_pairwise_chain
slot_usage:
  genus:
    name: genus
    range: ObjectProperty
  subproperty_of:
    name: subproperty_of
    annotations:
      owl:
        tag: owl
        value: SubObjectPropertyOf
    range: ObjectProperty
class_uri: owl:ObjectProperty
rules:
- preconditions:
    slot_conditions:
      inverse_of:
        name: inverse_of
        range: ObjectProperty
  postconditions:
    slot_conditions:
      symmetric:
        name: symmetric
        equals_expression: 'False'
  description: inverses should not be declared for symmetric properties

name: ObjectProperty
annotations:
  owl:
    tag: owl
    value: ObjectProperty
  owl.template:
    tag: owl.template
    value: "{% if inverse_of and not inverse_of.definition %}\nAnnotationAssertion(\
      \ IAO:00000115 {{inverse_of.id}} \"Inverse of {{id}} {{label}}\")\n{% endif\
      \ %}\n{% for chain in subproperty_of_pairwise_chain %}\n    SubObjectPropertyOf(\n\
      \       ObjectPropertyChain({{chain.first_member}}\n                       \
      \    {{chain.last_member}})\n       {{id}})\n{% endfor %}"
description: Instances of this are OWL ObjectProperties
from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
is_a: Property
slot_usage:
  genus:
    name: genus
    range: ObjectProperty
  subproperty_of:
    name: subproperty_of
    annotations:
      owl:
        tag: owl
        value: SubObjectPropertyOf
    range: ObjectProperty
attributes:
  inverse_of:
    name: inverse_of
    description: connects an ObjectProperty to its inverse
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: ObjectProperty
    slot_uri: owl:inverseOf
    inlined: true
    alias: inverse_of
    owner: ObjectProperty
    range: ObjectProperty
  symmetric:
    name: symmetric
    close_mappings:
    - owl:SymmetricProperty
    annotations:
      boolean_form_of:
        tag: boolean_form_of
        value: owl:SymmetricProperty
    description: boolean form of the OWL SymmetricProperty characteristic
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: relational_logical_characteristic
    domain: ObjectProperty
    alias: symmetric
    owner: ObjectProperty
    range: boolean
  transitive:
    name: transitive
    close_mappings:
    - owl:TransitiveProperty
    annotations:
      boolean_form_of:
        tag: boolean_form_of
        value: owl:TransitiveProperty
    description: boolean form of the OWL TransitiveProperty characteristic
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: relational_logical_characteristic
    domain: ObjectProperty
    alias: transitive
    owner: ObjectProperty
    range: boolean
  reflexive:
    name: reflexive
    close_mappings:
    - owl:ReflexiveProperty
    annotations:
      boolean_form_of:
        tag: boolean_form_of
        value: owl:ReflexiveProperty
    description: boolean form of the OWL ReflexiveProperty characteristic
    comments:
    - it is rare for a property to be reflexive, this characteristic is added for
      completeness, consider instead locally_reflexive
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: relational_logical_characteristic
    domain: ObjectProperty
    alias: reflexive
    owner: ObjectProperty
    range: boolean
  locally_reflexive:
    name: locally_reflexive
    description: If s is locally_reflexive, then i.s=i for all instances i where s
      if a class slot for the type of i
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: relational_logical_characteristic
    domain: ObjectProperty
    alias: locally_reflexive
    owner: ObjectProperty
    range: boolean
  has_transitive_form:
    name: has_transitive_form
    description: connects an ObjectProperty to its transitive form
    examples:
    - value: genealogical ancestor of
      description: genealogical ancestor of is the transitive form of genealogical
        parent of
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: ObjectProperty
    slot_uri: owl:inverseOf
    inlined: true
    alias: has_transitive_form
    owner: ObjectProperty
    range: ObjectProperty
  subproperty_of_pairwise_chain:
    name: subproperty_of_pairwise_chain
    description: connects an ObjectProperty to a chain that entails the Objectproperty
    comments:
    - some metaclasses may choose to use this more strictly to include equivalence
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: subproperty_of
    domain: ObjectProperty
    multivalued: true
    alias: subproperty_of_pairwise_chain
    owner: ObjectProperty
    range: PairwisePropertyChain
  subproperty_of:
    name: subproperty_of
    annotations:
      owl:
        tag: owl
        value: SubObjectPropertyOf
    description: the parent relation
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: is_child_of
    domain: Property
    slot_uri: rdfs:subPropertyOf
    multivalued: true
    alias: subproperty_of
    owner: ObjectProperty
    range: ObjectProperty
  domain:
    name: domain
    description: The kinds of entity that can be the subject of the object property
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: Property
    slot_uri: rdfs:domain
    multivalued: false
    alias: domain
    owner: ObjectProperty
    range: Class
  range:
    name: range
    description: The kinds of entity that can be the object of the object property
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: Property
    slot_uri: rdfs:range
    multivalued: false
    alias: range
    owner: ObjectProperty
    range: Class
  genus:
    name: genus
    description: The part of the logical definition that indicates the parent that
      is being specialized
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: is_child_of
    domain: NamedThing
    multivalued: false
    alias: genus
    owner: ObjectProperty
    range: ObjectProperty
  id:
    name: id
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    identifier: true
    alias: id
    owner: ObjectProperty
    range: uriorcurie
  label:
    name: label
    exact_mappings:
    - skos:prefLabel
    annotations:
      owl:
        tag: owl
        value: AnnotationProperty, AnnotationAssertion
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    slot_uri: rdfs:label
    alias: label
    owner: ObjectProperty
    range: label type
  definition:
    name: definition
    exact_mappings:
    - skos:definition
    annotations:
      owl:
        tag: owl
        value: AnnotationProperty, AnnotationAssertion
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    slot_uri: IAO:0000115
    alias: definition
    owner: ObjectProperty
    range: narrative text
  in_subset:
    name: in_subset
    description: Maps an ontology element to a subset it belongs to
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    slot_uri: OIO:inSubset
    multivalued: true
    alias: in_subset
    owner: ObjectProperty
    range: Subset
  exact_match:
    name: exact_match
    annotations:
      owl:
        tag: owl
        value: AnnotationProperty, AnnotationAssertion
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    slot_uri: skos:exactMatch
    multivalued: true
    alias: exact_match
    owner: ObjectProperty
    range: NamedThing
  conforms_to:
    name: conforms_to
    annotations:
      owl.fstring:
        tag: owl.fstring
        value: AnnotationAssertion( dcterms:conformsTo {id} rometa:{V} )
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    slot_uri: dcterms:conformsTo
    multivalued: false
    designates_type: true
    alias: conforms_to
    owner: ObjectProperty
    range: uriorcurie
class_uri: owl:ObjectProperty
rules:
- preconditions:
    slot_conditions:
      inverse_of:
        name: inverse_of
        range: ObjectProperty
  postconditions:
    slot_conditions:
      symmetric:
        name: symmetric
        equals_expression: 'False'
  description: inverses should not be declared for symmetric properties