Paweł Kapłański - Publikacje - MOST Wiedzy

Wyszukiwarka

Filtry

wszystkich: 38

  • Kategoria
  • Rok
  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Katalog Publikacji

Rok 2017
  • Automated Reasoning Based User Interface
    Publikacja

    - EXPERT SYSTEMS WITH APPLICATIONS - Rok 2017

    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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Cognitum Ontorion: Knowledge Representation and Reasoning System
    Publikacja

    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...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2016
Rok 2015
Rok 2014
  • Hybrid fuzzy-ontological project framework of a team work simulation system
    Publikacja

    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...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2013
Rok 2012
  • Ontology-Aided Software Engineering
    Publikacja

    - Rok 2012

    This 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)...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2011
  • Controlled English Interface for Knowledge Bases

    This 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.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
    Publikacja

    - Rok 2011

    W 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

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Description logic based generator of data-centric applications
    Publikacja

    - Rok 2010

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
    Publikacja

    - Rok 2010

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2009
  • Syntactic modular decomposition of large ontologies with relational database
    Publikacja

    - Rok 2009

    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...

    Pełny tekst do pobrania w serwisie zewnętrznym

Rok 2008
  • Description Logic As A Common Software Engineering Artifacts Language
    Publikacja

    - Rok 2008

    Description 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Logika opisowa jako język modelowania oprogramowania
    Publikacja

    - Rok 2008

    W 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

wyświetlono 564 razy