A Proof Theory for Description Logics by Alexandre Rademaker
English | 2012 | ISBN-10: 144714001X | 116 pages | PDF | 1,5 MB
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 represented knowledge.