Introduction to Description Logic

Introduction to Description Logic
Author :
Publisher : Cambridge University Press
Total Pages : 264
Release :
ISBN-10 : 9780521873611
ISBN-13 : 0521873614
Rating : 4/5 (614 Downloads)
DOWNLOAD EBOOK
Book Synopsis Introduction to Description Logic by : Franz Baader

Download or read book Introduction to Description Logic written by Franz Baader and published by Cambridge University Press. This book was released on 2017-04-20 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.


Introduction to Description Logic Related Books

Introduction to Description Logic
Language: en
Pages: 264

Introduction to Description Logic

Authors: Franz Baader
Categories: Business & Economics
Type: BOOK - Published: 2017-04-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
A Proof Theory for Description Logics
Language: en
Pages: 109

A Proof Theory for Description Logics

Authors: Alexandre Rademaker
Categories: Mathematics
Type: BOOK - Published: 2012-05-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge rep
Non-Standard Inferences in Description Logics
Language: en
Pages: 256

Non-Standard Inferences in Description Logics

Authors: Ralf Küsters
Categories: Computers
Type: BOOK - Published: 2003-05-15 - Publisher: Springer

DOWNLOAD EBOOK

Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/supercon
Rules and Reasoning
Language: en
Pages: 269

Rules and Reasoning

Authors: Sabrina Kirrane
Categories: Computer logic
Type: BOOK - Published: 2024 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 8th International Joint Conference on Rules and Reasoning, RuleML+RR 2024, held in Bucharest, Romania, during Septe
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 752

Logic for Programming, Artificial Intelligence, and Reasoning

Authors: Robert Nieuwenhuis
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), hel
Copyright Health Wealth Mirror
Pinnacle Themes