public static ATermAppl inv(ATermAppl r) { return ATermUtils.makeInv( r ); }
public static ATermAppl inv(ATermAppl r) { return ATermUtils.makeInv( r ); }
public static final boolean isBuiltinProperty(ATermAppl name) { if ( 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 ) ) { return true; } return false; }
public static final boolean isBuiltinProperty(ATermAppl name) { if ( 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 ) ) { return true; } return false; }
@Override public void visit(OWLObjectInverseOf propInv) { propInv.getInverse().accept( this ); ATermAppl p = term; term = ATermUtils.makeInv( p ); }
public void visit(OWLObjectInverseOf propInv) { propInv.getInverse().accept( this ); ATermAppl p = term; term = ATermUtils.makeInv( p ); }
public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { ATermAppl some = ATermUtils.makeSomeValues(ATermUtils.makeInv(term(pe)), ATermUtils.TOP); Set<ATermAppl> equivalents = kb.getEquivalentClasses(some); if (direct && !equivalents.isEmpty()) { return toClassNodeSet(Collections.singleton(equivalents)); } Set<Set<ATermAppl>> result = kb.getSuperClasses( some, direct ); if (!equivalents.isEmpty()) { result.add(equivalents); } return toClassNodeSet(result); } catch( PelletRuntimeException e ) { throw convert( e ); } }
public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { ATermAppl some = ATermUtils.makeSomeValues(ATermUtils.makeInv(term(pe)), ATermUtils.TOP); Set<ATermAppl> equivalents = kb.getEquivalentClasses(some); if (direct && !equivalents.isEmpty()) { return toClassNodeSet(Collections.singleton(equivalents)); } Set<Set<ATermAppl>> result = kb.getSuperClasses( some, direct ); if (!equivalents.isEmpty()) { result.add(equivalents); } return toClassNodeSet(result); } catch( PelletRuntimeException e ) { throw convert( e ); } }
instances.retainAll(kb .retrieveIndividualsWithProperty(ATermUtils .makeInv(atom.getArguments().get(1))));
public Role addObjectRole(ATermAppl r) { Role role = getRole(r); PropertyType roleType = (role == null) ? PropertyType.UNTYPED : role.getType(); switch (roleType) { case DATATYPE: role = null; break; case OBJECT: break; default: if (role == null) { role = new Role(r, PropertyType.OBJECT); roles.put(r, role); } else { role.setType(PropertyType.OBJECT); } ATermAppl invR = ATermUtils.makeInv(r); Role invRole = new Role(invR, PropertyType.OBJECT); roles.put(invR, invRole); role.setInverse(invRole); invRole.setInverse(role); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT); break; } return role; }
public Role addObjectRole(ATermAppl r) { Role role = getRole(r); PropertyType roleType = (role == null) ? PropertyType.UNTYPED : role.getType(); switch (roleType) { case DATATYPE: role = null; break; case OBJECT: break; default: if (role == null) { role = new Role(r, PropertyType.OBJECT); roles.put(r, role); } else { role.setType(PropertyType.OBJECT); } ATermAppl invR = ATermUtils.makeInv(r); Role invRole = new Role(invR, PropertyType.OBJECT); roles.put(invR, invRole); role.setInverse(invRole); invRole.setInverse(role); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT); addSubRole(ATermUtils.BOTTOM_OBJECT_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_OBJECT_PROPERTY, DependencySet.INDEPENDENT); break; } return role; }
aTerm = ATermUtils.makeInv( inverse );