private void defineProperty(final ATerm p) { if (p instanceof ATermList) for (ATermList l = (ATermList) p; !l.isEmpty(); l = l.getNext()) { final ATermAppl r = (ATermAppl) l.getFirst(); defineProperty(r); } else if (ATermUtils.isInv((ATermAppl) p)) _kb.addObjectProperty(((ATermAppl) p).getArgument(0)); else if (_originalKB.isDatatypeProperty(p)) _kb.addDatatypeProperty(p); else _kb.addObjectProperty(p); }
private void defineProperty(final ATerm p) { if (p instanceof ATermList) for (ATermList l = (ATermList) p; !l.isEmpty(); l = l.getNext()) { final ATermAppl r = (ATermAppl) l.getFirst(); defineProperty(r); } else if (ATermUtils.isInv((ATermAppl) p)) _kb.addObjectProperty(((ATermAppl) p).getArgument(0)); else if (_originalKB.isDatatypeProperty(p)) _kb.addDatatypeProperty(p); else _kb.addObjectProperty(p); }
defineProperty(l.getFirst()); _kb.addDisjointProperties(props); final ATermAppl p2 = (ATermAppl) axiom.getArgument(1); defineProperty(p1); defineProperty(p2); _kb.addDisjointProperty(p1, p2); defineProperty(p1); defineProperty(p2); _kb.addSubProperty(p1, p2); defineProperty(p1); defineProperty(p2); _kb.addEquivalentProperty(p1, p2); defineProperty(p); defineClass(c); _kb.addDomain(p, c); defineProperty(p); defineClass(c); _kb.addRange(p, c); defineProperty(p); _kb.addFunctionalProperty(p);
defineProperty(l.getFirst()); _kb.addDisjointProperties(props); final ATermAppl p2 = (ATermAppl) axiom.getArgument(1); defineProperty(p1); defineProperty(p2); _kb.addDisjointProperty(p1, p2); defineProperty(p1); defineProperty(p2); _kb.addSubProperty(p1, p2); defineProperty(p1); defineProperty(p2); _kb.addEquivalentProperty(p1, p2); defineProperty(p); defineClass(c); _kb.addDomain(p, c); defineProperty(p); defineClass(c); _kb.addRange(p, c); defineProperty(p); _kb.addFunctionalProperty(p);
final AtomIObject io1 = convertAtomIObject(i1); defineProperty(p);
final AtomIObject io1 = convertAtomIObject(i1); defineProperty(p);