A First-order Formalization of Event, Object, Process and Role in YAMATO

Stefano Borgo, Riichiro Mizoguchi. A First-order Formalization of Event, Object, Process and Role in YAMATO. In Pawel Garbacz, Oliver Kutz, editors, Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil. Volume 267 of Frontiers in Artificial Intelligence and Applications, pages 79-92, IOS Press, 2014. [doi]

Abstract

Abstract is missing.