Wiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych, takich jak łańcuchy znaków i liczby. Proponowane rozszerzenie może być łatwo zastosowane w istniejących rozwiązaniach, gdyż w dużej mierze wykorzystuje mechanizmy już obecne w metodzie kartograficznej. Jednocześnie daje ono wystarczającą siłę do pokrycia wszystkich konstrukcji obecnych w języku DIG i może być rozszerzone w stronę obsługi bardziej ekspresywnych logik opisowych.Artykuł przedstawia szczegóły opracowanego rozszerzenia oraz przykłady użycia i porównuje je z metodami stosowanymi w innych systemach wnioskujących. Podsumowanie wskazuje możliwe kierunki dalszych prac.
Authors
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2006