缺乏事件的形式化模型阻碍了分布式事件驱动系统的互操作性。本文提出了一种名为Event-Model-F的事件形式化模型。该模型基于基础本体DOLCE+DnS Ultralite (DUL)，并提供全面的支持来表示时间和空间、对象和人员，以及事件之间的整体、因果和相关关系。此外，Event-Model-F提供了一种灵活的方式来进行事件组合、建模事件因果关系和事件关联，以及表示同一事件的不同解释。Event-Model-F遵循DUL的面向模式的方法开发，被模块化到不同的本体中，并且可以很容易地通过特定领域的本体进行扩展。