Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis

Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis

Küsters, Ralf

Paperback

FictionMedical ReferenceGeneral Computers

ISBN10: 3540423974
ISBN13: 9783540423973
Publisher: Springer
Published: Jul 25 2001
Pages: 254
Weight: 0.82
Height: 0.55 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Computers

View All