A Textual Syntax and Toolset for Well-Founded Ontologies

Matheus L. Coutinho; João Paulo A. Almeida; Tiago Prince Sales; Giancarlo Guizzardi

doi:10.3233/FAIA241308

A Textual Syntax and Toolset for Well-Founded Ontologies

Matheus L. Coutinho^*
, João Paulo A. Almeida
, Tiago Prince Sales
, Giancarlo Guizzardi

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

67 Downloads (Pure)

Abstract

Diagrammatic and textual languages differ significantly with respect to the experience they offer to language users. While diagrammatic languages leverage visual variables to improve communication and problem solving, textual languages facilitate significantly a number of tasks including version control, model editing, model merging, parsing, etc. In this paper, we explore the design of a textual language for UFO-based ontologies, whose constructs mirror those of the OntoUML language. The language is supported by a rich VS Code-based editor, supporting (semantically-motivated) syntax verification, syntax highlight, autocomplete, and full integration into the OntoUML server ecosystem. A package manager is also offered to support ontology modularization and reuse, drawing inspiration from software package managers. Such functionality is currently not available to languages such as (Onto)UML and Semantic Web languages such as OWL.

Original language	English
Title of host publication	Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024
Editors	Cassia Trojahn, Daniele Porello, Pedro Paulo Favato Barcelos, Pedro Paulo Favato Barcelos
Publisher	IOS
Pages	208-222
Number of pages	15
ISBN (Electronic)	9781643685618
DOIs	https://doi.org/10.3233/FAIA241308
Publication status	Published - 2024
Event	14th International Conference on Formal Ontology in Information System, FOIS 2024 - University of Twente, Enschede, Netherlands Duration: 15 Jul 2024 → 19 Jul 2024 Conference number: 14 https://www.utwente.nl/en/eemcs/fois2024/

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press
Volume	394
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	14th International Conference on Formal Ontology in Information System, FOIS 2024
Abbreviated title	FOIS 2024
Country/Territory	Netherlands
City	Enschede
Period	15/07/24 → 19/07/24
Internet address	https://www.utwente.nl/en/eemcs/fois2024/

Keywords

Ontology Development
OntoUML
Textual Language
UFO

Access to Document

10.3233/FAIA241308Licence: CC BY-NC

FAIA-394-FAIA241308Final published version, 562 KBLicence: CC BY-NC

Cite this

Coutinho, M. L., Almeida, J. P. A., Sales, T. P., & Guizzardi, G. (2024). A Textual Syntax and Toolset for Well-Founded Ontologies. In C. Trojahn, D. Porello, P. P. F. Barcelos, & P. P. F. Barcelos (Eds.), Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024 (pp. 208-222). (Frontiers in Artificial Intelligence and Applications; Vol. 394). IOS. https://doi.org/10.3233/FAIA241308

Coutinho, Matheus L. ; Almeida, João Paulo A. ; Sales, Tiago Prince et al. / A Textual Syntax and Toolset for Well-Founded Ontologies. Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024. editor / Cassia Trojahn ; Daniele Porello ; Pedro Paulo Favato Barcelos ; Pedro Paulo Favato Barcelos. IOS, 2024. pp. 208-222 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{3c44f205109e4d688aa032b7e1eee9ef,

title = "A Textual Syntax and Toolset for Well-Founded Ontologies",

abstract = "Diagrammatic and textual languages differ significantly with respect to the experience they offer to language users. While diagrammatic languages leverage visual variables to improve communication and problem solving, textual languages facilitate significantly a number of tasks including version control, model editing, model merging, parsing, etc. In this paper, we explore the design of a textual language for UFO-based ontologies, whose constructs mirror those of the OntoUML language. The language is supported by a rich VS Code-based editor, supporting (semantically-motivated) syntax verification, syntax highlight, autocomplete, and full integration into the OntoUML server ecosystem. A package manager is also offered to support ontology modularization and reuse, drawing inspiration from software package managers. Such functionality is currently not available to languages such as (Onto)UML and Semantic Web languages such as OWL.",

keywords = "Ontology Development, OntoUML, Textual Language, UFO",

author = "Coutinho, \{Matheus L.\} and Almeida, \{Jo{\~a}o Paulo A.\} and Sales, \{Tiago Prince\} and Giancarlo Guizzardi",

note = "Publisher Copyright: {\textcopyright} 2024 The Authors.; 14th International Conference on Formal Ontology in Information System, FOIS 2024, FOIS 2024 ; Conference date: 15-07-2024 Through 19-07-2024",

year = "2024",

doi = "10.3233/FAIA241308",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS",

pages = "208--222",

editor = "Cassia Trojahn and Daniele Porello and Barcelos, \{Pedro Paulo Favato\} and Barcelos, \{Pedro Paulo Favato\}",

booktitle = "Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024",

address = "Netherlands",

url = "https://www.utwente.nl/en/eemcs/fois2024/",

}

