logic axiom

IRI: https://spec.industrialontologies.org/ontology/annotation/logicAxiom

Defined In: https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/

Type: Annotation Property

SubProperty Of: note

Definition

logical statements constraining the interpretation of the notion represented by the construct that do not provide necessary and sufficient conditions

Explanatory Notes

This annotation property is an abstraction of the more specialized logic axiom annotations used in IOF. However, this annotation property can also be used to group together the logic axiom annotation values of different forms (such as FOL and natural language) that express the same meaning for a particular construct.

Usage Notes

A first order logic axiom expression and a semi-formal natural language axiom expression should be added as Property values for each logic axiom annotation using 1 of each of the corresponding logic axiom annotation subproperties.

Description Logic

av:logicAxiom ⊑ _:note

SubPropertyOf: _:note