Logika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii o dużej liczbie osobników. Dodatkowo w artykule przedstawiono rezultaty eksperymentów porównujących algorytm kartograficzny z innymi silnikami wnioskującymi.
Authors
Additional information
- DOI
- Digital Object Identifier link open in new tab 10.1007/11495772_26
- Category
- Publikacja w czasopiśmie
- Type
- artykuł w czasopiśmie z listy filadelfijskiej
- Language
- angielski
- Publication year
- 2005
