Daniele Nardi

Latest

• $mathcalAL$-log: integrating datalog and description logics
• Adding epistemic operators to description logics
• Reasoning in Description Logics
• Deduction in concept languages: From subsumption to instance checking