By Franz Baader,Ian Horrocks,Carsten Lutz,Uli Sattler

ISBN-10: 0521695422

ISBN-13: 9780521695428

ISBN-10: 0521873614

ISBN-13: 9780521873611

Description logics (DLs) have a protracted culture in desktop technology and information illustration, being designed in order that area wisdom might be defined and in order that pcs can cause approximately this information. DLs have lately won elevated significance for the reason that they shape the logical foundation of generic ontology languages, specifically the internet ontology language OWL. Written through 4 popular specialists, this is often the 1st textbook on description logics. it really is appropriate for self-study by means of graduates and because the foundation for a school direction. ranging from a simple DL, the booklet introduces the reader to their syntax, semantics, reasoning difficulties and version concept and discusses the computational complexity of those reasoning difficulties and algorithms to resolve them. It then explores numerous reasoning suggestions, knowledge-based functions and instruments and it describes the connection among DLs and OWL.

Show description

Read Online or Download An Introduction to Description Logic PDF

Best information technology books

Download PDF by Ann L. R. McKinnell,Eric Yen: Oracle 11g Streams Implementer's Guide

This publication has an educational technique that gives either theoretical causes and useful step by step examples utilizing primary Oracle demo schemas. step by step examples comprise use of either firm supervisor and the SQLPLUS command-line interface. The authors have mixed their stories of operating with clients in Oracle help, Oracle education and schooling, and Oracle consulting, to spot the commonest parts of misunderstanding and misinterpretation skilled by means of Oracle Streams clients.

Download e-book for iPad: Drupal 7 Social Networking by Michael Keith Peacock

This e-book is filled with transparent directions and cautious reasons for making a strong social networking web site utilizing Drupal 7. With each one bankruptcy, you upload new gains and content material till your social community is able to be published to the web the place it could possibly develop. by means of the tip of this ebook, you've got a strong social community which you could both decide to version at the case-study, or create for your personal specific layout.

Get Enterprise Architecture A to Z: Frameworks, Business Process PDF

Pushed through the necessity and wish to lessen charges, agencies are confronted with a suite of choices that require analytical scrutiny. firm structure A to Z: Frameworks, enterprise technique Modeling, SOA, and Infrastructure expertise examines cost-saving traits in structure making plans, management, and administration.

Download e-book for kindle: Operational Anonymization: Regain Your Privacy and Anonymity by Scott Mayer

In a web international the place every little thing calls for signing off on novel-length phrases of privateness that not anyone ever reads, the idea that of anonymity can look absurdly unachievable. fortunately, computing device whiz and defense specialist Scott Mayer is right here to proportion with you the guidelines and methods of darkish web hacker boards.

Additional resources for An Introduction to Description Logic

Example text

Download PDF sample

An Introduction to Description Logic by Franz Baader,Ian Horrocks,Carsten Lutz,Uli Sattler

by Richard

Rated 4.40 of 5 – based on 30 votes