Francesco M. Donini

Latest

• $mathcalAL$-log: integrating datalog and description logics
• A Refined Architecture for Terminological Systems: Terminology = Schema + Views
• Adding epistemic operators to description logics
• Reasoning in Description Logics
• Decidable reasoning in terminological knowledge representation systems