Commonsense reasoning

From ONTOLORE

Non-monotonic reasoning

• Hybrid MKNF Knowledge Bases
• Circumscriptive Description Logics
• Logic programming semantics
• Logic programming and concept hierarchies

Applications

• Local Closed World Reasoning for Semantic Matchmaking

Reasoning with Inconsistency

• Inconsistency removal
• Inconsistency measurement
• Paraconsistent reasoning