/** * Create a variable term with the given name. * * @param name name of the variable * @return an ATermAppl with a single argument for variable name */ public static ATermAppl var(final String name) { return ATermUtils.makeVar(name); }
/** * Create a variable term with the given name. * * @param name name of the variable * @return an ATermAppl with a single argument for variable name */ public static ATermAppl var(final String name) { return ATermUtils.makeVar(name); }
/** * {@inheritDoc} */ @Override public void visit(final AtomDVariable variable) { _term = ATermUtils.makeVar(variable.getName()); }
/** * {@inheritDoc} */ @Override public void visit(final AtomIVariable variable) { _term = ATermUtils.makeVar(variable.getName()); }
@Override public void visit(final OWLAnonymousIndividual individual) { _term = ATermUtils.makeVar(individual.toStringID()); }
/** * {@inheritDoc} */ @Override public void visit(final AtomIVariable variable) { _term = ATermUtils.makeVar(variable.getName()); }
@Override public void visit(final OWLAnonymousIndividual individual) { _term = ATermUtils.makeVar(individual.toStringID()); }
@Override public void visit(final OWLAnonymousIndividual individual) { _term = ATermUtils.makeVar(individual.toStringID()); }
/** * {@inheritDoc} */ @Override public void visit(final AtomDVariable variable) { _term = ATermUtils.makeVar(variable.getName()); }
static QueryParameters getQueryParameters(QuerySolution initialBindingParam) { final QueryParameters parameters = new QueryParameters(); QuerySolution initialBinding = initialBindingParam; if (initialBinding == null) initialBinding = new QuerySolutionMap(); for (final Iterator<String> iter = initialBinding.varNames(); iter.hasNext();) { final String varName = iter.next(); final ATermAppl key = ATermUtils.makeVar(varName); final ATermAppl value = JenaUtils.makeATerm(initialBinding.get(varName)); parameters.add(key, value); } return parameters; } }
static QueryParameters getQueryParameters(QuerySolution initialBindingParam) { final QueryParameters parameters = new QueryParameters(); QuerySolution initialBinding = initialBindingParam; if (initialBinding == null) initialBinding = new QuerySolutionMap(); for (final Iterator<String> iter = initialBinding.varNames(); iter.hasNext();) { final String varName = iter.next(); final ATermAppl key = ATermUtils.makeVar(varName); final ATermAppl value = JenaUtils.makeATerm(initialBinding.get(varName)); parameters.add(key, value); } return parameters; } }
static QueryParameters getQueryParameters(QuerySolution initialBindingParam) { final QueryParameters parameters = new QueryParameters(); QuerySolution initialBinding = initialBindingParam; if (initialBinding == null) initialBinding = new QuerySolutionMap(); for (final Iterator<String> iter = initialBinding.varNames(); iter.hasNext();) { final String varName = iter.next(); final ATermAppl key = ATermUtils.makeVar(varName); final ATermAppl value = JenaUtils.makeATerm(initialBinding.get(varName)); parameters.add(key, value); } return parameters; } }
private ResultBinding convertBinding(final Binding binding) { final ResultBinding pelletBinding = new ResultBindingImpl(); final GraphLoader loader = _pellet.getLoader(); for (final Iterator<?> vars = binding.vars(); vars.hasNext();) { final Var var = (Var) vars.next(); final Node value = binding.get(var); if (value != null) { final ATermAppl pelletVar = ATermUtils.makeVar(var.getVarName()); final ATermAppl pelletValue = loader.node2term(value); pelletBinding.setValue(pelletVar, pelletValue); } } return pelletBinding; }
private ResultBinding convertBinding(final Binding binding) { final ResultBinding pelletBinding = new ResultBindingImpl(); final GraphLoader loader = _pellet.getLoader(); for (final Iterator<?> vars = binding.vars(); vars.hasNext();) { final Var var = (Var) vars.next(); final Node value = binding.get(var); if (value != null) { final ATermAppl pelletVar = ATermUtils.makeVar(var.getVarName()); final ATermAppl pelletValue = loader.node2term(value); pelletBinding.setValue(pelletVar, pelletValue); } } return pelletBinding; }
private ResultBinding convertBinding(final Binding binding) { final ResultBinding pelletBinding = new ResultBindingImpl(); final GraphLoader loader = _pellet.getLoader(); for (final Iterator<?> vars = binding.vars(); vars.hasNext();) { final Var var = (Var) vars.next(); final Node value = binding.get(var); if (value != null) { final ATermAppl pelletVar = ATermUtils.makeVar(var.getVarName()); final ATermAppl pelletValue = loader.node2term(value); pelletBinding.setValue(pelletVar, pelletValue); } } return pelletBinding; }
@Test public void testAxiomConverterRules4() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final AxiomConverter converter = new AxiomConverter(kb, OWL._manager.getOWLDataFactory()); final ATermAppl r = ATermUtils.makeTermAppl("r"); final ATermAppl s = ATermUtils.makeTermAppl("s"); final ATermAppl x = ATermUtils.makeVar("x"); final ATermAppl y = ATermUtils.makeVar("y"); kb.addDatatypeProperty(r); kb.addDatatypeProperty(s); final ATermAppl[] head = new ATermAppl[] { ATermUtils.makePropAtom(r, x, y) }; final ATermAppl[] body = new ATermAppl[] { ATermUtils.makePropAtom(s, x, y) }; final ATermAppl rule = ATermUtils.makeRule(head, body); final OWLAxiom actual = converter.convert(rule); final Set<SWRLAtom> antecedent = new HashSet<>(); final Set<SWRLAtom> consequent = new HashSet<>(); antecedent.add(propertyAtom(DataProperty("s"), variable("x"), variable("y"))); consequent.add(propertyAtom(DataProperty("r"), variable("x"), variable("y"))); final OWLAxiom expected = rule(antecedent, consequent); assertEquals(expected, actual); }
@Test public void testAxiomConverterRules3() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); final OWLDataFactory df = manager.getOWLDataFactory(); final AxiomConverter converter = new AxiomConverter(kb, df); final ATermAppl p = ATermUtils.makeTermAppl("p"); final ATermAppl q = ATermUtils.makeTermAppl("q"); final ATermAppl x = ATermUtils.makeVar("x"); final ATermAppl y = ATermUtils.makeVar("y"); kb.addObjectProperty(p); kb.addObjectProperty(q); final ATermAppl[] head = new ATermAppl[] { ATermUtils.makePropAtom(q, x, y) }; final ATermAppl[] body = new ATermAppl[] { ATermUtils.makePropAtom(p, x, y) }; final ATermAppl rule = ATermUtils.makeRule(head, body); final OWLAxiom actual = converter.convert(rule); final Set<SWRLAtom> antecedent = new HashSet<>(); final Set<SWRLAtom> consequent = new HashSet<>(); antecedent.add(propertyAtom(ObjectProperty("p"), variable("x"), variable("y"))); consequent.add(propertyAtom(ObjectProperty("q"), variable("x"), variable("y"))); final OWLAxiom expected = rule(antecedent, consequent); assertEquals(expected, actual); }
@Test public void testAxiomConverterRules1() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final AxiomConverter converter = new AxiomConverter(kb, OWL._factory); final ATermAppl C = ATermUtils.makeTermAppl("C"); final ATermAppl D = ATermUtils.makeTermAppl("D"); final ATermAppl x = ATermUtils.makeVar("x"); kb.addClass(C); kb.addClass(D); final ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom(x, D) }; final ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom(x, C) }; final ATermAppl rule = ATermUtils.makeRule(head, body); final OWLAxiom actual = converter.convert(rule); final Set<SWRLAtom> antecedent = new HashSet<>(); final Set<SWRLAtom> consequent = new HashSet<>(); antecedent.add(classAtom(Class("C"), variable("x"))); consequent.add(classAtom(Class("D"), variable("x"))); final OWLAxiom expected = rule(antecedent, consequent); assertEquals(expected, actual); }
public void testAxiomConverterRules1c() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final AxiomConverter converter = new AxiomConverter(kb, OWL._manager.getOWLDataFactory()); final ATermAppl C = ATermUtils.makeTermAppl("C"); final ATermAppl D = ATermUtils.makeTermAppl("D"); final ATermAppl x = ATermUtils.makeVar("x"); final ATermAppl name = ATermUtils.makeBnode("MyRule"); kb.addClass(C); kb.addClass(D); final ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom(x, D) }; final ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom(x, C) }; final ATermAppl rule = ATermUtils.makeRule(name, head, body); final OWLAxiom actual = converter.convert(rule); final Set<SWRLAtom> antecedent = new HashSet<>(); final Set<SWRLAtom> consequent = new HashSet<>(); antecedent.add(classAtom(Class("C"), variable("x"))); consequent.add(classAtom(Class("D"), variable("x"))); final OWLAxiom expected = rule(name.getArgument(0).toString(), true, antecedent, consequent); assertEquals(expected, actual); }
@Test public void testAxiomConverterRules1b() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final AxiomConverter converter = new AxiomConverter(kb, OWL._manager.getOWLDataFactory()); final ATermAppl C = ATermUtils.makeTermAppl("C"); final ATermAppl D = ATermUtils.makeTermAppl("D"); final ATermAppl x = ATermUtils.makeVar("x"); final ATermAppl name = ATermUtils.makeTermAppl("MyRule"); kb.addClass(C); kb.addClass(D); final ATermAppl[] head = new ATermAppl[] { ATermUtils.makeTypeAtom(x, D) }; final ATermAppl[] body = new ATermAppl[] { ATermUtils.makeTypeAtom(x, C) }; final ATermAppl rule = ATermUtils.makeRule(name, head, body); final OWLAxiom actual = converter.convert(rule); final Set<SWRLAtom> antecedent = new HashSet<>(); final Set<SWRLAtom> consequent = new HashSet<>(); antecedent.add(classAtom(Class("C"), variable("x"))); consequent.add(classAtom(Class("D"), variable("x"))); final OWLAxiom expected = rule(name.getName(), antecedent, consequent); assertEquals(expected, actual); }