Class: Axiom

A logical or non-logical statement

URI: owl:Axiom

classDiagram class Axiom Axiom : annotatedProperty Axiom --> AnnotationProperty : annotatedProperty Axiom : annotatedSource Axiom --> NamedObject : annotatedSource Axiom : annotatedTarget Axiom --> Any : annotatedTarget Axiom : annotations Axiom --> Annotation : annotations Axiom : comment Axiom : created_by Axiom : database_cross_reference Axiom : date_retrieved Axiom : evidence Axiom : external_ontology Axiom : has_axiom_label Axiom --> Thing : has_axiom_label Axiom : has_exact_synonym Axiom : has_synonym_type Axiom --> AnnotationProperty : has_synonym_type Axiom : is_a_defining_property_chain_axiom Axiom : is_a_defining_property_chain_axiom_where_second_argument_is_reflexive Axiom : is_inferred Axiom : label Axiom : notes Axiom : seeAlso Axiom --> Thing : seeAlso Axiom : source Axiom : url

Slots

Name	Cardinality and Range	Description	Inheritance
annotatedProperty	0..1 AnnotationProperty		direct
annotatedSource	0..1 NamedObject		direct
annotatedTarget	0..1 Any		direct
annotations	0..* Annotation		direct
source	0..* String		direct
is_inferred	0..1 Boolean		direct
notes	0..* String		direct
url	0..1 String		direct
has_axiom_label	0..1 Thing		direct
is_a_defining_property_chain_axiom	0..1 String		direct
is_a_defining_property_chain_axiom_where_second_argument_is_reflexive	0..1 String		direct
created_by	0..1 String		direct
date_retrieved	0..1 String		direct
evidence	0..1 String		direct
external_ontology	0..* String		direct
database_cross_reference	0..* CURIELiteral	Uses to indicate the source of an axiom	direct
has_exact_synonym	0..* LabelType		direct
has_synonym_type	0..* AnnotationProperty		direct
comment	0..* String		direct
label	0..1 LabelType		direct
seeAlso	0..* Thing		direct

Identifier and Mapping Information

Schema Source

• from schema: https://w3id.org/oak/ontology-metadata

Mappings

Mapping Type	Mapped Value
self	owl:Axiom
native	omoschema:Axiom
exact	rdf:Statement

LinkML Source

Direct

```yaml name: Axiom description: A logical or non-logical statement from_schema: https://w3id.org/oak/ontology-metadata exact_mappings: - rdf:Statement slots: - annotatedProperty - annotatedSource - annotatedTarget - annotations - source - is_inferred - notes - url - has_axiom_label - is_a_defining_property_chain_axiom - is_a_defining_property_chain_axiom_where_second_argument_is_reflexive - created_by - date_retrieved - evidence - external_ontology - database_cross_reference - has_exact_synonym - has_synonym_type - comment - label - seeAlso slot_usage: database_cross_reference: name: database_cross_reference description: Uses to indicate the source of an axiom in_subset: - go permitted profile exact_mappings: - dcterms:source domain_of: - HasMappings - Axiom class_uri: owl:Axiom represents_relationship: true

</details>

### Induced

<details>
```yaml
name: Axiom
description: A logical or non-logical statement
from_schema: https://w3id.org/oak/ontology-metadata
exact_mappings:
- rdf:Statement
slot_usage:
  database_cross_reference:
    name: database_cross_reference
    description: Uses to indicate the source of an axiom
    in_subset:
    - go permitted profile
    exact_mappings:
    - dcterms:source
    domain_of:
    - HasMappings
    - Axiom
