The cartographer algorithm for processing and querying description logics ontologies

Krzysztof Goczyła; Teresa Maria Grabowska; Michał Zawadzki; Wojciech Waloszek

doi:10.1007/11495772_26

The cartographer algorithm for processing and querying description logics ontologies

Abstrakt

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.

Cytowania

5

CrossRef
0

Web of Science
1 1

Scopus

Autorzy (4)

Krzysztof Goczyła prof. dr hab. inż.
- Wydział Elektroniki, Telekomunikacji i Informatyki
- Politechnika Gdańska
Teresa Maria Grabowska
- Wydział Elektroniki, Telekomunikacji i Informatyki
- Politechnika Gdańska
Michał Zawadzki dr inż.
- Wydział Elektroniki, Telekomunikacji i Informatyki
- Politechnika Gdańska
Wojciech Waloszek dr inż.
- Wydział Elektroniki, Telekomunikacji i Informatyki
- Politechnika Gdańska

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

Słowa kluczowe

Informacje szczegółowe

Kategoria:: Publikacja w czasopiśmie
Typ:: artykuł w czasopiśmie z listy filadelfijskiej
Język:: angielski
Rok wydania:: 2005
Opis bibliograficzny:: Goczyła K., Grabowska T., Zawadzki M., Waloszek W.: The cartographer algorithm for processing and querying description logics ontologies// . -., (2005),
DOI:: Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/11495772_26
Weryfikacja:: Politechnika Gdańska