prof. dr hab. inż. Krzysztof Goczyła
Employment
- Professor at Department of Software Engineering
Research fields
Publications
Filters
total: 109
Catalog Publications
Year 1986
-
The generalized Banach match-box problem: Application in disc storage management
Publication -
Disk space allocation schemes for real-time data gathering applications
Publication
Year 1988
Year 1989
-
A microcomputer database design
Publication
Year 1995
-
Optimal routing in a transportation network
Publication
Year 1997
-
The partial-order tree: a new structure for indexing on complex attributes in object-oriented databases
Publication
Year 2001
Year 2002
-
Technologie wytwarzania oprogramowania
PublicationPraca poświęcona została dwóm najpowszechniejszym współcześnie technologiomwytwórczym - podejściu strukturalnemu i obiektowemu. W obu przypadkach omó-wienie skupia się na zagadnieniach i metodach modelowania i projektowania,w obu też jest ono bogato ilustrowane przykładami.
-
Struktury danych.
PublicationPraca stanowi podręcznik dla studentów pierwszych lat informatyki. Prezentuje ona podstawowe struktury danych stosowane w programach komputerowych wraz z algorytmami, ukierunkowanymi na przechowywanie informacji oraz operowanie informacją przy użyciu tych struktur. W podręczniku omówiono m.in. następujące zagadnienia: tablice uporządkowane, tablice rozproszone, sortowanie tablic, listy, drzewa binarne, drzewa wyszukiwawcze,...
Year 2003
-
Zastosowanie technologii Web Farming dla poprawy procesu wytwarzania oprogramowania
PublicationW pracy zaprezentowano koncepcję wykorzystania technologii Web Farming wsieci intranet firmy produkcyjnej. Oprogramowanie w celu poprawy procesu wy-twórczego. Przedstawiono ogólną architekturę systemu oraz sposób jego wyko-rzystania przez różne grupy udziałowców procesu wytwarzania oprogramowania.
-
Database systems for tomorrow: new challenges and research areas
PublicationZaprezentowano nowe obszary badawcze w dziedzinie baz danych, które będą rozwijane w najbliższej przyszłości. Omówiono takie obszary jak systemy typu ''Plug and Play'', duże systemy sfederowane, nowe architektury systemów baz danych oparte na dużych buforach pamięciowych, integracja danych i aplikacji oraz bazy danych semistrukturalnych.
-
Collecting and classification web data for business using a web farming system
PublicationPraca prezentuje system typu Web Farming oraz aspekty związane z jego działaniem.
Year 2004
-
Schema mining in XML documents.
PublicationW artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów z kolekcji dokumentów XML. Algorytm wykorzystuje model danych semistrukturalnych oraz alorytm COBWEB służący do grupowania koncepcyjnego. W artykule zaprezentowano również wyniki testów działania algorytmu.
-
Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.
PublicationW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Proces wytwórczy definiowany jest w formie hierarchicznego zbioru procesów biznesowych opisywanych zgodnie z formalizmemzaproponowanym przez Rummlera-Brache'a. Zbiór ten odwzorowany jest na zapis w języku PMDL, z którego generowany jest kod agentów monitorujących proces wytwórczy.
-
Problematyka zarządzania wiedzą w systemach typu e-health.
PublicationW rozdziale przedstawiono koncepcję systemu zarządzania wiedzą w ogólnodostępnym, wielofunkcyjnym systemie ukierunkowanym na różnorodne zastosowania związane z ochroną zdrowia. Koncepcja ta jest realizowana w zintegrowanym projekcie objętym 6. Programem Ramowym Unii Europejskiej. Zaprezentowano: miejsce zarządzania wiedzą w stosunku do innych części systemu, architekturę podsystemu zarządzania wiedzą oraz szczegółowo omówiono funkcje...
-
Monitorowanie procesu wytwarzania oprogramowania z wykorzystaniem hierarchii agentów typu Web Farming.
PublicationW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Idea polega na nadzorowaniu przebiegu projektu w tle poprzez agentów uruchomionych na komputerach uczestników projektu. W celu zdefiniowania procesu, zwanego procesem SoFar, proponuje się język PMDL, który będzie podstawą także do generowania kodu agentów. Przedstawiono możliwości zastosowania...
Year 2005
-
Wydobywanie wiedzy i klasyfikacja danych w systemie typu Web Farming
PublicationW rozdziale zaprezentowano metodę wydobywania informacji z dokumentów WWW oraz sposób klasyfikacji danych w prototypowym systemie typu Web Farming. Wydobywanie informacji z dokumentów bazuje na analizie syntaktycznej i porównywaniu występowania grup fraz obecnych w ich treści. Przedstawiono model semantyczny świata i jego reprezentacji w postaci dokumentów internetowych, oparty na pojęciu konceptu i kategorii tematycznej. Następnie...
-
Topologiczna analiza ontologii opartych na logiceopisowej
PublicationRozwój Internetu i technologii internetowych powoduje rosnące zapotrzebowanie na zaawansowane metody zarządzania informacją. Niniejszy rozdział opisuje nową metodę reprezentacji wiedzy oraz zestaw algorytmów wykorzystujących tę reprezentację, nazwane wspólnie podejściem kartograficznym. Podejście to bazuje na logice opisowej, zdobywającej ostatnio coraz większą popularność, dzięki zastosowaniu w ramach inicjatywy Semantic Web....
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
SETI-1 - system wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
PublicationW artykule przedstawiono założenia projektowe oraz koncepcję architektury systemu SETI-1, przeznaczonego do wspomagania zarządzania Wydziałem ETI PG. Artykuł stanowi wstęp do serii artykułów opisujących szczegółowo poszczególne komponenty systemu oraz aspekty technologiczne budowy systemu. Opisano założenia przyjete na poczatku projektu, architekturę logiczną i fizyczną, stan aktualny budowy systemu, aspekty wdrożeniowe oraz perspektywy...
-
Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
PublicationRozdział prezentuje podstawy algorytmu Spider przetwarzania zapytań asercjonalnych (typu ABox) w rozproszonej bazie wiedzy opartej na logice opisowej. Algorytm Spider może być stosowany w celu integracji wiedzy z różnych źródeł. W rozdziale pokrótce przedstawiono zasadę kartograficznej reprezentacji wiedzy, sposób odwzorowywania terminologii różnych źródeł oraz oszacowano złożoność obliczeniową przedstawianego algorytmu.
-
Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
PublicationSystemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...
-
Przetwarzanie i wnioskowanie z wiedzy o różnym poziomie zaufania
PublicationOntologie i bazy wiedzy wykorzystuje się w wielu zastosowaniach, takŜe takich, w których wnioskowanie ma charakter krytyczny, jak np. w przypadku systemów medycznych. W rozdziale przedstawione zostały kwestie zaufania do danych przechowywanych w bazach wiedzy i pobieranych z zewnętrznych źródeł. Opisane zostały przykłady uwzględnienia aspektów zaufania wykorzystujące kartograficzną reprezentację wiedzy - nowe podejście opracowane...
-
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Metoda ELPAR Łączenia ontologii oparta na ich kartograficznej reprezentacji
PublicationJednym z głównych problemów związanych z integracją wiedzy z różnych źródeł jest opracowanie metody integracji ontologii. Źródła wiedzy są opisane różnymi ontologiami, zazwyczaj tworzonymi niezależnie od siebie. Integracja wiedzy z tych źródeł wymaga zdefiniowania jednej ontologii nadrzędnej "rozumiejącej" wszystkie terminy pojawiające się w ontologiach opisujących źródła. W artykule zostały przedstawione podstawy metody ELPAR...
-
Inference Mechanisms for Knowledge Management System in E-health Environment
PublicationW artykule zaprezentowano badania i ich wyniki osiągnięte w trakcie prac na systemem zarządzania wiedzą dla systemu typu e-health PIPS (ang. Personalised Information Platform for Life and Health Services)Opisano warstwę semantyczną systemu zarządzania wiedzą, a w szczególności skoncentrowano się na silniku wnioskującym.Poddano dyskusji następujące zagadnienia: analizę dostępnych narzędzi wnioskujący i ich zgodności ze standardem...
-
Designing world closures for knowledge-based system engineering
PublicationWraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...
-
Capturing semantics of semi-structured data using partial-order trees
PublicationW artykule zaprezentowano nowe podejście do problemu klasyfikacji danych semistrukturalnych. Kryteria klasyfikacji bazują na strukturze danych (zwanej typem danych) oraz na ich usytuowaniu w grafir danych (zwanym rolą danych). Zastosowano model OEM (Object Exchange Model) do reprezentacji nazy danych semistrukturalnych. Bazując na tej reprezentacji, definiuje się typy i role obiektów semistrukturalnych i organizuje się je w struktury...
-
Aspekty technologiczne projektu SETI-1
PublicationPrzedstawiono technologiczne aspekty projektu systemu SETI-1, przeznaczonego do wspomagania zarządzania Wydziałem Elektroniki, Telekomunikacji i Informatyki PG. Opisano wybrane środowisko wytwórcze w podziale na część sprzętową i programową. W tym samym układzie przedstawiono środowisko wykonania. szczególny nacisk położono na wybrane technologie i narzędzia programistyczne.
Year 2006
-
Zależności między ontologiami i ich wpływ na problem integracji ontologii
PublicationZarządzanie wiedzą w środowisku rozproszonym wymaga opracowania efektywnej metody integracji ontologii. W tym celu w ramach różnych prac zaproponowano wykorzystanie różnorodnych algorytmów. Między innymi zaproponowano pewne algorytmy wspomagające proces integracji ontologii oparty na metodzie kartograficznej, której główną cechą jest wykorzystanie sygnaturowej reprezentacji terminów zdefiniowanych w ontologii. Dobór odpowiednich...
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publication -
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublicationArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Ontologie w Sieci Semantycznej
PublicationWraz z nastaniem ery Internetu i jego gwałtownym rozwojem, zasadniczym problemem dla współczesnej informatyki stała się automatyzacja pozyskiwania olbrzymich zasobów wiedzy ludzkiej w nim zgromadzonych. Wiedza ta ma bardzo zróżnicowany charakter z uwagi na wielość formatów zapisu danych, a przede wszystkim z uwagi na różny stopień jej ustrukturalizowania. Jedną z najbardziej popularnych idei dążących do systematycznego podejścia...
-
Ontological queries supporting decision process in KaSea system
PublicationWraz z rozwojem baz wiedzy pojawiły się systemy ekspertowe, które wykorzystują je do wsparcia procesu podejmowania decyzji. Systemy Wsparcia Decyzyjnego (SWD), które są tematem niniejszego artykułu, komunikują się z bazami wiedzy, wypełniając je znanymi faktami i odczytując nowo wywnioskowane informacje. Jednakże istnieją sytuacje, w których SWD otrzymują niejednoznaczną odpowiedź od bazy wiedzy. Wówczas pojawia się potrzeba określenia,...
-
Managing Data from Heterogeneous Data Sources Using Knowledge Layer
Publication -
Managing data from heterogeneous data sources using knowledge layer
PublicationW procesie integrowania danych przy użyciu ontologii, ważne jest aby zarządzać danymi przechowywanymi w zewnętrznych źródłach, analogicznie jak tymi przechowywanymi w Bazie Wiedzy. Zaprezentowana w poprzednich pracach metoda kartograficznej reprezentacji wiedzy pozwala na wnioskowanie z danych przechowywanych w Bazie wiedzy. Rozwiązanie zaprezentowane w tej pracy umożliwia wykorzystanie metody kartograficznej do wnioskowania z...
-
Concrete-domain reasoning techniques in knowledge cartography
PublicationWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Analiza problemu zaufania do ontologii dla różnych modeli wnioskowania
PublicationW rzeczywistych systemach zarządzania wiedzą, a przede wszystkim w systemach rozproszonych gromadzących wiedzę z różnych źródeł, problem niepewności i zaufania do ontologii, jak również odpowiedzi udzielanych przez bazy wiedzy nabiera szczególnego znaczenia. Sformalizowanie problemu i przyjęcie właściwego modelu wnioskowaniaw różnych zastosowaniach wymaga szczegółowej analizy. Niniejsza praca podejmuje próbę usystematyzowania tej...
Year 2007
-
Wnioskowanie z dziedzin konkretnych w podejściu kartograficznym
PublicationWiele zjawisk w świecie rzeczywistym opisujemy, korzystając z liczb i symboli. W logice opisowej służą do tego tzw. dziedziny konkretne, w których możemy wyróżniać zakresy wartości, posługując się predykatami wykorzystującymi predefiniowane funkcje i relacje. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne...
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublicationRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
Problemy wnioskowania z ontologii Semantic Web
PublicationIdea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...
-
Ontological queries supporting decision process in KaSea system
PublicationWraz z rozwojem baz wiedzy pojawiły się systemy ekspertowe, które wykorzystują je do wsparcia procesu podejmowania decyzji. Systemy Wsparcia Decyzyjnego (SWD), które są tematem niniejszego artykułu, komunikują się z bazami wiedzy, wypełniając je znanymi faktami i odczytując nowo wywnioskowane informacje. Jednakże istnieją sytuacje, w których SWD otrzymują niejednoznaczną odpowiedź od bazy wiedzy. Wówczas pojawia się potrzeba określenia,...
-
Hierarchiczny podział przestrzeni ontologii na konteksty
PublicationSemantyka języka OWL wprowadza pojęcie przestrzeni ontologicznej, w której współistnieje wiele ontologii w różnym stopniu ze sobą powiązanych. Wielkość i jednolitość tej przestrzeni jest przyczyną trudności w interpretacji i wnioskowaniu. Zaproponowana w wielu pracach kontekstualizacja przestrzeni ontologii wniosła pewien porządek do opisu zależności między ontologiami i wprowadziła pojęcie interpretacji lokalnych. W tym rozdziale...
-
Dane, informacje i wiedza w Semantic Web
PublicationW rozdziale podjęto próbę usystematyzowania pozornie dobrze znanych pojęć informatycznych, takich jak dane, informacja i wiedza, w kontekście burzliwego rozwoju zasobów informacyjnych ludzkości spowodowanego powstaniem i gwałtownym rozwojem sieci WWW. Zaprezentowane podejście opiera się na ustabilizowanym dorobku informatyki w zakresie baz danych oraz na rozwijającym się dynamicznie dorobku w zakresie ontologii i baz wiedzy. Te...
-
Creating and application of maps of concepts for dl ontologies
PublicationW poprzednich pracach wprowadzono metodę reprezentacji wiedzy, zwaną Kartografią Wiedzy. Metoda ta pozwala na zapisanie, w formie tzw. map konceptów, zależności pomiędzy konceptami wyróżnionymi w terminologii, a następnie stopniowe (wraz ze wzrostem naszej wiedzy) przypisywanie indywidualnym obiektom tych konceptów. Efektywność budowy map konceptów jest kluczowym czynnikiem wpływającym na możliwość użycia metody. Niniejsza praca...
Year 2008
-
Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu
PublicationW rozdziale zaprezentowano wyniki grupy badawczej Knowledge Management Group at Gdańsk University of Technology (KMG@GUT) w zakresie nowych metod reprezentacji i przetwarzania wiedzy sformułowanej w formie ontologii. Metody te wpisują się w aktualne kierunki rozwojowe inicjatywy Semantic Web: wykorzystują do zapisu ontologii logikę opisową (a więc są zgodne ze standardem OWL-DL), biorą pod uwagę rozproszenie wiedzy pomiędzy różne...
-
Techniki modularyzacji ontologii
PublicationW ciągu ostatnich kilku lat tematem wielu prac naukowych stała się modularyzacja ontologii. Istnieje kilka przyczyn dużego zainteresowania tym kierunkiem prac. Z jednej strony ontologie wykazały swoją przydatność w różnego rodzaju przedsięwzięciach związanych z inicjatywą Semantic Web. Z drugiej strony okazało się, że po przekroczeniu pewnej granicy wielkości ontologii inżynierowie wiedzy natykają się na problemy, z którymi inżynieria...
-
Processing and Querying Description Logic Ontologies Using Cartographic Approach
Publication
seen 3195 times