Paweł Kapłański

Semantic rules representation in controlled natural language in FluentEditor

This paper presents a way of representation of semantic rules (SWRL) in controlled English in order to facilitate understanding the rules by humans interacting with a machine. This approach (implemented in FluentEditor) may be applied in many domains, where the understandability of the rules used to support a decision process is of great importance.

Cognitum Ontorion: Knowledge Representation and Reasoning System

At any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference knowledge. Next, we briefly discuss models and methodology of agent-oriented system analysis and design. In the third section, the semantic knowledge management framework of the system is reviewed. Finally, we recapitulate by discussing the usability of Ontorion based on a case study, in which an instance of software process simulation modelling environment is executed and further discussed. In the last section, we provide future work directions and put forward final conclusions.

Syntactic Modular Decomposition of Large Ontologies with Relational Database

Support for modularity allows complex ontologies to be separated into smaller pieces (modules) that are easier to maintain and compute. Instead of considering the entire complex ontology, users may benefit more by starting from a problem-specific set of concepts (signature of problem) from the ontology and exploring its surrounding logical modules. Additionally, an ontology modularization mechanism allows for the splitting up of ontologies into modules that can be processed by isolated separate instances of the inference engine. The relational algorithm, described in this paper, makes it possible to construct an inference engine that can run in a highly scalable cloud computing environment, or on a computer grid.

Collaborative Editing of Ontologies Using Fluent Editor and Ontorion

In this paper we present two tools that we are developing at Cognitum for managing large knowledge bases: Fluent Editor and the Ontorion Server. We have been able to build a collaborative knowledge management system using these two tools. We show how this system can be used for the concurrent modification of knowledge and how we can manage multiple modifications to the same knowledge.

Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System

The aim of this article is to present the project framework for constructing a Software Process Simulation Modeling SPSM system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the Scrum ontology is proposed and for the competences of the roles of project team members, a fuzzy-logic representation. As a result the authors present the hybrid fuzzy ontological system as well as a prototype built during project work, allowing the initial verification of the proposed solution. The framework of the design processes proposed in the article was verified on the basis of real courses of project management processes in a large IT company.

Automated reasoning based user interface

Automatic generation of user interfaces from domain knowledge: ARBUI.Practical implementation of the proposed architecture (ARBUI): the Semantic MVC.Tested our approach in a pilot project at the Oncology Center in Warsaw. Motivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in which a set of requirements is automatically translated into a working application. It is presented as a generalization of the current state of the art model-driven approaches both from the conceptual perspective as well as the concrete implementation is discussed together with its advantages like the alignment of business logic with the application and ease of adaptability. It also presents how a high level of traceability can be obtained if runtime support of automated reasoning over models is applied.Results: We have defined the Automated Reasoning-Based User Interface (ARBUI) approach and implemented a framework for application programming that follows our definition. The framework, called Semantic MVC, is based on model-driven engineering principles enhanced with W3C standards for the semantic web. We will present the general architecture and main ideas underlying our approach and framework. Finally, we will present a practical application of the Semantic MVC that we created in the medical domain as a Clinical Decision Support System for GIST cancer in cooperation with the Maria Sklodowska-Curie Memorial Cancer Center and Institute of Oncology in Warsaw. The discussed expert system allows the expert to directly modify the executable knowledge on the fly, making the overall system cost effective.

Ontology of the Design Pattern Language for Smart Cities Systems

The paper presents the definition of the design pattern language of Smart Cities in the form of an ontology. Since the implementation of a Smart City system is difficult, expensive and closely linked with the problems concerning a given city, the knowledge acquired during a single implementation is extremely valuable. The language we defined supports the management of such knowledge as it allows for the expression of a solution which, based on best practices recorded in the form of design patterns, is also tailored to the requirements of the city seeking to implement the Smart City solution. The formal/ontological structure of the language in turn allows the automatic management of the properties of a solution recorded in this way. This final feature of the introduced language is extremely important in the decision-making process regarding the choice of a particular solution by the relevant authorities. The work is divided into five main parts. In the first part we discuss the implementation issue of the integration bus using the example of the IOC. In the next part we talk about the validity of using semantic technologies in order to expand the spectrum of potential implementations. Then we discuss the ontological implementation of the Smart City pattern language which we created, a language which allows for both the saving of requirements and the validation of solutions specified in it. We also present an example of usage, which at the same time serves as a validation of the language in real-life conditions. In the last part we discuss certain aspects of the pattern language and the possible ways to develop research related to it.

Implementation of Business Processes in Smart Cities Technology

The goal of the paper is to present the results of studies concerning the development of a method of implementation of business processes in Smart Cities systems. The method has been developed during studies carried out within the building of a Smart Cities system for Gdansk, and is based on basic development project management mechanisms drawing from best practices, and in particular from the RUP methodology and business-oriented development principles, where the role of business process modeling is crucial for the implementation of functionalities of IT systems.

Model of an Integration Bus of Data and Ontologies of Smart Cities Processes

This paper presents a model of an integration bus used in the design of Smart Cities system architectures. The model of such a bus becomes necessary when designing high-level architectures, within which the silo processes of the organization should be seen from the perspective of its ontology. For such a bus to be used by any city, a generic solution was proposed which can be implemented as a whole or in part depending on the requirements posed by those cities with respect to the construction of such buses. The work is divided into four main parts. The first part presents a model of high-level architectural design processes, using ontologies and a data integration bus, which constitutes the generalized experiences of the authors drawn from the design processes of Smart Cities systems. The second part contains a description of the environment in which Smart Cities systems are developed, illustrated with two guidelines and the implementation processes of these guidelines. In the third part, two components of that environment are identified: the data integration bus and the ontologies of city processes. This is done to demonstrate how Smart Cities systems are designed and to show the processes of the permeation of data and the ontologies of city processes in the creation of a high-level architecture. The fourth section contains a description of how the proposed model is applied in the construction of a common integration bus for data and ontologies. The paper summary presents recommendations concerning the applicability of the proposed model.

Smart Cities System Design Method Based on Case Based Reasoning

The objective of this paper is to present the results of research carried out to develop a design method for Smart Cities systems. The method is based on the analysis of design cases of Smart Cities systems in cities, the selection of the city appropriate to the requirements for implementation and application. The Case Based Reasoning method was used to develop the proposed design methodology, along with mechanisms of the conversion of project processes and roles to Rational Unified Processes RUP. The prerequisite for the proposed method is that the enterprise manager must be knowledgeable about high-level Smart Cities system architecture and the design framework applied. The authors, being themselves knowledgeable about architecture of this kind and about project environments which implement KPI models, propose a generic solution applicable to any environments and system architectures.