An Introduction to Description Logic - download pdf or read online

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 computing device technology and data 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 due to the fact they shape the logical foundation of established ontology languages, specifically the internet ontology language OWL. Written by means of 4 well known specialists, this can be the 1st textbook on description logics. it's compatible for self-study via 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 thought and discusses the computational complexity of those reasoning difficulties and algorithms to unravel them. It then explores quite a few reasoning thoughts, 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 e-book for iPad: Fundamentals of Technology Project Management by Colleen Garton,Erika McCulloch

Designed to supply software program engineers, scholars, and IT execs with an figuring out of the basics of undertaking administration within the technology/IT box, this booklet serves as a realistic advent to the topic. up to date with details on how basics of venture administration integrates with and enhances undertaking administration Institute's undertaking administration physique of data, this assortment explains primary methodologies and methods whereas additionally discussing new expertise, instruments, and digital paintings environments.

Download PDF by Pramod K Nayar: Virtual Worlds: Culture and Politics in the Age of

This interdisciplinary cultural examine of the hot applied sciences discusses cyberculture because it mediates, and in flip is mediated by way of, the contexts of globalisation, politics, scientific technological know-how and conflict, and the geographical regions of lifestyle equivalent to studying, id, intake, and relaxation. It can pay recognition to universal and visual expressions of technoculture - together with song movies, area of interest advertising, literature, and plastic surgery - so one can spotlight its distinguishing positive aspects.

Download e-book for kindle: Linguagens Formais e Autômatos (Série Livros Didáticos UFRGS by Paulo Blauth Menezes

Apresenta os principais conceitos e resultados de linguagens formais e autômatos, de uma forma simples e acessível, sem descuidar do desenvolvimento do raciocínio nem dos aspectos matemático-formais. Atende as diretrizes curriculares do MEC.

Download e-book for iPad: Social Media and e-Diplomacy in China: Scrutinizing the by Ying Jiang

As with many spheres of public existence, public diplomatic communique is being remodeled by way of the growth of social media. greater than one hundred sixty five international governmental companies in China have launched into using Weibo (a hybrid of fb and Twitter in China) to interact with chinese language electorate and achieve out to formative years populations, one of many significant ambitions of present public international relations efforts.

Additional info 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 Jason

Rated 4.83 of 5 – based on 41 votes