for (final ATermAppl range : ranges) if (range.getAFun().getArity() == 0 && !_kb.isClass(range)) defineClass(range);
for (final ATermAppl range : ranges) if (range.getAFun().getArity() == 0 && !_kb.isClass(range)) defineClass(range);
for (final ATermAppl range : ranges) if (range.getAFun().getArity() == 0 && !_kb.isClass(range)) defineClass(range);
defineClass(ot); if (!defineClass(st)) addUnsupportedFeature("Ignoring subClassOf axiom because the subject is not a class " + st + " rdfs:subClassOf " + ot); else if (!defineClass(ot)) addUnsupportedFeature("Ignoring subClassOf axiom because the object is not a class " + st + " rdfs:subClassOf " + ot); else defineClass(ot); _kb.addDomain(st, ot); else if (_kb.isObjectProperty(st)) defineClass(ot); defineClass(st); final ATermAppl conjunction = ATermUtils.makeAnd(list); defineClass(st); ATermAppl disjunction = ATermUtils.makeOr(list); _kb.addEquivalentClass(st, disjunction); defineClass(st); disjunction = ATermUtils.makeOr(list); _kb.addEquivalentClass(st, disjunction); if (!defineClass(st)) addUnsupportedFeature("Ignoring complementOf axiom because the subject is not a class " + st + " owl:complementOf " + ot);
defineClass(ot); if (!defineClass(st)) addUnsupportedFeature("Ignoring subClassOf axiom because the subject is not a class " + st + " rdfs:subClassOf " + ot); else if (!defineClass(ot)) addUnsupportedFeature("Ignoring subClassOf axiom because the object is not a class " + st + " rdfs:subClassOf " + ot); else defineClass(ot); _kb.addDomain(st, ot); else if (_kb.isObjectProperty(st)) defineClass(ot); defineClass(st); final ATermAppl conjunction = ATermUtils.makeAnd(list); defineClass(st); ATermAppl disjunction = ATermUtils.makeOr(list); _kb.addEquivalentClass(st, disjunction); defineClass(st); disjunction = ATermUtils.makeOr(list); _kb.addEquivalentClass(st, disjunction); if (!defineClass(st)) addUnsupportedFeature("Ignoring complementOf axiom because the subject is not a class " + st + " owl:complementOf " + ot);
defineClass(ot); if (!defineClass(st)) addUnsupportedFeature("Ignoring subClassOf axiom because the subject is not a class " + st + " rdfs:subClassOf " + ot); else if (!defineClass(ot)) addUnsupportedFeature("Ignoring subClassOf axiom because the object is not a class " + st + " rdfs:subClassOf " + ot); else defineClass(ot); _kb.addDomain(st, ot); else if (_kb.isObjectProperty(st)) defineClass(ot); defineClass(st); final ATermAppl conjunction = ATermUtils.makeAnd(list); defineClass(st); ATermAppl disjunction = ATermUtils.makeOr(list); _kb.addEquivalentClass(st, disjunction); defineClass(st); disjunction = ATermUtils.makeOr(list); _kb.addEquivalentClass(st, disjunction); if (!defineClass(st)) addUnsupportedFeature("Ignoring complementOf axiom because the subject is not a class " + st + " owl:complementOf " + ot);
defineClass(st); break; defineClass(st); break;
defineClass(st); break; defineClass(st); break;
defineClass(st); break; defineClass(st); break;