Wyszukiwarka
Filtry
wszystkich: 35
Wyniki wyszukiwania dla: LOGIKA OPISOWA
-
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...
-
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ż...
-
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...
-
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...
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublikacjaLogika opisowa 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 prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika 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...
-
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublikacjaW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
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...
-
A Semantic Algebra for Modularized Description Logics Knowledge Bases
PublikacjaPublikacja wprowadza pojęcia modularyzacji ontologii opartej na tzw. modułach semantycznych (s-modułach) oraz algebry s-modułów. W pracy zawarto szereg twierdzeń opisujących właściwości algebry, jej związku z klasą algebr cylindrycznych oraz przedyskutowano możliwości zastosowania prezentowanych idei.
-
Ontologia PIPSDrugs: praktyczne zastosowanie metody SIM
PublikacjaMetoda SIM zmniejsza złożoność ontologii oraz upraszcza proces modelowania, jednak może też wywołać niekorzystne zjawiska, np. konieczność uproszczenia modelu lub utrudnienie wnioskowania. Na pytanie, jak duży jest zasięg szkodliwych zjawisk, może odpowiedzieć tylko praktyczne zastosowanie. Ontologia POPSDrugs jest pierwszą praktyczną realizacją opisu wiedzy na podstawie reguły metody SIM.
-
Odwzorowania międzyontologiczne w algebrze konglomeratów
PublikacjaModularyzacja i integracja ontologii to dziedziny, które w ostatnim okresie są obiektem intensywnego rozwoju. Rozwój nowych idei spowodował konieczność wprowadzenia ich systematyzacji i klasyfikacji. W niniejszym artykule przeanalizowano możliwość wyrażenia odwzorowań i złączeń za pomocą algebry konglomeratów oraz przedyskutowano możliwość wykorzystania roli algebry jako ujednoliconego medium opisu metod integracji i modularyzacji.
-
Measures for Evaluation of Structure and Semantics of Ontologies
PublikacjaArtykuł przedstawia zagadnienie miar jakości ontologii ze szczególnym uwzględnieniem ich podziału na syntaktyczne (strukturalne) i semantyczne. Na tym tle przedstawione jest nowe podejście do pomiaru właściwości semantycznych ontologii bazujące na kartografii wiedzy.
-
Contextualizing a Knowledge Base by Approximation – A Case Study
PublikacjaModular knowledge bases give their users opportunity to store and access knowledge at different levels of generality. In this paper we present how to organize a modular knowledge bases organized into contexts in which a user can express their knowledge in much simplified way, yet without losing its precision. The work is centered around the notion of approximation - i.e. reducing the arity of predicates used. The presentation is...
-
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...
-
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...
-
Managing data from heterogeneous data sources using knowledge layer
PublikacjaW 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...
-
Analiza problemu zaufania do ontologii dla różnych modeli wnioskowania
PublikacjaW 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...
-
Zastosowanie relacyjnych baz danych i logiki opisowej w systemach integracji danych.
PublikacjaArtykuł przedstawia najbardziej popularne rozwiązania problemu integracji danych: podejście standardowe, podejście rozszerzone o wiedzę dziedzinową oraz podejście hybrydowe. Opisane zostały wady i zalety poszczególnych rozwiązań oraz istniejące na rynku systemy integracji danych, wraz z analizą ich użyteczności w rzeczywistych warunkach biznesowych. Celem artykułu jest analiza tych rozwiązań pod kątem ich wykorzystania do zapisu...
-
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...