“Binary Knowledge Model”: Specifying, instantiating, and interpreting advanced ontologies

“Binary Model of Knowledge” (BMK) is the system of concept-oriented languages intended for specifying and interpreting ontologies with their fact bases (instances). BMK is under development at National Research University “MPEI” (Moscow, Russia) and at Institute of Informational and Computational Technologies (Almaty, Kazakhstan). The BMK languages combine the advantages of frame-based object-oriented formalisms with well defined denotative semantics and RDF-like languages. The brief description of BMK is presented.