Description Logic
- "originated as an attempt to give frame languages a logical semantics"
 - most often used for classification reasoning
 - restriction to binary relations is typical
 - strong influence on Semantic Web
 - have Tbox Vs Abox vs MBox
 
Referneces
Backlinks