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

Abstract

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.

Citations

5

CrossRef
0

Web of Science
1 1

Scopus

Authors (4)

Krzysztof Goczyła prof. dr hab. inż.
- Faculty of Electronics, Telecommunications and Informatics
- Gdańsk University of Technology
Teresa Maria Grabowska
- Faculty of Electronics, Telecommunications and Informatics
- Gdańsk University of Technology
Michał Zawadzki dr inż.
- Faculty of Electronics, Telecommunications and Informatics
- Gdańsk University of Technology
Wojciech Waloszek dr inż.
- Faculty of Electronics, Telecommunications and Informatics
- Gdańsk University of Technology

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:: Articles
Type:: artykuł w czasopiśmie z listy filadelfijskiej
Language:: English
Publication year:: 2005
Bibliographic description:: Goczyła K., Grabowska T., Zawadzki M., Waloszek W.: The cartographer algorithm for processing and querying description logics ontologies// . -., (2005),
DOI:: Digital Object Identifier (open in new tab) 10.1007/11495772_26
Verified by:: Gdańsk University of Technology