Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

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

Ograniczanie wyników

1 Elektronika : konstrukcje, technologie, zastosowania

1 2007

1 Goczyła K.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: OWL-DL

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.