A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
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.doi:10.5281/zenodo.4850522 fatcat:bsfgqmdaxvfrrjxmlyo7xps4ry