Skip to main content
SpringerLink
Log in
Book cover

International Atlantic Web Intelligence Conference

AWIC 2005: Advances in Web Intelligence pp 163–169Cite as

The Cartographer Algorithm for Processing and Querying Description Logics Ontologies

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3528))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Semantic Web Initiatives, http://www.semantic-web.org/

  2. OWL - Web Ontology Language Guide. W3C (2004), http://www.w3.org/TR/2004/REC-owl-guide-20040210/

  3. Baader, F.A., McGuness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, implementation, and applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  4. Racer Semantic Middleware for Industrial Projects Based on RDF/OWL, a W3C Standard, http://www.cs.concordia.ca/~haarslev/racer/

  5. Horrocks, I.: FaCT Reference Manual v1.6, Included in FaCT archive from (August 1998), http://www.cs.man.ac.uk/~horrocks/FaCT/

  6. A Semantic Web Framework for Java, http://jena.sourceforge.net/

  7. Cerebra Server, http://www.networkinference.com/products/cerebra_business/

Download references

Author information

Authors and Affiliations

  1. Department of Software Engineering, Gdansk University of Technology, ul. Gabriela Narutowicza 11/12, 80-952, Gdansk, Poland

    Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek & Michal Zawadzki

Authors
  1. Krzysztof Goczyla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Teresa Grabowska
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wojciech Waloszek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Michal Zawadzki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Systems Research Institute, Polish Academy of Sciences, Newelska 6, 01-447, Warsaw, Poland

    Piotr S. Szczepaniak

  2. Systems Research Institute, Polish Academy of Sciences, ul. Newelska 6, 01–447, Warsaw, Poland

    Janusz Kacprzyk

  3. Institute of Computer Science, Technical University of Łódź, Poland

    Adam Niewiadomski

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goczyla, K., Grabowska, T., Waloszek, W., Zawadzki, M. (2005). The Cartographer Algorithm for Processing and Querying Description Logics Ontologies. In: Szczepaniak, P.S., Kacprzyk, J., Niewiadomski, A. (eds) Advances in Web Intelligence. AWIC 2005. Lecture Notes in Computer Science(), vol 3528. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11495772_26

Download citation

  • DOI: https://doi.org/10.1007/11495772_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26219-0

  • Online ISBN: 978-3-540-31900-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation