MAGALHÃES, RÔMULO C. ; CASANOVA, Marco A. ; NUNES, BERNARDO P. ; Lopes, Giseli Rabello . On the Implementation of an Algebra of Lightweight Ontologies. In: the 21st International Database Engineering & Applications Symposium, 2017, Bristol. Proceedings of the 21st International Database Engineering & Applications Symposium on – IDEAS 2017. New York: ACM Press, 2017. p. 169-175. doi: 10.1145/3105831.3105856
On the Implementation of an Algebra of Lightweight Ontologies
Authors
Rômulo C. Magalhães (PUC-Rio)
Marco A. Casanova (PUC-Rio)
Bernardo P. Nunes (PUC-Rio)
Giseli Rabello Lopes (UFRJ)
Abstract
This paper1 first argues that ontology design may benefit from treating ontologies as theories and from the definition of a set of operations that map ontologies into ontologies, especially their constraints. The paper then defines the class of ontologies used and proposes four operations to manipulate them. It proceeds to discuss how the operations may help design new ontologies. The core of the paper describes an implementation of the operations as a Protégé plug-in, called OntologyManagerTab, and includes use case examples to validate the discussion.
Keywords:
Constraint Definition, Ontology Design, Linked Data, Protégé, OntologyManagerTab
