1:-use_module(library(trill)).    2
    3:- trill. % or :- trillp. or :- tornado.
    4
    5/*
    6An extract of the well-known Pizza KB, from
    7N. Drummond.A Practical Guide to Building Owl Ontologies, v1.2. University Manchester,2009.
    8*/

?- unsat('tofu',Expls). ?- inconsistent_theory(Expls).

*/

   17% Axioms
   18
   19subClassOf(soyCheeseTopping,cheeseTopping).
   20subClassOf(soyCheeseTopping,vegetableTopping).
   21subClassOf(tofu,soyCheeseTopping).
   22disjointClasses([cheeseTopping,vegetableTopping]).
   23equivalentClasses([pizza1,pizza2]). %pizza1 = pizza2
   24
   25% classAssertion(tofu,'tofu-1').