Presentation at the "Ontology Summit 2021 – Advantages of Formal Definitions" session. This presentation outlines a practical proposal to systematize and harmonize definitions in ontologies. The methodology can be applied both to textual and logical definitions to accelerate their creation. It may also be used for definition checking, quality control of ontologies, and automatic generation of definitions and axioms.
Period
17 Mar 2021
Event title
Ontology Summit 2021: Ontology Generation and Harmonization: Advantages of Formal Definitions