Search
Abstract
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ść.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Articles
- Type:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Published in:
-
Elektronika : konstrukcje, technologie, zastosowania
pages 80 - 84,
ISSN: 0033-2089 - Language:
- Polish
- Publication year:
- 2007
- Bibliographic description:
- Goczyła K.: Problemy wnioskowania z ontologii Semantic Web// Elektronika : konstrukcje, technologie, zastosowania. -., nr. nr 9 (2007), s.80-84
- Verified by:
- Gdańsk University of Technology
seen 61 times