Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge Everyone AI Group UNIBO