Skip to main content
SpringerLink
Log in

Non-Standard Inferences in Description Logics

From Foundations and Definitions to Algorithms and Analysis

  • Book
  • © 2001

Overview

Editors:
  1. Ralf Küsters

    1. Institut für Informatikund Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2100)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Introduction

    Pages 1-9

  3. Description Logics

    Pages 11-31

  4. Non-Standard Inferences

    Pages 33-72

  5. Characterizing Subsumption

    Pages 73-105

  6. LCS and MSC

    Pages 107-152

  7. Matching

    Pages 153-227

  8. Conclusion

    Pages 229-234

  9. Back Matter

    Pages 245-250
    Download chapter PDF
Back to top

Keywords

About this book

Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-standard inferences to support both the construction and the maintenance of knowledge bases, thus making the inference procedures again incomplete.
This book, which is a revised version of the author's PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research.

Editors and Affiliations

  • Institut für Informatikund Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Kiel, Germany

    Ralf Küsters

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation