Martin Buchheit

Latest

• A Refined Architecture for Terminological Systems: Terminology = Schema + Views
• Decidable reasoning in terminological knowledge representation systems