Coutinho, ML, Almeida, JPA, Sales, TP & Guizzardi, G 2024, A Textual Syntax and Toolset for Well-Founded Ontologies. in C Trojahn, D Porello, PPF Barcelos & PPF Barcelos (eds), Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024. Frontiers in Artificial Intelligence and Applications, vol. 394, IOS, pp. 208-222, 14th International Conference on Formal Ontology in Information System, FOIS 2024, Enschede, Netherlands, 15/07/24. https://doi.org/10.3233/FAIA241308

A Textual Syntax and Toolset for Well-Founded Ontologies. / Coutinho, Matheus L.; Almeida, João Paulo A.; Sales, Tiago Prince et al.
Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024. ed. / Cassia Trojahn; Daniele Porello; Pedro Paulo Favato Barcelos; Pedro Paulo Favato Barcelos. IOS, 2024. p. 208-222 (Frontiers in Artificial Intelligence and Applications; Vol. 394).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Textual Syntax and Toolset for Well-Founded Ontologies

AU - Coutinho, Matheus L.

AU - Almeida, João Paulo A.

AU - Sales, Tiago Prince

AU - Guizzardi, Giancarlo

N1 - Conference code: 14

PY - 2024

Y1 - 2024

N2 - Diagrammatic and textual languages differ significantly with respect to the experience they offer to language users. While diagrammatic languages leverage visual variables to improve communication and problem solving, textual languages facilitate significantly a number of tasks including version control, model editing, model merging, parsing, etc. In this paper, we explore the design of a textual language for UFO-based ontologies, whose constructs mirror those of the OntoUML language. The language is supported by a rich VS Code-based editor, supporting (semantically-motivated) syntax verification, syntax highlight, autocomplete, and full integration into the OntoUML server ecosystem. A package manager is also offered to support ontology modularization and reuse, drawing inspiration from software package managers. Such functionality is currently not available to languages such as (Onto)UML and Semantic Web languages such as OWL.

AB - Diagrammatic and textual languages differ significantly with respect to the experience they offer to language users. While diagrammatic languages leverage visual variables to improve communication and problem solving, textual languages facilitate significantly a number of tasks including version control, model editing, model merging, parsing, etc. In this paper, we explore the design of a textual language for UFO-based ontologies, whose constructs mirror those of the OntoUML language. The language is supported by a rich VS Code-based editor, supporting (semantically-motivated) syntax verification, syntax highlight, autocomplete, and full integration into the OntoUML server ecosystem. A package manager is also offered to support ontology modularization and reuse, drawing inspiration from software package managers. Such functionality is currently not available to languages such as (Onto)UML and Semantic Web languages such as OWL.

KW - Ontology Development

KW - OntoUML

KW - Textual Language

KW - UFO

UR - https://www.scopus.com/pages/publications/85217007602

U2 - 10.3233/FAIA241308

DO - 10.3233/FAIA241308

M3 - Conference contribution

AN - SCOPUS:85217007602

T3 - Frontiers in Artificial Intelligence and Applications

SP - 208

EP - 222

BT - Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024

A2 - Trojahn, Cassia

A2 - Porello, Daniele

A2 - Barcelos, Pedro Paulo Favato

PB - IOS

T2 - 14th International Conference on Formal Ontology in Information System, FOIS 2024

Y2 - 15 July 2024 through 19 July 2024

ER -

Coutinho ML, Almeida JPA, Sales TP , Guizzardi G. A Textual Syntax and Toolset for Well-Founded Ontologies. In Trojahn C, Porello D, Barcelos PPF, Barcelos PPF, editors, Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024. IOS. 2024. p. 208-222. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/FAIA241308

A Textual Syntax and Toolset for Well-Founded Ontologies

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this