semi-formal natural language definition
IRI: https://spec.industrialontologies.org/ontology/annotation/semiFormalNaturalLanguageDefinition
Defined In: https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/
Type: Annotation Property
SubProperty Of: logic definition
Definition
logic definition that expresses a first order logic definition or common logic definition in natural language
Usage Notes
This annotation is required if an element in an IOF OWL ontology has a First Order Logic definition or in a IOF Common Logic (where the element is defined using Common Logic).
- The intent of this annotation to provide a transition or bridge from the First Order Logic definition of a notion to the natural language definition. This definition is intended to help a user understand the intended interpretation of the notion.
- As example using the First Order Logic definition of ‘Product’ above, a semi-formal translation of that might be:
- Product =def. Continuant that is not a Person and not an Organization and not a Specifically Dependent Continuant and there is a Product Role that the thing has or bears.
Description Logic
SubPropertyOf: av:logicDefinition