public static ATermAppl value(final ATermAppl r) { return ATermUtils.makeValue(r); }
public static ATermAppl value(final ATermAppl r) { return ATermUtils.makeValue(r); }
@Override public boolean isSameAs(final ATermAppl ind1, final ATermAppl ind2) { final ATermAppl c = ATermUtils.makeValue(ind2); return isType(ind1, c); }
final static public ATermAppl makeHasValue(final ATerm r, final ATerm ind) { final ATermAppl c = makeValue(ind); return factory.makeAppl(SOMEFUN, r, c); }
@Override public boolean isSameAs(final ATermAppl ind1, final ATermAppl ind2) { final ATermAppl c = ATermUtils.makeValue(ind2); return isType(ind1, c); }
final static public ATermAppl makeHasValue(final ATerm r, final ATerm ind) { final ATermAppl c = makeValue(ind); return factory.makeAppl(SOMEFUN, r, c); }
/** * Added for incremental reasoning. Given an openllet.aterm corresponding to an _individual and concept, the expressivity is updated accordingly. * * @param i * @param concept */ public void updateWithIndividual(final ATermAppl i, final ATermAppl concept) { final ATermAppl nominal = ATermUtils.makeValue(i); if (concept.equals(nominal)) return; _DLChecker.updateWith(_expressivity, concept); } }
/** * Added for incremental reasoning. Given an openllet.aterm corresponding to an _individual and concept, the expressivity is updated accordingly. * * @param i * @param concept */ public void updateWithIndividual(final ATermAppl i, final ATermAppl concept) { final ATermAppl nominal = ATermUtils.makeValue(i); if (concept.equals(nominal)) return; _DLChecker.updateWith(_expressivity, concept); } }
private ATermList getClasses(final ATermAppl a) { final List<ATermAppl> aterms = new ArrayList<>(); for (final QueryAtom atom : findAtoms(QueryPredicate.Type, a, null)) { final ATermAppl arg = atom.getArguments().get(1); if (ATermUtils.isVar(arg)) throw new InternalReasonerException("Variables as predicates are not supported yet"); aterms.add(arg); } if (!ATermUtils.isVar(a)) aterms.add(ATermUtils.makeValue(a)); return ATermUtils.makeList(aterms); }
private ATermList getClasses(final ATermAppl a) { final List<ATermAppl> aterms = new ArrayList<>(); for (final QueryAtom atom : findAtoms(QueryPredicate.Type, a, null)) { final ATermAppl arg = atom.getArguments().get(1); if (ATermUtils.isVar(arg)) throw new InternalReasonerException("Variables as predicates are not supported yet"); aterms.add(arg); } if (!ATermUtils.isVar(a)) aterms.add(ATermUtils.makeValue(a)); return ATermUtils.makeList(aterms); }
private ATermList getClasses(final ATermAppl a) { final List<ATermAppl> aterms = new ArrayList<>(); for (final QueryAtom atom : findAtoms(QueryPredicate.Type, a, null)) { final ATermAppl arg = atom.getArguments().get(1); if (ATermUtils.isVar(arg)) throw new InternalReasonerException("Variables as predicates are not supported yet"); aterms.add(arg); } if (!ATermUtils.isVar(a)) aterms.add(ATermUtils.makeValue(a)); return ATermUtils.makeList(aterms); }
@Override public void visit(final OWLObjectOneOf enumeration) { final Set<OWLIndividual> operands = asSet(enumeration.individuals()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLIndividual ind : operands) { ind.accept(this); terms[size++] = ATermUtils.makeValue(_term); } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLObjectOneOf enumeration) { final Set<OWLIndividual> operands = asSet(enumeration.individuals()); final ATerm[] terms = new ATerm[operands.size()]; int size = 0; for (final OWLIndividual ind : operands) { ind.accept(this); terms[size++] = ATermUtils.makeValue(_term); } // create a sorted set of terms so we will have a stable // concept creation and removal using this concept will work final ATermList setOfTerms = size > 0 ? ATermUtils.toSet(terms, size) : ATermUtils.EMPTY_LIST; _term = ATermUtils.makeOr(setOfTerms); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Test public void testIsClass3() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl l1 = ATermUtils.makeTermAppl("l1"); final ATermAppl l2 = ATermUtils.makeTermAppl("l2"); final ATermAppl v1 = ATermUtils.makeValue(ATermUtils.makeLiteral(l1)); final ATermAppl v2 = ATermUtils.makeValue(ATermUtils.makeLiteral(l2)); final ATermAppl t = ATermUtils.makeOr(v1, v2); assertFalse(kb.isClass(t)); }
@Test public void testIsClass2() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl l = ATermUtils.makeTermAppl("l"); final ATermAppl v = ATermUtils.makeValue(ATermUtils.makeLiteral(l)); assertFalse(kb.isClass(v)); }
@Test public void testIsClass4() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl l = ATermUtils.makeTermAppl("l"); final ATermAppl v = ATermUtils.makeValue(ATermUtils.makeLiteral(l)); final ATermAppl n = ATermUtils.makeNot(v); assertFalse(kb.isClass(n)); }
@Test public void testIsClass1() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl p = term("p"); final ATermAppl l = ATermUtils.makeTermAppl("l"); final ATermAppl v = ATermUtils.makeValue(ATermUtils.makeLiteral(l)); final ATermAppl c = ATermUtils.makeSomeValues(p, v); kb.addProperty(p); assertTrue(kb.isClass(c)); }