...
The axiom is represented in an axiom card , showing 2 sections, Supertypes section and Attributes section. The attributes section contains both, grouped and ungrouped attributes.
...
- Definitions (in light blue).
- GCI - General Concept Inclusion- (in green).
- Inactive axioms (in pink), including inactivated definitions and inactivated GCI axiomsGCIs.
Within the Definitions collection, equivalent type axioms definitions will be shown at the top.
...
- Concept [concept ID] is a subclass of this expression. (for subclass type definition axioms).
- Concept [concept ID] is a equivalent to this expression. (for equivalent equivalent type definition axioms).
- This GCI expression is a subclass of concept [concept ID] (for GCI axioms associated with the concept).
- An inactivated axiom will preserve the information it had when it was inactivated.
...
Each axiom has an Info button that shows the following datametadata:
...
Editing axioms
| Info |
|---|
You can add axioms to any concept. You can edit or delete unpublished axioms that belong to the project's module. You can inactivate (and reactivate) published axioms that belong to the project's module. You cannot edit or inactivate axioms which don't belong to the project's module. |
...
The axioms edition mode shows the following buttons on the top:
Add Definition: This button will add a new (blank) definition axiom card at the top of the Definitions collection
Add GCI: This button will add a new (blank) GCI axiom card at the top of the GCIs collection
Save changes: This button is enabled if there is some change and will save any change made to any axiom
Cancel: This button is enabled if there is some change and will cancel any change made to any axiom
Close: This button will close the axioms edition mode
...
7. Attribute-target relationships can be deleted, changed, refined, grouped or ungrouped from the pencil button at the right
...
Note that any concept must have a definition axiom (either equivalent or subclass of type).
...
Adding a GCI axiom
- In the axioms tab click on Edit button. The axioms tab will be open in edition mode.
- Click on Add GCI button. The Definitions collection will collapse and a new (blank) GCI card will be added at the top of the GCIs collection.
...
A concept can have no associated GCIs.
...
Reactivate axioms (
...
Definition or GCI)
- Click on the Top Arrow
icon to reactivate an axiom.
- You must save changes when finished.
...