Class: DomainRangeAxiom

This groups potentially multiple axioms that constrain the usage of a property depending on some combination of domain and range.

URI: obographs:DomainRangeAxiom

classDiagram class DomainRangeAxiom click DomainRangeAxiom href "../DomainRangeAxiom" Axiom <|-- DomainRangeAxiom click Axiom href "../Axiom" DomainRangeAxiom : allValuesFromEdges DomainRangeAxiom --> "*" Edge : allValuesFromEdges click Edge href "../Edge" DomainRangeAxiom : domainClassIds DomainRangeAxiom : meta DomainRangeAxiom --> "0..1" Meta : meta click Meta href "../Meta" DomainRangeAxiom : predicateId DomainRangeAxiom : rangeClassIds

Inheritance

• Axiom

  • DomainRangeAxiom

Slots

Name	Cardinality and Range	Description	Inheritance
predicateId	0..1 String		direct
domainClassIds	* String		direct
rangeClassIds	* String		direct
allValuesFromEdges	* Edge	A list of edges that represent subclasses of universal restrictions	direct
meta	0..1 Meta	A collection of metadata about either an ontology (graph), an entity, or an a…	Axiom

Usages

used by	used in	type	used
Graph	domainRangeAxioms	range	DomainRangeAxiom

Comments

• When converting from OWL, an OWL domain axiom may be translated to a DomainRangeAxiom with a domainClassIds, and no rangeClassIds. An OWL range axiom may be translated to a DomainRangeAxiom with a rangeClassIds, and no domainClassIds. But translations may merge these, but only when semantically valid.

Identifier and Mapping Information

Schema Source

• from schema: https://github.com/geneontology/obographs

Mappings

Mapping Type	Mapped Value
self	obographs:DomainRangeAxiom
native	obographs:DomainRangeAxiom

LinkML Source

Direct

```yaml name: DomainRangeAxiom description: This groups potentially multiple axioms that constrain the usage of a property depending on some combination of domain and range. comments: - When converting from OWL, an OWL domain axiom may be translated to a DomainRangeAxiom with a domainClassIds, and no rangeClassIds. An OWL range axiom may be translated to a DomainRangeAxiom with a rangeClassIds, and no domainClassIds. But translations may merge these, but only when semantically valid. from_schema: https://github.com/geneontology/obographs is_a: Axiom slots: - predicateId - domainClassIds - rangeClassIds - allValuesFromEdges

</details>

### Induced

<details>
```yaml
name: DomainRangeAxiom
description: This groups potentially multiple axioms that constrain the usage of a
  property depending on some combination of domain and range.
comments:
- When converting from OWL, an OWL domain axiom may be translated to a DomainRangeAxiom
  with a domainClassIds, and no rangeClassIds. An OWL range axiom may be translated
  to a DomainRangeAxiom with a rangeClassIds, and no domainClassIds. But translations
  may merge these, but only when semantically valid.
from_schema: https://github.com/geneontology/obographs
is_a: Axiom
attributes:
  predicateId:
    name: predicateId
    from_schema: https://github.com/geneontology/obographs
    rank: 1000
    alias: predicateId
    owner: DomainRangeAxiom
    domain_of:
    - DomainRangeAxiom
    - PropertyChainAxiom
    range: string
  domainClassIds:
    name: domainClassIds
    from_schema: https://github.com/geneontology/obographs
    rank: 1000
    alias: domainClassIds
    owner: DomainRangeAxiom
    domain_of:
    - DomainRangeAxiom
    range: string
    multivalued: true
  rangeClassIds:
    name: rangeClassIds
    from_schema: https://github.com/geneontology/obographs
    rank: 1000
    alias: rangeClassIds
    owner: DomainRangeAxiom
    domain_of:
    - DomainRangeAxiom
    range: string
    multivalued: true
  allValuesFromEdges:
    name: allValuesFromEdges
    description: A list of edges that represent subclasses of universal restrictions
    from_schema: https://github.com/geneontology/obographs
    rank: 1000
    alias: allValuesFromEdges
    owner: DomainRangeAxiom
    domain_of:
    - Graph
    - DomainRangeAxiom
    range: Edge
    multivalued: true
  meta:
    name: meta
    description: A collection of metadata about either an ontology (graph), an entity,
      or an axiom
    from_schema: https://github.com/geneontology/obographs
    aliases:
    - annotations
    rank: 1000
    alias: meta
    owner: DomainRangeAxiom
    domain_of:
    - GraphDocument
    - Graph
    - Node
    - Edge
    - PropertyValue
    - Axiom
    range: Meta