A Proof Theory for Description Logics

A Proof Theory for Description Logics by Alexandre Rademaker.

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 representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly re...

Full description

Saved in:
Bibliographic Details
Main Author: Rademaker, Alexandre (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2012.
Edition:1st ed. 2012.
Series:SpringerBriefs in Computer Science,
Springer eBook Collection.
Subjects:
Mathematical logic.
Computer science—Mathematics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

Similar Items

Similar Items