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

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

Description logics (DLs) have a protracted culture in machine 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 won elevated value seeing that they shape the logical foundation of conventional ontology languages, particularly the net ontology language OWL. Written via 4 well known specialists, this can be the 1st textbook on description logics. it's compatible for self-study by means of graduates and because the foundation for a school direction. ranging from a simple DL, the publication 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 various reasoning options, knowledge-based purposes and instruments and it describes the connection among DLs and OWL.

Show description

Read or Download An Introduction to Description Logic PDF

Similar information technology books

Get Oracle Information Integration, Migration, and Consolidation PDF

This drastically functional advisor, interspersed with quite a few real-life case reports and genuine enterprise eventualities, indicates readers whilst, the place, and the way to exploit Oracle's wide variety of knowledge integration items. while you are a DBA, software or information architect, or facts integration professional who's operating an Oracle database or middleware and also you are looking to find out about the most recent on Oracle's info integration platform, then this ebook is for you.

Download PDF by Ginger Levin PMP PgMP: PgMP® Exam Challenge! (ESI International Project Management

Modern with the 3rd version of PMI’s application administration common, The PgMP® examination problem! includes greater than three hundred perform inquiries to aid readers hone their wisdom and try their talents. It covers all 5 of this system administration domain names: Strategic application administration, application administration existence Cycle, advantages administration, Stakeholder administration, and Governance.

Download e-book for kindle: Africa's Information Revolution: Technical Regimes and by James T. Murphy,Pádraig Carmody

Africa’s info Revolution was once lately introduced as the 2016 prizewinner of the Royal Academy for abroad Sciences - congratulations to the authors James T. Murphy and Padraig Carmody! Africa’s details Revolution offers an in-depth exam of the improvement and financial geographies accompanying the speedy diffusion of recent ICTs in Sub-Saharan Africa.

Download PDF by R. Concessao: Why focus on Software Licence Management?: A Smart Guide

Welcome to this e-book on "Why specialise in software program Licence Management"? it's a most sensible perform consultant in keeping with real case reports in pioneering, designing and enforcing software program licence administration frameworks throughout assorted agencies. the tips during this publication are in most cases derived from a means of leading edge principles, their adoption and eventual optimisation.

Additional resources for An Introduction to Description Logic

Sample text

Download PDF sample

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

by Donald

Rated 4.51 of 5 – based on 38 votes