The cartographer algorithm for processing and querying description logics ontologies

Authors:
Krzysztof Goczyla;Teresa Grabowska;Wojciech Waloszek;Michal Zawadzki
Affiliations:
Department of Software Engineering, Gdansk University of Technology, Gdansk, Poland;Department of Software Engineering, Gdansk University of Technology, Gdansk, Poland;Department of Software Engineering, Gdansk University of Technology, Gdansk, Poland;Department of Software Engineering, Gdansk University of Technology, Gdansk, Poland
Venue:
AWIC'05 Proceedings of the Third international conference on Advances in Web Intelligence
Year:
2005

Citing 1
Cited 3

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications

Ontological Queries Supporting Decision Process in KaSeA System

Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
The knowledge cartography – a new approach to reasoning over description logics ontologies

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Finding interactive 3D objects by their interaction properties

Multimedia Tools and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the most popular formalisms of describing knowledge is Description Logics. It has become even more popular when OWL standard has emerged. The paper presents a new reasoning algorithm – the Cartographer Algorithm – that allows for inferring implicit knowledge from a terminology (TBox) and assertions (ABox) of an ontology. The paper describes the way of processing ontologies in terms of binary signatures and an efficient way of querying ontologies containing numerous individuals. In addition, results of experiments comparing the Cartographer Algorithm with other reasoners are presented.