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 machine technological know-how and information illustration, being designed in order that area wisdom will be defined and in order that desktops can cause approximately this information. DLs have lately received elevated value considering the fact that they shape the logical foundation of customary ontology languages, specifically the internet ontology language OWL. Written by means of 4 popular specialists, this can be the 1st textbook on description logics. it truly is compatible for self-study through graduates and because the foundation for a college direction. ranging from a easy DL, the booklet introduces the reader to their syntax, semantics, reasoning difficulties and version thought and discusses the computational complexity of those reasoning difficulties and algorithms to resolve them. It then explores quite a few reasoning strategies, knowledge-based functions 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

Digital Forensics with Open Source Tools: Using Open Source Platform Tools for Performing Computer Forensics on Target Systems: Windows, Mac, Linux, Unix, etc

Electronic Forensics with Open resource instruments is the definitive publication on investigating and examining desktops and media utilizing open resource instruments. The publication is a technical procedural consultant, and explains using open resource instruments on Mac, Linux and home windows structures as a platform for acting desktop forensics.

OECD Reviews of Innovation Policy: Mexico 2009 (ECONOMIE)

Over the last decade, Mexico has made major growth in the direction of macroeconomic balance and has undertaken vital structural reforms to extra open the economic climate to alternate and funding, and increase the functioning of markets for items and prone. even though, power gross family product (GDP) progress is still a lot too low to minimize frequent poverty and bridge the huge hole in dwelling criteria with wealthier OECD nations.

OECD Science, Technology and Innovation Outlook 2016

The totally remodeled and re-titled OECD technology, expertise and Innovation Outlook is a biennial book that goals to notify coverage makers and analysts on fresh and destiny adjustments in international technology, know-how and innovation (STI) styles and their strength implications on and for nationwide and foreign STI regulations.

Security and Auditing of Smart Devices: Managing Proliferation of Confidential Data on Corporate and BYOD Devices (Internal Audit and IT Audit)

So much firms were stuck off-guard with the proliferation of shrewdpermanent units. The IT association used to be cozy assisting the Blackberry as a result of its ease of implementation and upkeep. however the use of Android and iOS shrewdpermanent units have created a upkeep nightmare not just for the IT association yet for the IT auditors in addition.

Extra resources for An Introduction to Description Logic

Example text

Download PDF sample

Rated 4.82 of 5 – based on 47 votes