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ść.
Authors
Additional information
- Category
- Publikacja w czasopiśmie
- Type
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Language
- polski
- Publication year
- 2007
Source: MOSTWiedzy.pl - publication "Problemy wnioskowania z ontologii Semantic Web" link open in new tab
