Defeasible Description Logics

We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.

• Type: Conference
• Year: 2004
• Where: RULEML
• Authors: Guido Governatori
• Keywords: Defeasible Logic, Description Logic, Description Logic Constructors, RULEML 2004