A default extension to description logics and its applications
Niclas Wahllöf · 1996
This thesis discusses how to extend a family of knowledge representation formalisms known as description logics with default rules. Description logics are tailored to express knowledge in problem d ...