Ontology and thezaurus development

In recent years a number of subfields of Artificial Intelligence and Semantic Web have been aiming to increase the ability of their systems to interact with humans and other external agents by developing and sharing ontologies - formally specified models of bodies of knowledge defining the concepts used to describe a domain and the relationships that hold between them.

Areas of ontology's usage include agent-based software interoperability, knowledge acquisition and natural language processing.

Various formalisms have been developed for expressing ontologies, notably the Knowledge Interchange Format (KIF), RDF, OWL.

We also use an alternative formalism for representing ontologies: a subset of the Unified Modelling Language (UML) together with its associated Object Constraint Language (OCL).

We produce object oriented analysis, design and implementation of:

• Domain ontologies.
• Task ontologies.
• Quality ontologies.
• Value ontologies.
• Personalization ontologies.
• Argumentation ontologies.
• Lexical ontologies.
• Different types of thezauruses.

We take part in development of the Russian WordNet - Russian lexical ontology.