Processing and querying description logic ontologies using cartographic approach

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

doi:10.1007/978-3-540-77475-4_5

Processing and querying description logic ontologies using cartographic approach

Abstract

Logika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również w artykule zostały opisane. Również w artykule porównano przedstawione rozwiązanie z innymi systemami wnioskującymi.

Citations

1

CrossRef
0

Web of Science
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:: Conference activity
Type:: publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Language:: English
Publication year:: 2005
Bibliographic description:: Goczyła K., Grabowska T., Zawadzki M., Waloszek W.: Processing and querying description logic ontologies using cartographic approach// / : , 2005,
DOI:: Digital Object Identifier (open in new tab) 10.1007/978-3-540-77475-4_5
Verified by:: Gdańsk University of Technology