attributes:
  annotatedProperty:
    name: annotatedProperty
    from_schema: https://w3id.org/oak/ontology-metadata
    exact_mappings:
    - rdf:predicate
    rank: 1000
    is_a: reification_predicate
    slot_uri: owl:annotatedProperty
    alias: annotatedProperty
    owner: Axiom
    domain_of:
    - Axiom
    relational_role: PREDICATE
    range: AnnotationProperty
  annotatedSource:
    name: annotatedSource
    todos:
    - restrict range
    from_schema: https://w3id.org/oak/ontology-metadata
    exact_mappings:
    - rdf:subject
    rank: 1000
    is_a: reification_predicate
    slot_uri: owl:annotatedSource
    alias: annotatedSource
    owner: Axiom
    domain_of:
    - Axiom
    relational_role: SUBJECT
    range: NamedObject
  annotatedTarget:
    name: annotatedTarget
    todos:
    - restrict range
    from_schema: https://w3id.org/oak/ontology-metadata
    exact_mappings:
    - rdf:object
    rank: 1000
    is_a: reification_predicate
    slot_uri: owl:annotatedTarget
    alias: annotatedTarget
    owner: Axiom
    domain_of:
    - Axiom
    relational_role: OBJECT
    range: Any
  annotations:
    name: annotations
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    multivalued: true
    alias: annotations
    owner: Axiom
    domain_of:
    - Axiom
    range: Annotation
  source:
    name: source
    from_schema: https://w3id.org/oak/ontology-metadata
    exact_mappings:
    - http://purl.org/dc/terms/source
    - oio:source
    rank: 1000
    is_a: provenance_property
    slot_uri: dcterms:source
    multivalued: true
    alias: source
    owner: Axiom
    domain_of:
    - Ontology
    - Axiom
    range: string
  is_inferred:
    name: is_inferred
    deprecated: deprecated oboInOwl property
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:is_inferred
    alias: is_inferred
    owner: Axiom
    domain_of:
    - Axiom
    range: boolean
  notes:
    name: notes
    deprecated: deprecated oboInOwl property
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:notes
    multivalued: true
    alias: notes
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  url:
    name: url
    deprecated: deprecated oboInOwl property
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:url
    alias: url
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  has_axiom_label:
    name: has_axiom_label
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    is_a: provenance_property
    slot_uri: IAO:0010000
    alias: has_axiom_label
    owner: Axiom
    domain_of:
    - Axiom
    range: Thing
  is_a_defining_property_chain_axiom:
    name: is_a_defining_property_chain_axiom
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: RO:0002581
    alias: is_a_defining_property_chain_axiom
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  is_a_defining_property_chain_axiom_where_second_argument_is_reflexive:
    name: is_a_defining_property_chain_axiom_where_second_argument_is_reflexive
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: RO:0002582
    alias: is_a_defining_property_chain_axiom_where_second_argument_is_reflexive
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  created_by:
    name: created_by
    deprecated: proposed obsoleted by OMO group 2022-04-12
    from_schema: https://w3id.org/oak/ontology-metadata
    deprecated_element_has_exact_replacement: creator
    rank: 1000
    is_a: provenance_property
    slot_uri: oio:created_by
    alias: created_by
    owner: Axiom
    domain_of:
    - HasProvenance
    - Axiom
    range: string
  date_retrieved:
    name: date_retrieved
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    is_a: provenance_property
    slot_uri: oio:date_retrieved
    alias: date_retrieved
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  evidence:
    name: evidence
    deprecated: deprecated oboInOwl property
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:evidence
    alias: evidence
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  external_ontology:
    name: external_ontology
    deprecated: deprecated oboInOwl property
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:external_ontology
    multivalued: true
    alias: external_ontology
    owner: Axiom
    domain_of:
    - Axiom
    range: string
  database_cross_reference:
    name: database_cross_reference
    description: Uses to indicate the source of an axiom
    in_subset:
    - go permitted profile
    from_schema: https://w3id.org/oak/ontology-metadata
    exact_mappings:
    - dcterms:source
    rank: 1000
    is_a: match
    slot_uri: oio:hasDbXref
    multivalued: true
    alias: database_cross_reference
    owner: Axiom
    domain_of:
    - HasMappings
    - Axiom
    range: CURIELiteral
  has_exact_synonym:
    name: has_exact_synonym
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    is_a: synonym
    slot_uri: oio:hasExactSynonym
    multivalued: true
    alias: has_exact_synonym
    owner: Axiom
    domain_of:
    - HasSynonyms
    - Axiom
    disjoint_with:
    - label
    range: label type
  has_synonym_type:
    name: has_synonym_type
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:hasSynonymType
    multivalued: true
    alias: has_synonym_type
    owner: Axiom
    domain_of:
    - Axiom
    range: AnnotationProperty
  comment:
    name: comment
    comments:
    - in obo format, a term cannot have more than one comment
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    is_a: informative_property
    slot_uri: rdfs:comment
    multivalued: true
    alias: comment
    owner: Axiom
    domain_of:
    - HasUserInformation
    - Ontology
    - Axiom
    range: string
  label:
    name: label
    comments:
    - SHOULD follow OBO label guidelines
    - MUST be unique within an ontology
    - SHOULD be unique across OBO
    in_subset:
    - allotrope required profile
    - go required profile
    - obi required profile
    from_schema: https://w3id.org/oak/ontology-metadata
    exact_mappings:
    - skos:prefLabel
    rank: 1000
    is_a: core_property
    slot_uri: rdfs:label
    multivalued: false
    alias: label
    owner: Axiom
    domain_of:
    - HasMinimalMetadata
    - Axiom
    range: label type
  seeAlso:
    name: seeAlso
    todos:
    - restrict range
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: rdfs:seeAlso
    multivalued: true
    alias: seeAlso
    owner: Axiom
    domain_of:
    - HasUserInformation
    - Axiom
    range: Thing
class_uri: owl:Axiom
represents_relationship: true