Class: Axiom

A logical or non-logical statement

URI: owl:Axiom

classDiagram class Axiom click Axiom href "../Axiom" Axiom : annotatedProperty Axiom --> "0..1" AnnotationProperty : annotatedProperty click AnnotationProperty href "../AnnotationProperty" Axiom : annotatedSource Axiom --> "0..1" NamedObject : annotatedSource click NamedObject href "../NamedObject" Axiom : annotatedTarget Axiom --> "0..1" Any : annotatedTarget click Any href "../Any" Axiom : annotations Axiom --> "*" Annotation : annotations click Annotation href "../Annotation" Axiom : comment Axiom : created_by Axiom : database_cross_reference Axiom : date_retrieved Axiom : evidence Axiom : external_ontology Axiom : has_axiom_label Axiom --> "0..1" Thing : has_axiom_label click Thing href "../Thing" Axiom : has_exact_synonym Axiom : has_synonym_type Axiom --> "*" AnnotationProperty : has_synonym_type click AnnotationProperty href "../AnnotationProperty" 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 click Thing href "../Thing" 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

*
Annotation

direct

source

*
String

direct

is_inferred

0..1
Boolean

direct

notes

*
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

*
String

direct

database_cross_reference

*
CURIELiteral

Uses to indicate the source of an axiom

direct

has_exact_synonym

*
LabelType

direct

has_synonym_type

*
AnnotationProperty

direct

comment

*
String

direct

label

0..1
LabelType

direct

seeAlso

*
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 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
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
    alias: annotations
    owner: Axiom
    domain_of:
    - Axiom
    range: Annotation
    multivalued: true
  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
    alias: source
    owner: Axiom
    domain_of:
    - Ontology
    - Axiom
    range: string
    multivalued: true
  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
    alias: notes
    owner: Axiom
    domain_of:
    - Axiom
    range: string
    multivalued: true
  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
    alias: external_ontology
    owner: Axiom
    domain_of:
    - Axiom
    range: string
    multivalued: true
  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
    alias: database_cross_reference
    owner: Axiom
    domain_of:
    - HasMappings
    - Axiom
    range: CURIELiteral
    multivalued: true
  has_exact_synonym:
    name: has_exact_synonym
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    is_a: synonym
    slot_uri: oio:hasExactSynonym
    alias: has_exact_synonym
    owner: Axiom
    domain_of:
    - HasSynonyms
    - Axiom
    disjoint_with:
    - label
    range: label type
    multivalued: true
  has_synonym_type:
    name: has_synonym_type
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: oio:hasSynonymType
    alias: has_synonym_type
    owner: Axiom
    domain_of:
    - Axiom
    range: AnnotationProperty
    multivalued: true
  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
    alias: comment
    owner: Axiom
    domain_of:
    - HasUserInformation
    - Ontology
    - Axiom
    range: string
    multivalued: true
  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
    alias: label
    owner: Axiom
    domain_of:
    - HasMinimalMetadata
    - Axiom
    range: label type
    multivalued: false
  seeAlso:
    name: seeAlso
    todos:
    - restrict range
    from_schema: https://w3id.org/oak/ontology-metadata
    rank: 1000
    slot_uri: rdfs:seeAlso
    alias: seeAlso
    owner: Axiom
    domain_of:
    - HasUserInformation
    - Axiom
    range: Thing
    multivalued: true
class_uri: owl:Axiom
represents_relationship: true