Orchestrating a Network of Mereo(topo)logical Theories

Keet, C. Maria and Kutz, Oliver (2017) Orchestrating a Network of Mereo(topo)logical Theories, Proceedings of Ninth International Conference on Knowledge Capture (K-CAP'17), 4-6 Dec 2017, Austin, Texas, USA, 11:1-11:8, ACM.

[img] PDF

Download (891kB)


Parthood is used widely in ontologies across subject domains. Some modelling guidance can be gleaned from Ontology, yet it offers multiple mereological theories, and even more when combined with topology, i.e., mereotopology. 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, yet during modelling, those full features may be needed to check correctness. 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 mereotopological theory and five sub-theories, together with the DL-based OWL species and first- and second-order logic, this network in \DOL orchestrates 28 ontologies. Further, we propose automated steps toward resolution of language feature conflicts when combining modules, availing of the new `OWL classifier' tool that pinpoints profile violations.

Item Type: Conference paper
Uncontrolled Keywords: mereology, mereotpologily, ontologies, OWL, DOL
Subjects: Computing methodologies > Artificial intelligence
Alternate Locations: http://www.meteck.org/files/KCAP2017meretopo.pdf, https://dl.acm.org/citation.cfm?id=3148013
Date Deposited: 18 Jan 2018
Last Modified: 10 Oct 2019 15:31
URI: http://pubs.cs.uct.ac.za/id/eprint/1232

Actions (login required)

View Item View Item