Ontology engineering, universal algebra, and category theory

Michael Johnson*, Robert Rosebrugh

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

4 Citations (Scopus)


In this chapter we review a category theoretic approach to ontology engineering. Using ideas from universal algebra, we carefully distinguish presentations of ontologies from the ontologies themselves. This leads to a precise notion of view, and views can be used both to create new ontologies incorporating existing ontologies while recognising their common classes and relations, and to develop interoperating ontologies. Interoperating ontologies are separate but linked ontologies with the property that systems developed under each ontology can interoperate without changing the system and with only a small amount of front-end interoperations code.

Original languageEnglish
Title of host publicationTheory and Applications of Ontology
Subtitle of host publicationComputer Applications
EditorsRoberto Poli, Michael Healy, Achilles Kameas
Place of PublicationDordrecht
PublisherSpringer, Springer Nature
Number of pages12
ISBN (Electronic)9789048188475
ISBN (Print)9789048188468
Publication statusPublished - 2010

Fingerprint Dive into the research topics of 'Ontology engineering, universal algebra, and category theory'. Together they form a unique fingerprint.

Cite this