Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Representation Theorem for Change through Composition of Activities., and . ACM Trans. Comput. Log., 20 (4): 20:1-20:31 (2019)Using Partial Automorphisms to Design Process Ontologies.. FOIS, volume 239 of Frontiers in Artificial Intelligence and Applications, page 309-322. IOS Press, (2012)Towards an ontology for generative design of mechanical assemblies., , and . Appl. Ontology, 14 (2): 127-153 (2019)A New Perspective on the Mereotopology of RCC8., and . COSIT, volume 86 of LIPIcs, page 2:1-2:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Reasoning about Change with Domain-specific Process Ontologies.. University of Toronto, Canada, (2016)Anti-Modules., , and . JOWO@FOIS, volume 1660 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Reuse with Domain and Process Ontologies., and . WoMO@FOIS, volume 1248 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)A New Look at Ontology Correctness., and . AAAI Spring Symposia, AAAI Press, (2015)A First-Order Calculus for Allegories., and . RAMiCS, volume 6663 of Lecture Notes in Computer Science, page 74-91. Springer, (2011)Reducible Theories and Amalgamations of Models., and . ACM Trans. Comput. Log., 24 (1): 9:1-9:24 (January 2023)