TY - RPRT TI - Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach AU - Fabrizio Smith AU - Maurizio Proietti PY - 2014 UR - https://arxiv.org/abs/1410.1776 ID - 1410.1776 ER -