Category Archives: Definitions in Ontologies workshops

Textual and logical definitions in ontologies

Selja Seppälä, Yonatan Schreiber and Alan Ruttenberg, Textual and logical definitions in ontologies, in Proceedings of The First International Workshop on Drug Interaction Knowledge Management (DIKR 2014), The Second International Workshop on Definitions in Ontologies (IWOOD 2014), and The Starting an OBI-based Biobank Ontology Workshop (OBIB 2014), CEUR Workshop Proceedings, Vol-1309, Houston, TX, USA, October 6-7, pp. 35-41.

PDF | slides | http://ceur-ws.org/Vol-1309 ]

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.

IWOOD 2014 (ex-DO 2014) – Program online

The program of the Second International Workshop on Definitions in Ontologies (IWOOD 2014) is now online:
https://sites.google.com/site/definitionsinontologies/program

IWOOD 2014 (ex-DO 2014) – Extended deadline: August 15, 2014

Second International Workshop on Definitions in Ontologies (IWOOD 2014, ex-DO 2014)
Held in conjunction with the 5th International Conference on Biomedical Ontologies (ICBO 2014)

October 6-7, 2014
Houston, USA

EXTENDED paper submission deadline: July 25, 2014 August 15, 2014

CHECK THE CALL FOR PAPERS

Website: https://sites.google.com/site/definitionsinontologies/

DO 2014 – Extended deadline: July 25, 2014

Second International Workshop on Definitions in Ontologies (DO 2014)
Held in conjunction with the 5th International Conference on Biomedical Ontologies (ICBO 2014)

October 6-7, 2014
Houston, USA

EXTENDED paper submission deadline: July 15, 2014 July 25, 2014

CHECK THE CALL FOR PAPERS

Website: https://sites.google.com/site/definitionsinontologies/

DO 2014 – Call for papers

Second International Workshop on Definitions in Ontologies (DO 2014)

Held in conjunction with the 5th International Conference on Biomedical Ontologies (ICBO 2014)

October 6-7, 2014
Houston, USA
THE CALL FOR PAPERS IS OUT NOW
Paper submission deadline: July 15, 2014

Survey on Defining Practices in Ontologies: Report

Selja Seppälä and Alan Ruttenberg, “Survey on Defining Practices in Ontologies: Report”, July 2013. (http://definitionsinontologies.weebly.com/survey-report.html)

[ PDF ]

DO 2013 Program

The program of the Definitions in Ontologies workshop is now online: http://definitionsinontologies.weebly.com/do-2013-program.html.