Werner Nutt

Latest

• A Refined Architecture for Terminological Systems: Terminology = Schema + Views
• Adding epistemic operators to description logics