Business Process Modeling Based on the Ontology and First-Order Logic. - Toshiya Hikita; Masao J. Matsumoto (ICEIS (2), 2001)