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.
model of dynamic universe of discourse, domain ontology, temporal logic, logical reasonong