Class: LogicalDefinitionAxiom

An axiom that defines a class in terms of a genus or set of genus classes and a set of differentia

classDiagram class LogicalDefinitionAxiom Axiom <|-- LogicalDefinitionAxiom LogicalDefinitionAxiom : definedClassId LogicalDefinitionAxiom --> None : definedClassId LogicalDefinitionAxiom : genusIds LogicalDefinitionAxiom --> None : genusIds LogicalDefinitionAxiom : meta LogicalDefinitionAxiom --> Meta : meta LogicalDefinitionAxiom : restrictions LogicalDefinitionAxiom --> ExistentialRestrictionExpression : restrictions

Inheritance

Axiom
- LogicalDefinitionAxiom

Slots

Name	Cardinality and Range	Description	Inheritance
definedClassId	1..1 String	The class that is defined by this axiom	direct
genusIds	0..* recommended String	The set of classes that are the genus of the defined class	direct
restrictions	0..* recommended ExistentialRestrictionExpression	The set of restrictions that are the differentiating features of the defined …	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	logicalDefinitionAxioms	range	LogicalDefinitionAxiom

Aliases

genus differentia definition

Identifier and Mapping Information

Annotations

property	value
owl.fstring	EquivalentClasses({definedClassId} ObjectIntersectionOf({genusIds} {restrictions}))

Schema Source

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

Mappings

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

LinkML Source

Direct

```yaml name: LogicalDefinitionAxiom annotations: owl.fstring: tag: owl.fstring value: EquivalentClasses({definedClassId} ObjectIntersectionOf({genusIds} {restrictions})) description: An axiom that defines a class in terms of a genus or set of genus classes and a set of differentia from_schema: https://github.com/geneontology/obographs aliases: - genus differentia definition is_a: Axiom attributes: definedClassId: name: definedClassId description: The class that is defined by this axiom from_schema: https://github.com/geneontology/obographs rank: 1000 domain_of: - LogicalDefinitionAxiom required: true genusIds: name: genusIds description: The set of classes that are the genus of the defined class comments: - typically, this will be a single class from_schema: https://github.com/geneontology/obographs see_also: - https://github.com/geneontology/obographs/issues/89 rank: 1000 multivalued: true domain_of: - LogicalDefinitionAxiom recommended: true restrictions: name: restrictions description: The set of restrictions that are the differentiating features of the defined class comments: - typically this will always be present. from_schema: https://github.com/geneontology/obographs see_also: - https://github.com/geneontology/obographs/issues/89 aliases: - differentia rank: 1000 slot_uri: owl:someValuesFrom multivalued: true domain_of: - LogicalDefinitionAxiom range: ExistentialRestrictionExpression recommended: true

</details>

### Induced

<details>
```yaml
name: LogicalDefinitionAxiom
annotations:
  owl.fstring:
    tag: owl.fstring
    value: EquivalentClasses({definedClassId} ObjectIntersectionOf({genusIds} {restrictions}))
description: An axiom that defines a class in terms of a genus or set of genus classes
  and a set of differentia
from_schema: https://github.com/geneontology/obographs
aliases:
- genus differentia definition
is_a: Axiom
attributes:
  definedClassId:
    name: definedClassId
    description: The class that is defined by this axiom
    from_schema: https://github.com/geneontology/obographs
    rank: 1000
    alias: definedClassId
    owner: LogicalDefinitionAxiom
    domain_of:
    - LogicalDefinitionAxiom
    required: true
  genusIds:
    name: genusIds
    description: The set of classes that are the genus of the defined class
    comments:
    - typically, this will be a single class
    from_schema: https://github.com/geneontology/obographs
    see_also:
    - https://github.com/geneontology/obographs/issues/89
    rank: 1000
    multivalued: true
    alias: genusIds
    owner: LogicalDefinitionAxiom
    domain_of:
    - LogicalDefinitionAxiom
    recommended: true
  restrictions:
    name: restrictions
    description: The set of restrictions that are the differentiating features of
      the defined class
    comments:
    - typically this will always be present.
    from_schema: https://github.com/geneontology/obographs
    see_also:
    - https://github.com/geneontology/obographs/issues/89
    aliases:
    - differentia
    rank: 1000
    slot_uri: owl:someValuesFrom
    multivalued: true
    alias: restrictions
    owner: LogicalDefinitionAxiom
    domain_of:
    - LogicalDefinitionAxiom
    range: ExistentialRestrictionExpression
    recommended: 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: LogicalDefinitionAxiom
    domain_of:
    - GraphDocument
    - Graph
    - Node
    - Edge
    - PropertyValue
    - Axiom
    range: Meta