Abstrakt
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. 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 wprowadzeniu w logikę opisową, prezentowane są 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 dla potrzeb projektu realizowanego w ramach 6. Programu Ramowego 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ść.
Autor (1)
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Publikacja w czasopiśmie
- Typ:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Opublikowano w:
-
Elektronika : konstrukcje, technologie, zastosowania
strony 80 - 84,
ISSN: 0033-2089 - Język:
- polski
- Rok wydania:
- 2007
- Opis bibliograficzny:
- Goczyła K.: Problemy wnioskowania z ontologii Semantic Web// Elektronika : konstrukcje, technologie, zastosowania. -., nr. nr 9 (2007), s.80-84
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 62 razy