A Case-Based Reasoning Approach to Program Synthesis
This book constitutes a collection of selected contributions from the 12th International Conference on Perspectives in Business Informatics Research, BIR 2013, held in Warsaw, Poland, in September 2013. Overall, 54 submissions were rigorously reviewed by 41 members of the Program Committee representing 21 countries. As a result, 19 full and 5 short papers from 12 countries have been selected for publication in this volume. This book also includes the two keynotes by Witold Abramowicz and Bernhard Thalheim. The papers cover many aspects of business information research and have been organized in topical sections on: business process management; enterprise and knowledge architectures; organizations and information systems development; information systems and services; and applications.
The paper describes the development of a portal about development and use of tools based on the (meta) modeling (using DSM, DSL, etc.). The architecture of a portal, information retrieval subsystem and document management are described.
The purpose of the portal is the creation of "selfdeveloping" resource, which provides intelligent search and automatic processing of the results (documents and sources), easy navigation on the found resources. Implementation is based on the ontologies approach.
The main feature of suggested methods is an integrated approach to development. The approach bases on a multi-level ontology repository. The portal allows searching and analyzing information, creating and researching model, publishing research results. Software gives an opportunity of a flexible customizing. The main topic of this paper is an intelligent information search means based on semantic indexation, automatic document classification, tracking of semantic links between documents and automatic summarization.
The paper is devoted to the explanation of J. G. Fichte’s views on religion and “divine things” from 1798 to 1802. His intepretation of God as “moral governance of the world” caused misunderstanding of his philosophy by German intellectuals. Fichte was accused of being an atheist and felt himself forced to explain his thought in detail. Te great influence on Fichte’s position had F. H. Jacobi’s theist criticism. It seems that this criticism launched the intellectual “chemical” reaction which transmuted Fichte’s ethical sentimentalism into the religious, and the Kantian worldview into the mystical and metaphysical. Te author concludes that the two main causes of Fichte’s worldview change are 1) inner and outer difficulties of practising of personal moral religion which cannot give neither distinct philosophical and religious world outlook nor psychological support and 2) theoretical incompleteness of the main ideas of the Doctrine of Science and its theory of religion.
Today many problems that are dedicated to a particular problem domain can be solved using DSL. Thus to use DSL it must be created or it can be selected from existing ones. Creating a completely new DSL in most cases requires high financial and time costs. Selecting an appropriate existing DSL is an intensive task because such actions like walking through every DSL and deciding if current DSL can handle the problem are done manually. This problem appears because there are no DSL repository and no tools for matching suitable DSL with specific task. This paper observes an approach for implementing an automated detection of requirements for DSL (ontology-based structure) and automated DSL matching for specific task.
Usage of visual domain-specific languages in software engineering allows to simplify the process of software creation and to attract to it the experts in domain, who are not professional programmers. However creation new domain-specific language is the nontrivial task, therefore the problem of automation of their development process is the topical task. For the automation, designing of visual modeling languages it is offered to use the ontologies received as a result of the analysis of text corpus. In article, the approach to automatic creation of visual modeling languages on the basis of domain ontologies is considered.
The aim of this article is to highlight the relationships between contemporary tendencies in the humanities (the new ontologies) and contemporary architectural practices. The author articulates the distinction between the optics of the «old ontologies» and the new ones. The ontologies considered to be new ones are flat, free from classical opposition between the whole and the parts and based on modality of possibility, but not obligation. Objects and practices traditionally referred to as architecture appear to be based on the principles of the «old ontologies». For them human being is an extraordinary object compared to others, the part-to-whole relationships appear to reflect either the superiority of the whole (society) or the superiority of the part (individual), finally, they are aimed at creating an “it has to be this way” picture. The new ontologies seem to be impossible to apply to architecture in its traditional meaning. Nevertheless, a two-fold link between the new ontologies and architecture can be posed. On the one hand, the former offer a new language to describe the variety of traditional architecture and accept that all of directions, styles and buildings are ontologically coordinate. On the other hand, the new ontologies enable some new architectural practices (computer architecture, architecture of virtual space and speculative architecture) which do not substitute for traditional architecture, but accompany it.
Keywords: new ontologies, flat ontologies, architecture, computer architecture, architecture of virtual space, speculative architecture
This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012. The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and biology; data mining for energy industry; data mining in traffic and logistic; data mining in telecommunication; data mining in engineering; theory in data mining; theory in data mining: clustering; theory in data mining: association rule mining and decision rule mining.