Home » Research » Research outputs » A Polynomial Time Subsumption Algorithm for EL⊥ under Rational Closure

A Polynomial Time Subsumption Algorithm for EL⊥ under Rational Closure

2015