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*/
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').
?-
unsat('tofu',Expls)
. ?-inconsistent_theory(Expls)
.*/