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]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
KCAP2017meretopo.pdf Download (891kB) |
Abstract
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 |