Wiele zjawisk w świecie rzeczywistym opisujemy, korzystając z liczb i symboli. W logice opisowej służą do tego tzw. dziedziny konkretne, w których możemy wyróżniać zakresy wartości, posługując się predykatami wykorzystującymi predefiniowane funkcje i relacje. 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 rozdział 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ące możliwości do pokrycia wszystkich konstrukcji obecnych w interfejsie DIG i może być rozszerzone w stronę obsługi bardziej ekspresywnych logik opisowych. Rozdział przedstawia szczegóły opracowanego rozszerzenia oraz przykłady użycia. Podsumowanie wskazuje możliwe kierunki dalszych prac.
Authors
Additional information
- Category
- Publikacja monograficzna
- Type
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
- Language
- polski
- Publication year
- 2007
