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