Featured books

Archives

Download 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 laptop technology and data illustration, being designed in order that area wisdom might be defined and in order that pcs can cause approximately this data. DLs have lately won elevated significance given that they shape the logical foundation of conventional ontology languages, specifically the net 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 easy DL, the e-book 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 various reasoning recommendations, 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

Best information technology books

Ethics and Project Management

Ethics performs a severe function in venture administration, yet all too frequently, its significance is ignored. This benign overlook may end up in severe effects to contributors and organisations, starting from tarnished reputations to civil and felony legal responsibility. Ethics and venture administration demonstrates the significance of creating ethics a key attention in handling initiatives and describes the affects that take place whilst moral transgressions come up.

TMap NEXT

Company pushed attempt administration (BDTM)This publication bargains enterprise and IT managers perception into the chances of exerting elevated company regulate of the try strategy: enterprise pushed try out administration (BDTM). the concept that of BDTM prioritises the end result and offers the customer of the attempt procedure (whether a enterprise or IT supervisor) the power to control the chance insurance, lead time and value of the try out method in either the making plans and the execution stages.

The Real Cyber War: The Political Economy of Internet Freedom (History of Communication)

Modern dialogue surrounding the position of the web in society is ruled by way of phrases like: net freedom, surveillance, cybersecurity, Edward Snowden and, so much prolifically, cyber warfare. in the back of the rhetoric of cyber battle is an on-going state-centered conflict for regulate of knowledge assets.

Exploring Technology and Social Space: Communications and Agency at the End of the 20th Century (New Media Cultures)

This quantity deals a severe, philosophical and epistemological framework to comprehend larger our relationships to know-how and social area. John MacGregor clever: specializes in the burgeoning technological assemblage of verbal exchange and data characterised by means of the net and our on-line world; attracts at the philosophy of Deleuze and Guattari and the actor-network sociology of Latour; and brings jointly various examples from cyborg motion pictures, tv, museums, our on-line world and debates over a brand new global details and communique order.

Additional resources for An Introduction to Description Logic

Example text

Download PDF sample

Rated 4.68 of 5 – based on 3 votes

Comments are closed.