Mereosemiotics: Parts and signs

Horsch, Martin Thomas orcid iconORCID: 0000-0002-9464-6739 (2021) Mereosemiotics: Parts and signs. In: FOUST V: Workshop on Foundational Ontology, 11-18 September 2021, Bolzano.

[thumbnail of Version of Record]
Preview
PDF (Version of Record) - Published Version
Available under License Creative Commons Attribution.

832kB

Official URL: http://ceur-ws.org/Vol-2969/

Abstract

For descriptions of cognitive processes, including process models for research data provenance and simulation workflow metadata, a formal notation is developed on the basis of the foundational ontological paradigm of mereosemiotics, i.e., the combination of mereotopology with Peircean semiotics. To demonstrate the viability of the approach, this is applied to extend the pre-existing OWL ontology for a physicalistic interpretation of modelling and simulation - interoperability infrastructure (PIMS-II) by a modal first-order logic axiomatization.


Repository Staff Only: item control page