Class: DefinedObjectPropertyByDomain

An ObjectProperty that is defined by a parent property and a domain

Comment: hidden GCI analogs not supported (i.e. adding a more specific domain that is used for classification)

URI: rometa:DefinedObjectPropertyByDomain

Inheritance

NamedThing
- Property
  - ObjectProperty
    - DefinedObjectProperty
      - DefinedObjectPropertyByDomain

Slots

Name	Range	Cardinality	Description	OWL
genus	ObjectProperty	0..1	The part of the logical definition that indicates the parent that is being specialized
inverse_of	ObjectProperty	0..1	connects an ObjectProperty to its inverse
symmetric	boolean	0..1	boolean form of the OWL SymmetricProperty characteristic
transitive	boolean	0..1	boolean form of the OWL TransitiveProperty characteristic
reflexive	boolean	0..1	boolean form of the OWL ReflexiveProperty characteristic
locally_reflexive	boolean	0..1	If s is locally_reflexive, then i.s=i for all instances i where s if a class slot for the type of i
has_transitive_form	ObjectProperty	0..1	connects an ObjectProperty to its transitive form
subproperty_of_pairwise_chain	PairwisePropertyChain	0..*	connects an ObjectProperty to a chain that entails the Objectproperty
subproperty_of	ObjectProperty	0..*	the parent relation
domain	Class	0..1	The kinds of entity that can be the subject of the object property
range	Class	0..1	The kinds of entity that can be the object of the object property
id	uriorcurie	0..1	None
label	label_type	0..1	None	AnnotationProperty, AnnotationAssertion
definition	narrative_text	0..1	None
in_subset	Subset	0..*	Maps an ontology element to a subset it belongs to
exact_match	NamedThing	0..*	None	AnnotationProperty, AnnotationAssertion
conforms_to	uriorcurie	0..1	None

OWL Interpretation

genus

inverse_of

Slot URI: owl:inverseOf

symmetric

OWL interpretation: boolean form of owl:SymmetricProperty

transitive

OWL interpretation: boolean form of owl:TransitiveProperty

reflexive

OWL interpretation: boolean form of owl:ReflexiveProperty

locally_reflexive

has_transitive_form

Slot URI: owl:inverseOf

subproperty_of_pairwise_chain

subproperty_of

Slot URI: rdfs:subPropertyOf

domain

Slot URI: rdfs:domain

range

Slot URI: rdfs:range

id

OWL interpretation: this is the main IRI of the entity that instantiates the template

label

Slot URI: rdfs:label
OWL interpretation: AnnotationProperty, AnnotationAssertion

definition

Slot URI: IAO:0000115

in_subset

Slot URI: OIO:inSubset

exact_match

Slot URI: skos:exactMatch
OWL interpretation: AnnotationProperty, AnnotationAssertion

conforms_to

Slot URI: dcterms:conformsTo

Usages

Identifier and Mapping Information

Annotations

property	value

| swrl | {{genus}}(?s, ?o), {{domain}}(?s) -> {{id}}(?s, ?o) |

LinkML Specification

Direct

name: DefinedObjectPropertyByDomain
annotations:
  swrl:
    tag: swrl
    value: '{{genus}}(?s, ?o), {{domain}}(?s) -> {{id}}(?s, ?o)'
description: An ObjectProperty that is defined by a parent property and a domain
todos:
- rolification
comments:
- hidden GCI analogs not supported (i.e. adding a more specific domain that is used
  for classification)
from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
see_also:
- https://oborel.github.io/obo-relations/domain-or-range-specific-relation/
is_a: DefinedObjectProperty
slot_usage:
  definition:
    name: definition
    string_serialization: A {genus} that holds between a {domain} and something

Induced

name: DefinedObjectPropertyByDomain
annotations:
  swrl:
    tag: swrl
    value: '{{genus}}(?s, ?o), {{domain}}(?s) -> {{id}}(?s, ?o)'
description: An ObjectProperty that is defined by a parent property and a domain
todos:
- rolification
comments:
- hidden GCI analogs not supported (i.e. adding a more specific domain that is used
  for classification)
from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
see_also:
- https://oborel.github.io/obo-relations/domain-or-range-specific-relation/
is_a: DefinedObjectProperty
slot_usage:
  definition:
    name: definition
    string_serialization: A {genus} that holds between a {domain} and something
attributes:
  genus:
    name: genus
    description: The part of the logical definition that indicates the parent that
      is being specialized
    notes:
    - in RO we are typically refining an ObjectProperty, so the range is typically
      an ObjectProperty, but not always
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    is_a: is_child_of
    domain: NamedThing
    multivalued: false
    alias: genus
    owner: DefinedObjectPropertyByDomain
    range: ObjectProperty
  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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    range: PairwisePropertyChain
  subproperty_of:
    name: subproperty_of
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    range: Class
  id:
    name: id
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    identifier: true
    alias: id
    owner: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    range: label type
  definition:
    name: definition
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    string_serialization: A {genus} that holds between a {domain} and something
    domain: NamedThing
    slot_uri: IAO:0000115
    alias: definition
    owner: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    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: DefinedObjectPropertyByDomain
    range: uriorcurie