An Ontology of Environments, Events, and Happenings for Agent-Based Modeling of Engineering Design Systems and Proceses

The paper presents our intermediate results in ontologizing a refined formal representation of environments, events, and happenings elaborated in PSI project. Our formal approach is based on the first order logic and is inspired by Discrete Event Calculus (DEC). In difference to DEC based on discrete linear time representation, it uses fuzzy time intervals [7]. Our framework also refines classic Event Calculi approaches by introducing explicit formal representations for environments and happenings as well as drawing a clear distinction between events and atomic actions. A reduced version of PSI Environment, Event, and Happening ontology based on crisp representation of time intervals has been implemented as an OWL-DL ontology and is used in PSI Design Process Simulation software. Fuzzy time interval based ontology is also implemented in OWL-DL and will be used in the future software versions.