logical macro assertion
Definition
An assertion that involves at least one OWL object that is intended to be expanded into one or more logical axioms. The logical expansion can yield axioms expressed using any formal logical system, including, but not limited to OWL2-DL.
Reference
-
OBO Foundry 2024 Relation Ontology. Open Biological and Biomedical Ontology Foundry. [2025-2-7] obofoundry.org
Creator: Michael Rubinigg
Properties
Label
logical macro assertion
EUPH Code (UID)
[882]
EUPH IRI
http://purl.obolibrary.org/obo/RO_0002416
Created
2023-01-23
Updated
2025-03-13
Relationships
Descriptor
n/a
Subclass of:
Superclass of:
Contributors
Class
Author: Michael Rubinigg
Definition
Author: Michael Rubinigg
Translation
Authors: Michael Rubinigg
Class translations
|
|
|||||
|---|---|---|---|---|---|
|
|
English
|
logical macro assertion
Phrase |
Michael Rubinigg
|
Approved
|
|