private AtomIObject createRuleIObject(final Node node) { if (hasObject(node, RDF.type.asNode(), SWRL.Variable.asNode())) return new AtomIVariable(node.getURI()); else { final ATermAppl term = node2term(node); if (defineIndividual(term)) return new AtomIConstant(node2term(node)); else { addUnsupportedFeature("Cannot create rule _individual object for _node " + node); return null; } } }
private AtomIObject createRuleIObject(final Node node) { if (hasObject(node, RDF.type.asNode(), SWRL.Variable.asNode())) return new AtomIVariable(node.getURI()); else { final ATermAppl term = node2term(node); if (defineIndividual(term)) return new AtomIConstant(node2term(node)); else { addUnsupportedFeature("Cannot create rule _individual object for _node " + node); return null; } } }
private AtomIObject createRuleIObject(final Node node) { if (hasObject(node, RDF.type.asNode(), SWRL.Variable.asNode())) return new AtomIVariable(node.getURI()); else { final ATermAppl term = node2term(node); if (defineIndividual(term)) return new AtomIConstant(node2term(node)); else { addUnsupportedFeature("Cannot create rule _individual object for _node " + node); return null; } } }
ATermAppl ot; defineIndividual(st); if (oi != null) defineIndividual(ot);
ATermAppl ot; defineIndividual(st); if (oi != null) defineIndividual(ot);
ATermAppl ot; defineIndividual(st); if (oi != null) defineIndividual(ot);
defineIndividual(st); _kb.addType(st, ot); if (defineIndividual(st)) addUnsupportedFeature("Ignoring object value used with DatatypeProperty: " + triple); else if (!defineIndividual(st)) addUnsupportedFeature("Ignoring class expression used in subject position: " + triple); else if (!defineIndividual(ot)) addUnsupportedFeature("Ignoring class expression used in object position: " + triple); else if (defineIndividual(st) && defineIndividual(ot)) _kb.addSame(st, ot); else if (defineIndividual(st) && defineIndividual(ot)) _kb.addDifferent(st, ot); else defineIndividual(c); defineIndividual(c); break; case OWL2_AllDisjointClasses: defineIndividual(c);
defineIndividual(st); _kb.addType(st, ot); if (defineIndividual(st)) addUnsupportedFeature("Ignoring object value used with DatatypeProperty: " + triple); else if (!defineIndividual(st)) addUnsupportedFeature("Ignoring class expression used in subject position: " + triple); else if (!defineIndividual(ot)) addUnsupportedFeature("Ignoring class expression used in object position: " + triple); else if (defineIndividual(st) && defineIndividual(ot)) _kb.addSame(st, ot); else if (defineIndividual(st) && defineIndividual(ot)) _kb.addDifferent(st, ot); else defineIndividual(c); defineIndividual(c); break; case OWL2_AllDisjointClasses: defineIndividual(c);
defineIndividual(st); _kb.addType(st, ot); if (defineIndividual(st)) addUnsupportedFeature("Ignoring object value used with DatatypeProperty: " + triple); else if (!defineIndividual(st)) addUnsupportedFeature("Ignoring class expression used in subject position: " + triple); else if (!defineIndividual(ot)) addUnsupportedFeature("Ignoring class expression used in object position: " + triple); else if (defineIndividual(st) && defineIndividual(ot)) _kb.addSame(st, ot); else if (defineIndividual(st) && defineIndividual(ot)) _kb.addDifferent(st, ot); else defineIndividual(c); defineIndividual(c); break; case OWL2_AllDisjointClasses: defineIndividual(c);
defineIndividual(st); break; defineIndividual(st); _kb.addType(st, ATermUtils.BOTTOM); break;
defineIndividual(st); break; defineIndividual(st); _kb.addType(st, ATermUtils.BOTTOM); break;
defineIndividual(st); break; defineIndividual(st); _kb.addType(st, ATermUtils.BOTTOM); break;