Orchestrating a Network of Mereo(topo)logical Theories: An Abridged Report

Keet, C. Maria and Kutz, Oliver (2018) Orchestrating a Network of Mereo(topo)logical Theories: An Abridged Report, Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'18), 13-19 July 2018, Stockholm, Sweden, 5289-5293, ACM.

[img] PDF
0739.pdf

Download (125kB)

Abstract

Parthood is used widely in ontologies across subject domains, specified in a multitude of mereological theories, and even more when combined with topology. To complicate the landscape, decidable languages put restrictions on the language features, so that only fragments of the mereo(topo)logical theories can be represented, even though those full features may be needed to check correctness during modelling. We address these issues by specifying a structured network of theories formulated in multiple logics that are glued together by the various linking constructs of the Distributed Ontology Language, DOL. For the KGEMT mereotopology and its five sub-theories, together with the DL-based OWL species and first- and second-order logic, this network in DOL orchestrates 28 ontologies.

Item Type: Conference paper
Uncontrolled Keywords: mereology, ontology engineering
Subjects: Theory of computation > Formal languages and automata theory
Computing methodologies > Artificial intelligence
Alternate Locations: https://www.ijcai.org/proceedings/2018/, http://www.meteck.org/files/IJCAI18mereoDOL.pdf
Date Deposited: 09 Nov 2018
Last Modified: 10 Oct 2019 15:31
URI: http://pubs.cs.uct.ac.za/id/eprint/1270

Actions (login required)

View Item View Item