ONTOLOGIES IN THE "BINARY MODEL OF KNOWLEDGE"

Ontology represents some general knowledge about a given problem domain. A concrete knowledge is ex- pressed by facts which are structured according to the ontology. The set of these facts, the so-called fact base, can be consid- ered as a state or an instance of the ontology. Nowadays there are a lot of formal description to specify ontologies. The most elaborated and researched are description logics languages. Based on these logics, OWL (Web Ontology Languages) has been developed. OWL is recognized by W3C. But OWL is not typed language. That is why it does not have a number of ad- vantages that typed languages have. The article describes briefly typed conceptual languages for the developed system "Bina- ry Model of Knowledge" (BMK). The system is intended for specifying and interpreting ontologies and their fact bases. In particular, there are descriptions of: (1) language LSS for structural specification (to define concepts universes); (2) language LDT for definition of data types язык; (3) language LLS for logical specification (to define concept extensions); (4) language LP of productions (for fact bases transformations). The possibility to apply BMK to the problem of forecasting road traffic jams is shown