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

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

Description logics (DLs) have an extended culture in desktop technology and information illustration, being designed in order that area wisdom could be defined and in order that desktops can cause approximately this data. DLs have lately received elevated significance considering they shape the logical foundation of everyday ontology languages, specifically the net ontology language OWL. Written by way of 4 popular specialists, this can be the 1st textbook on description logics. it really is compatible for self-study by way of graduates and because the foundation for a college path. ranging from a easy DL, the ebook introduces the reader to their syntax, semantics, reasoning difficulties and version idea and discusses the computational complexity of those reasoning difficulties and algorithms to unravel them. It then explores a number of reasoning recommendations, 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

Amazon SimpleDB Developer Guide

This e-book is a pragmatic real-world educational protecting every little thing you want to learn about Amazon SimpleDB. you'll come upon examples in 3 languages: Java, Hypertext Preprocessor, and Python. This ebook is aimed toward remodeling you from a newbie to a complicated developer. while you're a developer eager to construct scalable web-based database purposes utilizing SimpleDB, then this ebook is for you.

Passing the ITIL foundation excam (Best practice Book 1)

This booklet is helping humans arrange for the ITIL® 2011 variation origin qualification examination. It includes direct hyperlinks to the complete syllabus and specifies the phrases and definitions required. The content material of this booklet is predicated at the ITIL® 2011 variation center tips and APMGs ITIL origin certificates syllabus variation 2011.

Microsoft Visio - En grön bok för gröngölingar: För version 2010 - 2016 (Swedish Edition)

Med den här boken kommer du snabbt igång med att skapa flödesscheman, organisationsscheman, Gantt-scheman, tidslinjer och planritningar i Visio. Du lär dig även hur du kan använda Visio som ett verktyg vid presentationer och föreläsningar. Allt detta på endast 36 sidor. Bokens utformande är kortfattat och koncist och kräver inte mer än lite grundläggande Windowskunskap av läsaren för att bokens exempel ska kunna följas.

Project Portfolio Management in Theory and Practice: Thirty Case Studies from around the World (Best Practices and Advances in Program Management)

Each CEO on this planet, if wondered, will regularly whinge that there are many principles to enforce, yet, regrettably, inadequate assets to complete them. This booklet presents an answer to this challenge by means of offering recommendations to evaluate the price of tasks, prioritize initiatives, and judge which initiatives to enforce and which to put off.

Additional resources for An Introduction to Description Logic

Sample text

Download PDF sample

Rated 4.48 of 5 – based on 40 votes