final Root ic, final TripleOperator tp, final Item data) {
RudimentaryRDFSchemaInference.addInferenceRulesForInstanceData(ic, tp,
data);
try {
// (VIII)
final TriplePattern tp_1_1 = tp(v("aaa"), DOMAIN, v("xxx"));
final TriplePattern tp_1_2 = tp(v("uuu"), v("aaa"), v("yyy"));
addTps(data, ic, tp, v("uuu"), TYPE, v("xxx"), tp_1_1, tp_1_2);
// ((IX)
final TriplePattern tp_2_1 = new TriplePattern(v("aaa"), RANGE,
v("xxx"));
final TriplePattern tp_2_2 = new TriplePattern(v("uuu"), v("aaa"),
v("vvv"));
addTps(data, ic, tp, v("vvv"), TYPE, v("xxx"), tp_2_1, tp_2_2);
// (X)
// already in RudimentaryRDFSchemaInference
// (XI)
final TriplePattern tp_rdfs11_1 = new TriplePattern(v("c1"),
SUBCLASS, v("c2"));
final TriplePattern tp_rdfs11_2 = new TriplePattern(v("s"), TYPE,
v("c1"));
addTpsFilter(data, ic, tp, v("s"), TYPE, v("c2"),
"Filter(?c1!=?c2)", tp_rdfs11_1, tp_rdfs11_2);
// (XII)
final TriplePattern tp_rdfs12_1 = new TriplePattern(v("p1"),
DOMAIN, v("c"));
final TriplePattern tp_rdfs12_2 = new TriplePattern(v("p2"),
SUBPROPERTY, v("p1"));
final TriplePattern tp_rdfs12_3 = new TriplePattern(v("s"),
v("p2"), v("o"));
addTps(data, ic, tp, v("s"), TYPE, v("c"), tp_rdfs12_1,
tp_rdfs12_2, tp_rdfs12_3);
// (XIII)
final TriplePattern tp_rdfs13_1 = new TriplePattern(v("p1"), RANGE,
v("c"));
final TriplePattern tp_rdfs13_2 = new TriplePattern(v("p2"),
SUBPROPERTY, v("p1"));
final TriplePattern tp_rdfs13_3 = new TriplePattern(v("s"),
v("p2"), v("o"));
addTps(data, ic, tp, v("o"), TYPE, v("c"), tp_rdfs13_1,
tp_rdfs13_2, tp_rdfs13_3);
// (XIV)
final TriplePattern tp_14 = tp(v("s"), v("p"), v("o"));
addTps(data, ic, tp, v("p"), SUBPROPERTY, v("p"), tp_14);
// (XV)
final TriplePattern tp_15 = tp(v("s"), v("p"), v("o"));
addTps(data, ic, tp, v("o"), SUBCLASS, v("o"), tp_15);
} catch (final Exception e) {
System.out.println(e);
e.printStackTrace();