An Introduction to Description Logic
eBook - PDF

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler

Condividi libro
  1. English
  2. PDF
  3. Disponibile su iOS e Android
eBook - PDF

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler

Dettagli del libro
Indice dei contenuti
Citazioni

Informazioni sul libro

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.

Domande frequenti

Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
An Introduction to Description Logic è disponibile online in formato PDF/ePub?
Sì, puoi accedere a An Introduction to Description Logic di Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Informatique e Bases de données. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.

Informazioni

Editore
Cambridge University Press
Anno
2017
ISBN
9781108215510
Argomento
Informatique
Categoria
Bases de données

Indice dei contenuti