prof. dr hab. inż. Krzysztof Goczyła
Zatrudnienie
- Profesor w Katedra Inżynierii Oprogramowania
Obszary badawcze
Publikacje
Filtry
wszystkich: 110
Katalog Publikacji
Rok 2003
-
Zastosowanie technologii Web Farming dla poprawy procesu wytwarzania oprogramowania
PublikacjaW 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.
Rok 2008
-
Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu
PublikacjaW 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
PublikacjaW 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
Publikacja -
Processing and querying description logic ontologies using cartographic approach
PublikacjaLogika opisowa jest formalizmem reprezentowania wiedzy, który ostatnio zyskuje na znaczeniu wśród inżynierów. Niniejszy rozdział, po krótkim wprowadzeniu do logiki opisowej, prezentuje silnik wnioskujący opracowany na Politechnice Gdańskiej. Silnik ten, o nazwie KaSeA, opiera się na oryginalnej idei kartografii wiedzy. Niniejszy rozdział pokazuje podstawy kartografii wiedzy, jej ograniczenia i potencjał rozwoju, a także porównuje...
Rok 2006
-
Zależności między ontologiami i ich wpływ na problem integracji ontologii
PublikacjaZarzą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
PublikacjaW 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
Publikacja -
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublikacjaArtykuł 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
PublikacjaWraz 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...
Rok 2005
-
Wydobywanie wiedzy i klasyfikacja danych w systemie typu Web Farming
PublikacjaW 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
PublikacjaRozwó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
PublikacjaLogika 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
PublikacjaW 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
PublikacjaRozdział 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
PublikacjaSystemy 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
PublikacjaOntologie 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
PublikacjaLogika 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ż...
Rok 2010
-
Wnioskowanie z różnych źródeł osobników w systemie RKaSeA
PublikacjaNiniejszy artykuł prezentuje koncepcję zarządzania wiedzą asercjonalną zastosowaną w systemie zarządzania wiedzą RKaSeA. Koncepcja ta traktuje opis świata jako zbiór osobników. Dzięki temu udało się objąć nią również mechanizmy obsługi reguł oraz mechanizm pozyskiwania wiedzy z zewnętrznych źródeł danych. Mechanizmy te sa traktowane jako dodatkowe typy źródeł osobników.
-
Wewnętrzna reprezentacja konglomeratowej bazy wiedzy w systemie RKaSeA
PublikacjaNiniejszy artykuł prezentuje koncepcję wewnętrznej reprezentacji wiedzy ontologicznej zastosowaną w nowo opracowanym systemie zarządzania wiedzą ontologiczno-regułową RKaSeA. Reprezentacja ta stanowi praktyczne wdrożenie opublikowanej wcześniej koncepcji modularyzacji bazy wiedzy polegającej na jej podziale na semantyczne jednostki - konglomeraty. Opracowana metoda reprezentacji stanowi zarazem rozwinięcie wprowadzonej wcześniej...
-
Terminological and Assertional Queries in KQL Knowledge Access Language
PublikacjaOne of the directions of development of information systems in recent years in the evolution of data-based systems into the knowledge-based systems. As a part of this process there is ongoing work on a whole range of languages for accessing knowledge bases. They can be used in a variety of applications, however their main drawback is the lack of clearly defined algebra representing a theoretical basis for them. For instance, such...
Rok 2007
-
Wnioskowanie z dziedzin konkretnych w podejściu kartograficznym
PublikacjaWiele 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ą
PublikacjaRozdział 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
PublikacjaIdea 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...
Rok 2001
Rok 2016
-
Using contextual conditional preferences for recommendation taska: a case study in the movie domain
PublikacjaRecommendation engines aim to propose users items they are interested in by looking at the user interaction with a system. However, individual interests may be drastically influenced by the context in which decisions are taken. We present an attempt to model user interests via a set of contextual conditional preferences. We show that usage of proposed preferences gives reasonable values of the accuracy and the precision even when...
-
Rating Prediction with Contextual Conditional Preferences
PublikacjaExploiting contextual information is considered a good solution to improve the quality of recommendations, aiming at suggesting more relevant items for a specific context. On the other hand, recommender systems research still strive for solving the cold-start problem, namely where not enough information about users and their ratings is available. In this paper we propose a new rating prediction algorithm to face the cold-start...
Rok 2012
-
Towards context-semantic knowledge bases
PublikacjaW artykule dyskutujemy zagadnienie projektowania kontekstowych baz wiedzy. W oparciu o tezę, że kontekstualizacja jest integralną części procesu konceptualizacji, przeprowadzamy rozszerzenie wybranych pojęć metody OntoClean tak, by choć częściowo uwzględniała ten fakt. Wprowadzamy także definicję ważnego pojęcia semantycznej kontekstowej bazy wiedzy i pokazujemy, że bazy zgodne z modelem SIM spełniają tę definicję.
-
Schemat konglomeratowej bazy wiedzy
PublikacjaArtykuł przedstawia raport z prac nad rozwojem konglomeratowych baz wiedzy w kierunku opracowania metodyki ich zastosowań inżynierskich. Podział użytkowników bazy na projektantów i użytkowników końcowych narzucił konieczność określenia czym jest schemat bazy, a czym jej instancja. Pozwoliło to na opracowanie metodyki, w której projektowanie jest postrzegane jako proces tworzenia schematu.
Rok 2017
-
Top k Recommendations using Contextual Conditional Preferences Model
PublikacjaRecommender systems are software tools and techniques which aim at suggesting to users items they might be interested in. Context-aware recommender systems are a particular category of recommender systems which exploit contextual information to provide more adequate recommendations. However, recommendation engines still suffer from the cold-start problem, namely where not enough information about users and their ratings is available....
-
Serendipitous Recommendations Through Ontology-Based Contextual Pre-filtering
PublikacjaContext-aware Recommender Systems aim to provide users with better recommendations for their current situation. Although evaluations of recommender systems often focus on accuracy, it is not the only important aspect. Often recommendations are overspecialized, i.e. all of the same kind. To deal with this problem, other properties can be considered, such as serendipity. In this paper, we study how an ontology-based and context-aware...
Rok 2013
-
Theoretical and Architectural Framework for Contextual Knowledge Bases
PublikacjaThe paper presents the approach aimed at building modularized knowledge bases in a systematic, context-aware way. The paper focuses on logical modeling of such knowledge bases, including an underlying SIM metamodel. The architecture of a comprehensive set of tools for knowledge-base systems engineering is presented. The tools enable an engineer to design, create and edit a knowledge base schema according to a novel context approach...
-
System obsługi kontekstowych baz wiedzy CongloS
PublikacjaW artykule przedstawiono założenia, architekturę i niektóre aspekty implementacyjne systemu CongloS - systemu obsługi kontekstowych baz wiedzy opartych na modelu SIM. W swoim działaniu CongloS wykorzystuje wiele specyficznych elementów koncepcji organizacji bazy wiedzy: model tarsetowy, model SIM, metaontologię opisu schematu, własne sprzęgi międzymodularne i możliwość zadawania zapytań. Koncepcje te również są opisane w artykule,...
-
PROBLEMY OCENY JAKOŚCI ONTOLOGII
PublikacjaW artykule podjęto rozważania na temat tego, czym jest jakość ontologii, jak zmierzyć jakość istniejących ontologii i jak tworzyć ontologie wysokiej jakości. Dokonano przeglądu istniejących metryk ontologii, które mogą posłużyć do oceny jakości ontologii. Przedstawiono problem zapewniania i oceny jakości ontologii modularnych jako ważny problem badawczy w obliczu pojawiania się skom¬plikowanych, trudnych do użycia i modyfikacji...
Rok 1997
Rok 1986
Rok 2002
-
Technologie wytwarzania oprogramowania
PublikacjaPraca 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.
PublikacjaPraca 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,...
Rok 2018
-
Sztuczna inteligencja - oksymoron czy oczywistość?
PublikacjaW artykule przedstawiono historię powstania i rozwoju sztucznej inteligencji, jej główne obszary badawcze i perspektywy. Szczególną uwagę poświęcono uczeniu maszynowemu jako głównemu obszarowi badań naukowych. Sformułowano i skomentowano hipotezy dotyczące perspektyw sztucznej inteligencji.
Rok 2009
-
System wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki GdańskiejW : Perspektywy Rozwoju e-Uczelni w Kontekście Globalnej Informatyzacji; - e-uczelnia, konferencja krajowa; 14-15 maja 2009, Gdańsk. - [skrypt prezentacji]
PublikacjaW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
System wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
PublikacjaW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
S-Modules - An Approach to Capture Semantics fo Modularized DL Knowledge Bases
PublikacjaModularity of ontologies has been recently recognized as a key requirement for collaborative ontology engineering and distributed ontology reuse. Partitioning of an ontology into modules naturally gives rise to development of module processing methods. In this paper we describe an algebra of ontology modules developed during our work on a Knowledge Base Management System called RKaSeA. The idea differs from other algebras in the...
-
Realizacja systemu zarządzania wydziałem wyższej uczelni w technologiach typu open-source
PublikacjaW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
Rok 2004
-
Schema mining in XML documents.
PublikacjaW 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.
PublikacjaW 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.
PublikacjaW 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...
Rok 1988
Rok 2014
-
Reasoning with Projection in Multimodular Description Logics Knowledge Bases
PublikacjaWe present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the...
Rok 1995
-
Optimal routing in a transportation network
Publikacja
Rok 2011
-
Ontologie w systemach informatycznych
PublikacjaZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
wyświetlono 3206 razy