Description: Dynamic domains reflect evolving nature of the world. Known formal models of a dynamic domain are mainly focused on evolution of the factual base underlying the model. Structural and semantic evolution is paid less attention although the impact of structural/semantic evolution of a domain model on an information system is much more influent. Modeling of a dynamic domain in an information system requires special means to deal with time. The paper proposes a formal model of ontology for a dynamic domain, including a time frame. Presented is a formal language for dynamic domain ontology description and experimental results of satisfiability checking problem for formulae of this language.
Keywords: model of dynamic universe of discourse, domain ontology, temporal logic, logical reasonong