@Override public ObjectPropertyExpression createAuxiliaryObjectProperty() { ObjectPropertyExpression ope = new ObjectPropertyExpressionImpl(AUXROLEURI + auxCounter); auxCounter++ ; auxObjectProperties.add(ope); return ope; }
/** * creates an object property assertion (without checking any vocabulary) * * @return null if it is top object property ([O4], @see OntologyFactoryImpl) * @throws InconsistentOntologyException if it is the bottom object property ([O4], @see OntologyFactoryImpl) */ @Override public ObjectPropertyAssertion createObjectPropertyAssertion(String propertyName, ObjectConstant o1, ObjectConstant o2) throws InconsistentOntologyException { ObjectPropertyExpression ope = new ObjectPropertyExpressionImpl(propertyName); return ofac.createObjectPropertyAssertion(ope, o1, o2); }
@Override public ObjectPropertyExpression createObjectProperty(String uri) { ObjectPropertyExpression rd = new ObjectPropertyExpressionImpl(uri); if (!rd.isBottom() && !rd.isTop()) objectProperties.put(uri, rd); return rd; }
/** * general constructor * * @param name */ ObjectPropertyExpressionImpl(String name) { this.predicate = ofac.getObjectPropertyPredicate(name); this.isInverse = false; this.string = name; this.isTop = name.equals(owlTopObjectPropertyIRI); this.isBottom = name.equals(owlBottomObjectPropertyIRI); if (isTop || isBottom) this.inverseProperty = this; // rule [R6] else this.inverseProperty = new ObjectPropertyExpressionImpl(predicate, this); this.domain = new ObjectSomeValuesFromImpl(this); }