← IOF Portal (all versions)

Changes in 🟢 Annotation Vocabulary (AV)

Maturity: 🟢 Released

Changed

Annotation Properties

`counterExample`

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

Annotations

usageNote = “Use of this annotation is optional, but recommended if it will help a user understand the intended interpretation(s).
- This annotation should use at most twice with/on a notion.
- Additional examples or more elaborate examples should be placed in the External Documentation (using rdfs:seeAlso).”

usageNote = “Use of this annotation is optional, but recommended if it will help a user understand the intended interpretation(s).
- This annotation should be used at most twice with/on a notion.
- Additional examples or more elaborate examples should be placed in the External Documentation (using rdfs:seeAlso).”

`firstOrderLogicDefinition`

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

Annotations

usageNote = “The First Order Logic Definition annotation is comprised of the (complete) necessary and sufficient conditions.
- This annotation is Required for each non-primitive (aka non-axiomatic) class (i.e. unary relation) of a published IOF OWL ontology. This is the most authoritative and comprehensive definition of an IOF element.
- IOF Common Logic ontologies do not require this annotation, but if included it must be logically equivalent to the Common Logic definition.
- A primitive (aka axiomatic) term will not have a First Order Logic definition in either an OWL or Common Logic IOF ontology.
- There should be at most one First Order Logic definition.
- The specific symbols to be used for existential and universal quantification along with those for conjunction, disjunction, negation, conditional (i.e. if-then), and equivalence will be those commonly used in the mathematical formulas and statement.
- Conjunction - ∧; Disjunction - ∨; Negation - ¬; Existential Quantification - ∃; Universal Quantification - ∀; Conditional - →; Equivalence - ↔; Left/Right Parentheses - (,); Left/Right Brackets - {,}.”@en-US

usageNote = “The First Order Logic Definition annotation is comprised of the (complete) necessary and sufficient conditions.
- This annotation is Required for each non-primitive (aka non-axiomatic) class (i.e. unary relation) of a published IOF OWL ontology. This is the most authoritative and comprehensive definition of an IOF element.
- IOF Common Logic ontologies do not require this annotation, but if included it must be logically equivalent to the Common Logic definition.
- A primitive (aka axiomatic) term will not have a First Order Logic definition in either an OWL or Common Logic IOF ontology.
- There should be at most one First Order Logic definition.
- The specific symbols to be used for existential and universal quantification along with those for conjunction, disjunction, negation, conditional (i.e. if-then), and equivalence will be those commonly used in the mathematical formulas and statements.
- Conjunction - ∧; Disjunction - ∨; Negation - ¬; Existential Quantification - ∃; Universal Quantification - ∀; Conditional - →; Equivalence - ↔; Left/Right Parentheses - (,); Left/Right Brackets - {,}.”@en-US

`naturalLanguageDefinition`

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

Annotations

usageNote = “This annotation is Required for each non-primitive or non-axiomatic class of an IOF (OWL or Common Logic) ontology.
- It is optional for primitive (aka axiomatic) classes since such the Elucidation annotation is required and will satisfy the role of a natural language definition.
- It is optional, but recommended, for relations when the intent of a relation may be misunderstood.
- There should be at most one.
- This natural language definition should be subject matter expert friendly and consistent with any formal definition or elucidation.
- Natural language definitions should use class and relation names with following caveats: a) Relations – For those relations whose label (i.e. local identifier) consist of multiple terms hyphenate the terms of the label: e.g. ‘hasPlan’ would be written as ‘has-plan’ b) Classes – For classes whose label has multiple distinct terms, e.g, ManufacturingOperationSpecification, separate the terms but bound them with apostrophe marks: ‘Manufacturing Operation Specification’.”@en-US

usageNote = “This annotation is Required for each non-primitive or non-axiomatic class of an IOF (OWL or Common Logic) ontology.
- It is optional for primitive (aka axiomatic) classes since for such classes the Elucidation annotation is required and will satisfy the role of a natural language definition.
- It is optional, but recommended, for relations when the intent of a relation may be misunderstood.
- There should be at most one.
- This natural language definition should be subject matter expert friendly and consistent with any formal definition or elucidation.
- Natural language definitions should use class and relation names with following caveats: a) Relations – For those relations whose label (i.e. local identifier) consist of multiple terms hyphenate the terms of the label: e.g. ‘hasPlan’ would be written as ‘has-plan’ b) Classes – For classes whose label has multiple distinct terms, e.g, ManufacturingOperationSpecification, separate the terms but bound them with apostrophe marks: ‘Manufacturing Operation Specification’.”@en-US

`semiFormalNaturalLanguageDefinition`

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

Annotations

usageNote = “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.”@en-US

usageNote = “This annotation is required if an element in an IOF OWL ontology has a First Order Logic definition or in an IOF Common Logic ontology (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.”@en-US

`symbol`

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

Annotations

definition = “abbreviation that is a design, mark, or charaters(s) used conventionally to represent something, such as currency, quantity, or variable in an expression”@en-US

definition = “abbreviation that is a design, mark, or character(s) used conventionally to represent something, such as currency, quantity, or variable in an expression”@en-US