A Proof Theory for Description Logics

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

Main Author: Rademaker, Alexandre.
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language: English
Published: London : Springer London : 2012.
Series: SpringerBriefs in Computer Science,
Online Access: http://dx.doi.org/10.1007/978-1-4471-4002-3
Tags: Add Tag
No Tags, Be the first to tag this record!