A Formalization of Document Models with Semantic Modelling

In this paper, we formalize the general concept of a document model in terms of the Semantic Modelling (SM) paradigm. We argue that the idea of using documents as a basic metaphor for modelling appears to be very useful, since it provides a balance between the logical tools for knowledge processing and cognitive aspects for a much wider audience than the community of professional mathematicians. A subject domain can be arbitrarily complex by its nature, but humans tend to choose those primitives, which are convenient for cognition. The notion of a document is an example of such a primitive, which has been employed for centuries and clearly remains topical in the era of information systems. The significant outcome of constructing the semantics of document models within the SM paradigm is that Semantic Modelling makes document models executable. Executable models can be directly used as practical information systems, and this feature makes the programming stage unnecessary. Replacing programming with modelling has a great impact on the efficiency of IT systems development and maintenance, and makes these systems friendly for the Artificial Intelligence tools

Object Models as Microservices: a Query Language

We are designing an application development technology based on an extended object-oriented approach, in which object models are enriched to the functionality of microservices. This variation is called microservice object-oriented programming. An object model as a microservice is an autonomous information system that behaves as a persistent storage and interacts with other models and external actors through the API. Moreover, understanding object models as microservices provides a fundamentally new low-code technology based on model visualization. This paper presents a query language for object models that works efficiently with persistent models. It is a subset of the Libretto language. The logical semantics of the language is described, as well as the method of compiling it into SQL, based on the use of an intermediate relational language. A SQL query language compiler has been implemented within the Ontobox platform. It shows high efficiency and is now actively used in real-life application development tasks solving

A Query Language for Logic Architectures

Abstract. In this paper we consider the impact of the Semantic Web and logical means on a wide range of developers solving traditional tasks on the WWW. How to make the 'elite' logic tools acceptable for ordinary developers? How to incorporate a wide range of users in the space of the Semantic Web? These and some other questions are considered here and certain proposals are made. In particular we are based on the conception of a logic architecture as a stratified description logic system, and introduce an ontology query language working within logic architectures

Embedding Relational Databases in Object Ontologies: Implementation Issues

In this paper the problem of database embedding in logical knowledge management environment is considered. The approaches to the implementation of database embedding in ontologies are established through their modeling based on object theories. This method focuses on the unified database management within big distributed information systems. In introduction we give the relevance of the investigated problem. At the first part, we point attention on objective theory of databases. According to it, we determine the basic mechanism and the rules of objective model building on a random relational database system. Then we define modeling of external keys of a database through objective theory features. Further we consider the implementation of a query language interpreter «Libretto» on relational databases. Then the general architecture of the «Libretto» system is given. In addition to this, we mention on two ways of implementation mechanisms of the databases which are based on «Libretto». The first one is about implementation Libretto API in the context of DBMS; the latest could be described as a substitution of the translator «Libretto». Later the databases sublanguage «Libretto» is determined on order for implementation method of substitution of the translator «Libretto». This databases sublanguage replies for request generating. Then we analyze translation of elementary requests, transmission ways, transmission of inverse features, transmission of inserted requests, predicates transmission. Finally, we give the comparison of the efficiency of 2 above-mentioned ways, summarize undertaken work and see the further development of these ways

The Inverse Method for Many-Valued Logics

We define an automatic proof procedure for finitely many-valued logics given by truth tables. The proof procedure is based on the inverse method. To define this procedure, we introduce so-called introduction-based sequent calculi. By studying proof-theoretic properties of these calculi we derive efficient validity- and satisfiability-checking procedures based on the inverse method. We also show how to translate the validity problem for a formula to unsatisfiability checking of a set of propositional clauses