Abstract
We discuss the structure and functions of definitions and axioms in ontologies from the perspective of a terminologist and logician respectively. By working through a few examples of the correspondence between parts of the textual definitions and the axioms, we show how to compare and contrast each and how each perspective reveals areas for improvement. Having established a correspondence between the textual and logical parts of ontology term definitions, we discuss the possibility of developing tools that help developers improve their ontologies. Such tools could be used to check both the textual definitions against the asserted axioms and vice versa. In addition, we propose a few other ways of checking the contents of textual definitions.
| Original language | English |
|---|---|
| Pages (from-to) | 35-41 |
| Number of pages | 7 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1309 |
| Publication status | Published - 2014 |
| Externally published | Yes |
| Event | Joint ICBO-WS 2014 1st International Workshop on Drug Interaction Knowledge Management, DIKR 2014, the 2nd International Workshop on Definitions in Ontologies, IWOOD 2014, and the Starting an OBI-Based Biobank Ontology Workshop, OBIB 2014 - Co-located with the International Conference on Biomedical Ontologies, ICBO 2014 - Houston, United States Duration: 6 Oct 2014 → 9 Oct 2014 |
Keywords
- Checking definition contents
- Functions of definitions in ontologies
- Logical definitions
- Natural language definitions
- Ontologies
- OWL axioms
- Problems in definitions
- Recommendations for definitions in ontologies
- Terminology
- Textual definitions