Class: RolifiedObjectProperty

An ObjectProperty that has is used in OWL rolification

Inheritance

NamedThing
- Property
  - ObjectProperty
    - RolifiedObjectProperty

Slots

Name	Range	Cardinality	Description	OWL
rolification_of	Class	0..1	None
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
genus	ObjectProperty	0..1	The part of the logical definition that indicates the parent that is being specialized
id	uriorcurie	0..1	None
label	label_type	0..1	None	AnnotationProperty, AnnotationAssertion
definition	narrative_text	0..1	None	AnnotationProperty, AnnotationAssertion
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

Axiom Template for Class:

SubClassOf( {{rolification_of}} ObjectHasSelf( {{id}} ) )

rolification_of

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

genus

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
OWL interpretation: AnnotationProperty, AnnotationAssertion

in_subset

Slot URI: OIO:inSubset

exact_match

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

conforms_to

Slot URI: dcterms:conformsTo

Usages

used by	used in	type	used
ObjectPropertyDefinedByInteractionProcess	uses_rolified_property	range	RolifiedObjectProperty

Identifier and Mapping Information

Annotations

property	value

LinkML Specification

Direct

name: RolifiedObjectProperty
annotations:
  owl.template:
    tag: owl.template
    value: SubClassOf( {{rolification_of}} ObjectHasSelf( {{id}} ) )
description: An ObjectProperty that has is used in OWL rolification
from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
see_also:
- https://stackoverflow.com/questions/16989042/owl-2-rolification
is_a: ObjectProperty
attributes:
  rolification_of:
    name: rolification_of
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: ObjectProperty
    range: Class

Induced

name: RolifiedObjectProperty
annotations:
  owl.template:
    tag: owl.template
    value: SubClassOf( {{rolification_of}} ObjectHasSelf( {{id}} ) )
description: An ObjectProperty that has is used in OWL rolification
from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
see_also:
- https://stackoverflow.com/questions/16989042/owl-2-rolification
is_a: ObjectProperty
attributes:
  rolification_of:
    name: rolification_of
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: ObjectProperty
    alias: rolification_of
    owner: RolifiedObjectProperty
    range: Class
  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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    range: Class
  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: RolifiedObjectProperty
    range: ObjectProperty
  id:
    name: id
    from_schema: http://purl.obolibrary.org/obo/ro/ro-metamodel.yaml
    domain: NamedThing
    identifier: true
    alias: id
    owner: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    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: RolifiedObjectProperty
    range: uriorcurie