private void setup() { _distVars = new ArrayList<>(); _consts = new ArrayList<>(); for (final ATermAppl a : _arguments) if (ATermUtils.isVar(a)) _distVars.add(a); else _consts.add(a); }
private void setup() { _distVars = new ArrayList<>(); _consts = new ArrayList<>(); for (final ATermAppl a : _arguments) if (ATermUtils.isVar(a)) _distVars.add(a); else _consts.add(a); }
private static boolean isDatatypeProperty(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isDatatypeProperty(t)) { _logger.warning("Undefined datatype property used in query: " + t); return false; } return true; }
private static boolean isObjectProperty(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isObjectProperty(t)) { _logger.warning("Undefined object property used in query: " + t); return false; } return true; }
private static boolean isAnnotationProperty(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isAnnotationProperty(t)) { _logger.warning("Undefined annotation property used in query: " + t); return false; } return true; }
private static boolean isDatatype(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isDatatype(t)) { _logger.warning("Undefined datatype used in query: " + t); return false; } return true; }
private static boolean isIndividual(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isIndividual(t)) { _logger.warning("Undefined _individual used in query: " + t); return false; } return true; }
private static boolean isDatatype(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isDatatype(t)) { _logger.warning("Undefined datatype used in query: " + t); return false; } return true; }
private static boolean isObjectProperty(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isObjectProperty(t)) { _logger.warning("Undefined object property used in query: " + t); return false; } return true; }
private static boolean isDatatype(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isDatatype(t)) { _logger.warning("Undefined datatype used in query: " + t); return false; } return true; }
private void runNext(final ResultBinding binding, final List<ATermAppl> arguments, final ATermAppl... values) { final ResultBinding candidateBinding = binding.duplicate(); for (int i = 0; i < arguments.size(); i++) if (ATermUtils.isVar(arguments.get(i))) candidateBinding.setValue(arguments.get(i), values[i]); exec(candidateBinding); }
private void runNext(final ResultBinding binding, final List<ATermAppl> arguments, final ATermAppl... values) { final ResultBinding candidateBinding = binding.duplicate(); for (int i = 0; i < arguments.size(); i++) if (ATermUtils.isVar(arguments.get(i))) candidateBinding.setValue(arguments.get(i), values[i]); exec(candidateBinding); }
private static boolean isProperty(final ATermAppl t, final KnowledgeBase kb) { if (!ATermUtils.isVar(t) && !kb.isObjectProperty(t) && !kb.isDatatypeProperty(t) && !kb.isAnnotationProperty(t)) { _logger.warning("Not an object/data/annotation property: " + t); return false; } return true; }
private Optional<Node> convertAtomObject(final ATermAppl t) { if (ATermUtils.isVar(t)) { final Optional<Node> node = JenaUtils.makeGraphNode((ATermAppl) t.getArgument(0)); if (node.isPresent()) TripleAdder.add(_graph, node.get(), RDF.type, SWRL.Variable); return node; } else return JenaUtils.makeGraphNode(t); }
private Optional<Node> convertAtomObject(final ATermAppl t) { if (ATermUtils.isVar(t)) { final Optional<Node> node = JenaUtils.makeGraphNode((ATermAppl) t.getArgument(0)); if (node.isPresent()) TripleAdder.add(_graph, node.get(), RDF.type, SWRL.Variable); return node; } else return JenaUtils.makeGraphNode(t); }
private void ensureTypedProperty(final ATermAppl pred) { if (ATermUtils.isVar(pred)) return; final Role r = _kb.getRole(pred); if (r == null) throw new UnsupportedQueryException("Unknown role: " + pred); if (r.isUntypedRole()) throw new UnsupportedQueryException("Untyped role: " + pred); }
private SWRLIArgument parseToAtomIObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName())); if (_kb.isIndividual(t)) return _factory.getSWRLIndividualArgument(_conceptConverter.convertIndividual(t)); throw new InternalReasonerException("Unrecognized term: " + t); }
private SWRLIArgument parseToAtomIObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName())); if (_kb.isIndividual(t)) return _factory.getSWRLIndividualArgument(_conceptConverter.convertIndividual(t)); throw new InternalReasonerException("Unrecognized term: " + t); }
private SWRLDArgument parseToAtomDObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName())); else if (ATermUtils.isLiteral(t)) return _factory.getSWRLLiteralArgument((OWLLiteral) _conceptConverter.convert(t)); throw new InternalReasonerException("Unrecognized term: " + t); } }
private AtomIObject convertAtomIObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return new AtomIVariable(((ATermAppl) t.getArgument(0)).getName()); else if (_originalKB.isIndividual(t)) return new AtomIConstant(t); else if (ATermUtils.isAnon(t)) return new AtomIConstant(t); throw new InternalReasonerException("Unrecognized term: " + t); }