Surniaは、OWLオントロジー/知識ベースに矛盾や論理的含意がないかどうかをチェックできます。一次定理証明器(少なくとも現時点ではOTTER)の周りでラッパーとして実装されます。（OWLをFOLに変える）Hooletとは異なり、SurniaはただOWLを三つ組みに変え、公理と混合します。
