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.