Ontology and animation of precedents

The paper describes a meta-ontology, designed for accumulating, classifying, controlling and retrieving precedents, representing instances of specific situations and scenarios, which arise in practical activity in a particular domain. A feature of ontologies, created on its basis, is the presence of pragmatic - algorithmical, geometrical, predicate, graph - models of concepts, with help of which, in addition to logical inference means, it is possible to carry out "animation" of cases for visual control and decision making support. Algorithmical models can be specified by a formula, a program or an animation file in the GIF format. Geometrical models are specified by files in the formats XML, SVG, JPG, etc. Graphs are also can be specified in the format XML and similar ones. Predicate models are logical expressions, specified in a string form. In the result of syntactic and semantic analysis of a text we get a pragmatic semantic model, which represents an attributed graph of a situation or a scenario. In this graph vertices are things, processes and relations, while edges are connections between them. Experiments with the use of the system Protégé for developing ontologies are provided.