Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: description logic

Sortuj według:

Ogranicz wyniki do:

Problemy wnioskowania z ontologii Semantic Web

100%

Goczyła K.

tom Vol. 48, nr 9

80-84

Idea 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 np. OWL-DL, promowanym i standaryzowanym przez konsorcjum W3C. Jest to język oparty na formalizmie logicznym zwanym logiką opisową. Po krótkim i nieformalnym wprowadzeniu w logikę opisową zaprezentowano podstawowe problemy wnioskowania z ontologii opartych na logice opisowej. Następnie pokazano nową metodę rozwiązywania tych problemów, opracowaną w Katedrze Inżynierii Oprogramowania WETI PG na potrzeby projektu realizowanego w ramach 6. PR Unii Europejskiej. Metoda ta sprowadza podstawowe i niektóre zaawansowane problemy wnioskowania do operacji na ciągach bitów, co znakomicie upraszcza algorytmy wnioskowania i polepsza ich praktyczną efektywność.

The Semantic Web idea consists, among others, in creating ontologies and making them available for sharing by Internet communities. In order to fulfill this idea, ontologies must be formulated in one, commonly accepted language. In Semantic Web, OWL-DL appears to be such a language, promoted and standardized by World Wide Web Consortium. OWL-DL is based on a decidable fragment of First-Order Logic called Description Logic (DL). In the paper we make a brief introduction to DL formalism, followed by definition of basic inference problems for DL ontologies. Next, a novel inference method called Knowledge Cartography is presented. The method has been developed in the Department of Software Engineering of Gdańsk University of Technology within PIPS - a 6th European Union Framework Programme. The method reduces basic and some advanced DL inference problems to operations on bit strings, which simplifies implementation of inference algorithms and considerably improves efficiency of the inference engine.

Budowa ontologii na potrzeby oceny jakości serwisów internetowych

100%

Ziemba P. , Budziński R.

nr 2/2015 (52), t.1

66-77

In the paper the conception of integration of websites quality assessment methods was formulated. In this case the authors proposed using ontologies which will be created for those methods. For building ontologies, the Methontology methodology was used. The main problem was an evaluation of created ontology. The evaluation was done using a reasoner and description logic, which let indicate and repair errors in the modeled ontology.

W artykule przedstawiono koncepcję integracji metod oceny jakości serwisów internetowych. Do realizacji tego celu autorzy proponują zastosowanie ontologii odzwierciedlających wskazane metody. Do budowy takich ontologii zastosowano metodykę Methontology, a głównym problemem była ocena skonstruowanych ontologii. Proces oceny został przeprowadzony z wykorzystaniem mechanizmu wnioskującego i logiki opisowej, co pozwoliło na wskazanie i usunięcie błędów w modelowanej ontologii.

Modelowanie wiedzy z zakresu wytwarzania elementów maszyn z zastosowaniem logiki deskrypcyjnej

100%

Mrzygłód B. , Regulski K.

tom Vol. 79, nr 3

148--151

Celem autorów jest zaprezentować możliwość wykorzystania logiki deskrypcyjnej (opisowej) w tworzeniu „map wiedzy” będących odpowiednio sformalizowanym pod względem semantycznym i syntaktycznym sposobem modelowania wybranych fragmentów wiedzy. Takie mapy wiedzy umożliwiają semantyczny opis zasobów zrozumiały maszynowo. Przykładowym zastosowaniem logiki opisowej będzie w tym wypadku proces tworzenia baz wiedzy dotyczącej wytwarzania elementów maszyn.

Authors present the possibility of using description logic in creating "maps of knowledge” which are formalized models of selected fragments of knowledge in terms of semantics and syntactic. Such maps provide a semantic machine-understandable description of knowledge resources. An example application of description logic is the process of knowledge bases development for the production of machine parts.