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.
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 |