Wyszukiwarka
dr inż. Paweł Kapłański
Zatrudnienie
Publikacje
Filtry
wszystkich: 38
Katalog Publikacji
Rok 2017
-
Automated Reasoning Based User Interface
PublikacjaMotivation: 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...
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
PublikacjaAt 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...
Rok 2016
-
Asking Data in a Controlled Way with Ask Data Anything NQL
PublikacjaWhile to collect data, it is necessary to store it, to understand its structure it is necessary to do data-mining. Business Intelligence (BI) enables us to make intelligent, data-driven decisions by the mean of a set of tools that allows the creation of a potentially unlimited number of machine-generated, data-driven reports, which are calculated by a machine as a response to queries specified by humans. Natural Query Languages...
-
Collaborative Editing of Ontologies Using Fluent Editor and Ontorion
PublikacjaIn 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.
-
Designing Aggregate KPIs as a Method of Implementing Decision-Making Processes in the Management of Smart Cities
PublikacjaThe aim of the paper is to present a concept of measuring the performance of city management processes by use of a concept of aggregate KPIs. In the management of organizations and, as a consequence of the use of a common design framework also in the management of cities, silo KPIs are commonly used to show the statuses of the processes of organizations/cities. Thus the question arises as to what extent aggregate KPIs, as proposed...
-
Development and Research of the Text Messages Semantic Clustering Methodology
PublikacjaThe methodology of semantic clustering analysis of customer’s text-opinions collection is developed. The author's version of the mathematical models of formalization and practical realization of short textual messages semantic clustering procedure is proposed, based on the customer’s text-opinions collection Latent Semantic Analysis knowledge extracting method. An algorithm for semantic clustering of the text-opinions is developed,...
-
High-Level Model for the Design of KPIs for Smart Cities Systems
PublikacjaThe main goal of the paper is to build a high-level model for the design of KPIs. Currently, the development and processes of cities have been checked by KPI indicators. The authors realized that there is a limited usability of KPIs for both the users and IT specialists who are preparing them. Another observation was that the process of the implementation of Smart Cities systems is very complicated. Due to this the concept of a...
-
Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System
PublikacjaThe 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...
-
Implementation of Business Processes in Smart Cities Technology
PublikacjaThe 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 Gdańsk, and is based on basic development project management mechanisms (drawing from best practices, and in particular from the RUP methodology) and business-oriented...
-
Koncepcja semantycznego systemu informacyjnego o materiałach niebezpiecznych
PublikacjaKoncepcja semantycznego systemu informacyjnego o materiałach niebezpiecznych
-
Model of an Integration Bus of Data and Ontologies of Smart Cities Processes
PublikacjaThis 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...
-
Ontology of the Design Pattern Language for Smart Cities Systems
PublikacjaThe 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...
-
Semantic technologies based method of collection, processing and sharing information along food chain
PublikacjaIn the paper the method of collecting, processing and sharing information along food chain is presented. Innovative features of that method result from advantages of data engineering based on semantic technologies. The source to build ontology are standards and regulations related to food production, and data collected in databases owned by food chain participants. It allows food chain information resources can be represented in...
-
Smart Cities System Design Method Based on Case Based Reasoning
PublikacjaThe 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...
-
Text-mining Similarity Approximation Operators for Opinion Mining in BI tools
PublikacjaThe concept of the Text-mining Similarity Approximation Operators for Opinion Mining as extensions to Natural Language Interface Database is defined. The new operators: “keywords of” dimension; subsetting operator “about C is q”; aggregation operator “by similar C” are proposed. These operators are based on the Latent Semantic Analysis and Social Network Analysis
-
The Method of a Two-Level Text-Meaning Similarity Approximation of the Customers’ Opinions
PublikacjaThe method of two-level text-meaning similarity approximation, consisting in the implementation of the classification of the stages of text opinions of customers and identifying their rank quality level was developed. Proposed and proved the significance of major hypotheses, put as the basis of the developed methodology, notably about the significance of suggestions about the existence of analogies between mathematical bases of...
-
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
PublikacjaThe aim of this work is to give the definition and present the possibility of applying (introduced and defined here) ontotriggers to design the ontology of a maturity capsule used in the assessment of IT projects. The complexity of designing ontology processes raises the question of whether there is a need for designing ontologies in a situation where it is possible to map them. The work is divided into four main parts. The first...
Rok 2015
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
Publikacja“If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....
-
Implementacja procesów biznesowych w technologiach Smart Cities
PublikacjaCelem artykułu jest prezentacja wyników badań nad opracowaniem metody implementowania procesów biznesowych w systemach Smart Cities. Metoda została opracowana w trakcie badań prowadzonych w ramach budowy systemu Smart Cities dla Gdańska bazuje na podstawowych mechanizmach zarządzania projektami wytwórczymi (czerpiąc z dobrych praktyk m.in. metodyki RUP) oraz zasadach biznesowo zorientowanego wytwarzania, gdzie rola modelowania...
-
Metoda projektowania systemów Smart Cities bazowana na Case Based Reasoning
PublikacjaCelem artykułu jest prezentacja wyników badań nad opracowaniem metody projektowania systemów Smart Cities. Metoda ta bazuje na analizie przypadków projektowania systemów Smart Cities w miastach, wybór odpowiedniego do wymagań zdecydowanego na wdrożenie ośrodka i jego zastosowanie. Do budowy proponowanej metody projektowania wykorzystano metodę Case Based Reasoning oraz mechanizmy konwersji procesów i ról projektowych do procesów...
-
Model szyny integracyjnej danych i ontologii procesów Smart Cities
PublikacjaW artykule przedstawiono propozycję modelu szyny integracyjnej wykorzystywanego w projektowaniu architektur systemów Smart Cities. Model takiej szyny staje się niezbędny przy projektowaniu architektur wysokopoziomowych (ang. high level architecture), w ramach których procesy silosowe organizacji powinny być widziane z pespektywy jej ontologii. Aby taka szyna mogła być wykorzystywana przez dowolne miasta zaproponowano rozwiązanie...
-
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublikacjaW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...
-
Ontologiczna inżynieria wiedzy
PublikacjaOntologiczna inżynieria wiedzy jest dobrą podstawą metodologiczną, a ontologie dziedzin przedmiotowych ważnym elementem konstrukcyjnym semantycznych systemów reprezentacji wiedzy. W artykule omówiono budowanie ontologii w oparciu o edytor ontologii FluentEditor i język CNL (Controlled Natural Language). Przykładową ontologię dotyczącą fragmentu procesu produkcji rolniczej wykorzystano do budowy semantycznej bazy wiedzy. W tym celu...
-
Projektowanie zagregowanych KPI jako metoda implementacji procesów decyzyjnych w zarządzaniu Smart Cities
PublikacjaCelem artykułu jest prezentacja koncepcji pomiaru wydajności procesów zarządzania miastem z wykorzystaniem koncepcji zagregowanych KPI. W zarządzaniu organizacjami, a w konsekwencji stosowania wspólnych ram projektowych również w zarządzaniu miastami stosuje się powszechnie silosowe KPI obrazujące stany procesów organizacji/miasta. Pojawia się więc pytanie na ile proponowane w artykule zagregowane KPI mogą być stosowane w procesach...
-
Semantic OLAP with FluentEditor and Ontorion Semantic Excel Toolchain
PublikacjaSemantic technologies appear as a step on the way to creating systems capable of representing the physical world as real time computational processes. In this context, the paper presents a toolchain for an ontology based knowledge management system. It consists of the ontology editor, FluentEditor and the distributed knowledge representation system, Ontorion. FluentEditor is a comprehensive tool for editing and manipulating complex...
-
Wysokopoziomowy model projektowania wskaźników KPI systemów inteligentnych miast
PublikacjaCelem pracy jest prezentacja etapów budowy wysokopoziomowych modeli projektowania wskaźników KPI (WPMPW) systemów inteligentnych miast. Dotychczasowy rozwój, badanie procesów miast i przyporządkowanie im miar może być kontrolowane za pomocą wskaźników KPI. Autorzy pracy w trakcie procesów projektowania zwrócili uwagę na ograniczoną użyteczność tak projektowanych wskaźników dla przedstawicieli miast. Stąd też zaproponowali koncepcję...
Rok 2014
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublikacjaThe 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...
Rok 2013
-
Application of Semantic Knowledge Management System in Selected Areas of Polish Public Administration
PublikacjaThis paper describes an application of semantic technologies and knowledge management systems in chosen areas of Polish public administration. Short analyses of crisis management and EU policy coordination processes are presented. An architecture of a knowledge management system with interfaces using controlled natural language is proposed. A lot of examples are shown that prove a usefulness of semantic knowledge management and...
-
Semantic rules representation in controlled natural language in FluentEditor
PublikacjaThis 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.
Rok 2012
-
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
Rok 2011
-
Controlled English Interface for Knowledge Bases
PublikacjaThis paper describes the approach to interface for OWL Knowledge Bases based on Controlled English that is transformed directly to OWL 2 expressions and back. Two possible modes enable usage of the interface to specify Terminology, World Description as well as Integrity Constrains. Knowledge Base then can be validated against the Integrity Constrains to enable its continuous validation.
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
Rok 2010
-
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
Rok 2009
-
Syntactic modular decomposition of large ontologies with relational database
PublikacjaSupport 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...
Rok 2008
-
Description Logic As A Common Software Engineering Artifacts Language
PublikacjaDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Logika opisowa jako język modelowania oprogramowania
PublikacjaW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
wyświetlono 1069 razy