• Publications
  • Influence
Automatic business process model assembly on the basis of subject-oriented semantic process mark-up
TLDR
A business process model enriched by the semantic mark-up is proposed that enables to represent best practices and recommendations in form of fully formalized high-level process descriptions and concrete business process models can be generated from these descriptions.
A Type-theoretic Approach to Cloud Data Integration
TLDR
An architecture that helps to integrate data accessible via cloud application APIs based on type theory is proposed that is used to automate the building of integration solutions and for automatic verification of program code and compatibility between APIs.
A Language for Transforming the RDF Data on the Basis of Ontologies
TLDR
Among the features of this language is the ability to check the validity of template systems, which guarantees that the transformation will terminate successfully without raising any errors, and the formal model of the language is studied.
Towards the automated business process building by means of type theory
TLDR
The proposed methodology covers the whole procedure of the business process construction and enables to minimize the need to involve the IT workforce.
Ontology-based type-system integrated tools to infer facts about information objects for .NET platform
TLDR
Development of a logical inference tool on ontologies for Microsoft.NET stands out since it allows using the classes and objects of the object-oriented programming environment as concepts and individuals, respectively and provides typesafe tools to construct ontological descriptions of information.
Software Tools for Navigation in Document Databases - Development of Information Navigation Service based on Classification Schemes
TLDR
A classification scheme mapping service is described which is useful in integration of different databases in one search engine.
Usage of semantic transformations in B2B integration solutions
TLDR
A computation-oriented approach to ontology-based B2B integration by representing the ontology in a form that enhances the usage of static and dynamic type-checking features offered by the programming language compiler or runtime environment.