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...
|Main Author:||Rademaker, Alexandre.|
|Corporate Author:||SpringerLink (Online service)|
Springer London :
SpringerBriefs in Computer Science,
No Tags, Be the first to tag this record!