Home » Research » Research outputs » Relevant Closure: A New Form of Defeasible Reasoning for Description Logics

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics