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 a protracted culture in desktop technology and information illustration, being designed in order that area wisdom will be defined and in order that pcs can cause approximately this information. DLs have lately received elevated value due to the fact they shape the logical foundation of time-honored ontology languages, specifically the internet ontology language OWL. Written by way of 4 well known specialists, this can be the 1st textbook on description logics. it's compatible for self-study through graduates and because the foundation for a college direction. ranging from a easy DL, the publication introduces the reader to their syntax, semantics, reasoning difficulties and version conception and discusses the computational complexity of those reasoning difficulties and algorithms to resolve them. It then explores a number of reasoning strategies, 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

Similar information technology books

Information Worlds: Behavior, Technology, and Social Context in the Age of the Internet (Routledge Studies in Library and Information Science)

The authors present a multi-level idea of "Information Worlds" to enquire the ways that details creates the social worlds of individuals. construction upon the foundational works of Library and knowledge reports (LIS) pupil and theorist Elfreda Chatman and thinker Jurgen Habermas, in addition to from conception and study from quite a lot of different fields, the speculation of data worlds can function a theoretical motive force either in LIS reviews and throughout different disciplines that research details matters, enriching and increasing our realizing of the multi-layered position of knowledge in society.

Getting Started with Microsoft Application Virtualization 4.6

A realistic educational containing transparent, step by step causes of all of the techniques required to appreciate the know-how keen on virtualizing your program infrastructure. by means of taking the reader via correct actual international examples that may be placed into perform instantly, this e-book offers a good way to plot and layout the implementation.

Oracle Database 11g – Underground Advice for Database Administrators

This booklet is designed to hide the issues that amateur DBAs relatively fight with. This guide covers a minimum volume of theoretical info earlier than displaying you the way to beat universal difficulties by utilizing real-life examples. It covers either Oracle 11g R1 and 11g R2 in examples, with fabric appropriate to all models of Oracle.

Technik und Verfahren der diagnostischen Radiologie: Skript der Radiologie (German Edition)

Skript aus dem Jahr 2007 im Fachbereich Informatik - Technische Informatik, word: keine, , Veranstaltung: Deutsches Krebsforschungszentrum (DKFZ), Sprache: Deutsch, summary: Das Skript der Radiologie entstand im Rahmen der Grundlagenarbeit für die Dissertation des Autors im Fachgebiet der Medizinischen Informatik.

Extra info for An Introduction to Description Logic

Sample text

Download PDF sample

Rated 5.00 of 5 – based on 12 votes