1:- use_module(library(trill)). 2 3:- trill. 4 5/* 6% subClassOf('a', maxCardinality(2, 's', 'c')). 7subClassOf('a', maxCardinality(1, 's', 'c')). 8propertyAssertion('s', '1', '2'). 9propertyAssertion('s', '1', '3'). 10propertyAssertion('s', '1', '4'). 11% propertyAssertion('s', '1', '5'). 12classAssertion('a', '1'). 13classAssertion('c', '2'). 14classAssertion('g', '2'). 15classAssertion('c', '3'). 16classAssertion('f', '3'). 17classAssertion('c', '4'). 18classAssertion(complementOf('g'), '4'). 19classAssertion('c', '5'). 20classAssertion(complementOf('f'), '5'). 21*/ 22 23subClassOf('a', maxCardinality(1, 's', 'c')). 24classAssertion('c', '2'). 25classAssertion('c', '3'). 26classAssertion('c', '4'). 27classAssertion('b', '2'). 28classAssertion('e', '3'). 29classAssertion('f', '4'). 30disjointClasses(['b','e','f']). 31classAssertion('a', '1'). 32propertyAssertion('s', '1', '2'). 33propertyAssertion('s', '1', '3'). 34propertyAssertion('s', '1', '4')