Mystical Metaprose of the 20th Century: genesis and metamorphosis (Herman Hesse — Vladimir Nabokov — Mikhail Bulgakov)

The book by Doctor Philology Zlotchevskaya A. V. deals with the phenomenon of “mystical metaprose” of the 20th century. The study is built on the laws of logic: description of phenomenon and its genesis, aesthetic strategy of the three writers, genre model, poetics. The author points out the creative similarity of three writers in their approach to aesthetic and metaphysical problems, their tragic-comic view of the world. The book is addressed to a broad spectrum of intellectuals, primarily scholars and university students of philology, as well as all those interested in the works of Hesse, Nabokov and Bulgakov.

Extremism as a factor of destabilization of the legal environment

The purpose of the article is a comprehensive scientific study of theoretical and practical problems associated with the implementation of the basic principles and directions of countering extremism as a threat to the national security of Russia. The methodological basis of the research was based on general scientific, private, and special methods of cognition.. Methods of formal logic: description, comparison, classification, analysis and synthesis, and others, allowed characterizing the transformations in the field of countering extremism at the present time. The results of the study allow us to conclude that the definition of extremism is a very controversial issue, since there is no consensus among scientists in this respect, which emphasizes the importance and indicates the need to develop an agreed concept of extremism for its recognition at the national and international levels. Based on the theoretical and legal analysis of various interpretations of the term “extremism”, we have formulated this concept in its modern interpretation.

On Ontology of Integration Between Access Control and Business Process Deep Structure

Access control models (ACM) offers the guarantee that only the qualified users can gain access to the artifacts contained in business processes. Business processes are designed, implemented, and operated using many industrial standards that challenge the interoperation with access control standards. Enterprise engineering (EE) introduces rigorous capabilities to design and implement the essential concepts related with the dynamic of business processes. ACM deals with the systematic design and implementation of dynamic and static access control concepts to qualify the access of the users to the artifacts. This chapter proposes an ontological integration between EE and ACM concepts in order to enable the discussion of access control in the deep structure of the business processes. ACM integrated with EE allow the run-time qualification of the actors while they perform all the business process steps and not only at invocation time. The proposal encompasses business process designed with DEMO ontology and role-based access control concepts using a mathematical model logic description.

Rancang Bangun Plugin Protégé Menggunakan Ekspresi SPARQL-DL Dengan Masukan Bahasa Alami

Semantic web is a technology that allows us to build a knowledge base or ontology for the information of the web page can be understood by computers. One software for building ontology-based semantic web is a protégé. Protege allows developers to develop an ontology with an expression of logic description. Protégé provides a plugin such as DL-Query and SPARQL-Query to display information that involve expression of class, property and individual in the ontology. The problem that then arises is DL-plugin Query only able to process the rules that involve expression of class to any object property, despite being equipped with the function of reasoning. while the SPARQL-Query plugin does not have reasoning abilities such as DL-Query plugin although the SPARQL-Query plugin can query memperoses rules involving class, property and individual. This research resulted in a new plugin using SPARQL-DL with input natural language as a protégé not provide a plugin with input natural language to see results from the combined expression-expression contained in the ontology that allows developers to view information ontology language that is easier to understand without having think of SPARQL query structure is complicated.

Two complete finitary sequent calculi for reflexive common knowledge

This paper discusses the use of complete sequent calculi for reflexive common knowledge logic. Description of language and complete infinitary calculus for RCL is presented. Then finitary calculi RCLI and RCLL are introduced and completeness of finitary calculi RCLI and RCLL is proven.