public static ATermAppl inv(final ATermAppl r) { return ATermUtils.makeInv(r); }
public static ATermAppl inv(final ATermAppl r) { return ATermUtils.makeInv(r); }
public static final boolean isBuiltinProperty(final ATermAppl name) { return TOP_OBJECT_PROPERTY.equals(name)// || BOTTOM_OBJECT_PROPERTY.equals(name)// || makeInv(TOP_OBJECT_PROPERTY).equals(name)// || makeInv(BOTTOM_OBJECT_PROPERTY).equals(name)// || TOP_DATA_PROPERTY.equals(name)// || BOTTOM_DATA_PROPERTY.equals(name); }
public static final boolean isBuiltinProperty(final ATermAppl name) { return TOP_OBJECT_PROPERTY.equals(name)// || BOTTOM_OBJECT_PROPERTY.equals(name)// || makeInv(TOP_OBJECT_PROPERTY).equals(name)// || makeInv(BOTTOM_OBJECT_PROPERTY).equals(name)// || TOP_DATA_PROPERTY.equals(name)// || BOTTOM_DATA_PROPERTY.equals(name); }
@Override public void visit(final OWLObjectInverseOf propInv) { propInv.getInverse().accept(this); final ATermAppl p = _term; _term = ATermUtils.makeInv(p); }
@Override public void visit(final OWLObjectInverseOf propInv) { propInv.getInverse().accept(this); final ATermAppl p = _term; _term = ATermUtils.makeInv(p); }
@Override public void visit(final OWLObjectInverseOf propInv) { propInv.getInverse().accept(this); final ATermAppl p = _term; _term = ATermUtils.makeInv(p); }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(final OWLObjectPropertyExpression pe, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { final ATermAppl some = ATermUtils.makeSomeValues(ATermUtils.makeInv(term(pe)), ATermUtils.TOP); final Set<ATermAppl> equivalents = _kb.getEquivalentClasses(some); if (direct && !equivalents.isEmpty()) return toClassNodeSet(Collections.singleton(equivalents)); final Set<Set<ATermAppl>> result = _kb.getSuperClasses(some, direct); if (!equivalents.isEmpty()) result.add(equivalents); return toClassNodeSet(result); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(final OWLObjectPropertyExpression pe, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { final ATermAppl some = ATermUtils.makeSomeValues(ATermUtils.makeInv(term(pe)), ATermUtils.TOP); final Set<ATermAppl> equivalents = _kb.getEquivalentClasses(some); if (direct && !equivalents.isEmpty()) return toClassNodeSet(Collections.singleton(equivalents)); final Set<Set<ATermAppl>> result = _kb.getSuperClasses(some, direct); if (!equivalents.isEmpty()) result.add(equivalents); return toClassNodeSet(result); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(final OWLObjectPropertyExpression pe, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { final ATermAppl some = ATermUtils.makeSomeValues(ATermUtils.makeInv(term(pe)), ATermUtils.TOP); final Set<ATermAppl> equivalents = _kb.getEquivalentClasses(some); if (direct && !equivalents.isEmpty()) return toClassNodeSet(Collections.singleton(equivalents)); final Set<Set<ATermAppl>> result = _kb.getSuperClasses(some, direct); if (!equivalents.isEmpty()) result.add(equivalents); return toClassNodeSet(result); } catch (final PelletRuntimeException e) { throw convert(e); } }
instances.retainAll(_kb.retrieveIndividualsWithProperty(ATermUtils.makeInv(atom.getArguments().get(1))));
instances.retainAll(_kb.retrieveIndividualsWithProperty(ATermUtils.makeInv(atom.getArguments().get(1))));
instances.retainAll(_kb.retrieveIndividualsWithProperty(ATermUtils.makeInv(atom.getArguments().get(1))));
role.setType(PropertyType.OBJECT); final ATermAppl invR = ATermUtils.makeInv(r); final Role invRole = new RoleImpl(invR, PropertyType.OBJECT); getRoles().put(invR, invRole);
role.setType(PropertyType.OBJECT); final ATermAppl invR = ATermUtils.makeInv(r); final Role invRole = new RoleImpl(invR, PropertyType.OBJECT); getRoles().put(invR, invRole);
@Test public void inverseQuery() { classes(_C, _D); objectProperties(_p, _q, _r); _kb.addInverseProperty(_q, _p); _kb.addSymmetricProperty(_r); final ATermAppl v = var("v"); final Query query = query(select(v), where(InverseOfAtom(_q, v))); if (OpenlletOptions.RETURN_NON_PRIMITIVE_EQUIVALENT_PROPERTIES) testQuery(query, new ATermAppl[][] { { ATermUtils.makeInv(_q) }, { _p } }); else testQuery(query, new ATermAppl[][] { { _p } }); }
aTerm = ATermUtils.makeInv(inverse);
aTerm = ATermUtils.makeInv(inverse);
aTerm = ATermUtils.makeInv(inverse);