private void ensureExistsRinv() { if (existsRinv == null) { if (property instanceof ObjectPropertyExpression) { ObjectPropertyExpression inv = ((ObjectPropertyExpression)property).getInverse(); existsRinv = inv.getDomain(); } // else { // DataPropertyExpression inv = ((DataPropertyExpression)property).getInverse(); // existsRinv = ontFactory.createPropertySomeRestriction(inv); // } } }
@Override public boolean isTop() { return property.isTop(); } }
@Override public boolean isTop() { return property.isTop(); } }
private void checkObjectOrAnnotationProperty(String predicateIRI, PPMappingAssertionProvenance provenance, Ontology ontology) throws MappingOntologyMismatchException { /* * Cannot be a data property (should be either an object or an annotation property) */ if (ontology.tbox().dataProperties().contains(predicateIRI)) throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance, DATA_PROPERTY_STR, OBJECT_PROPERTY_STR)); /* * Cannot be a class */ if (ontology.tbox().classes().contains(predicateIRI)) throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance, CLASS_STR, OBJECT_PROPERTY_STR)); }
private void checkSignature(ClassExpression desc) { if (desc instanceof OClass) { OClass cl = (OClass) desc; if (!classes.contains(cl.getName())) throw new IllegalArgumentException(CLASS_NOT_FOUND + desc); } else if (desc instanceof ObjectSomeValuesFrom) { checkSignature(((ObjectSomeValuesFrom) desc).getProperty()); } else { assert (desc instanceof DataSomeValuesFrom); checkSignature(((DataSomeValuesFrom) desc).getProperty()); } }
private Optional<IRI> getPredicateIRI(DataRangeExpression expression) { if (expression instanceof Datatype) { return Optional.of(((Datatype) expression).getIRI()); } if (expression instanceof DataPropertyRangeExpression) { return Optional.of(((DataPropertyRangeExpression) expression).getProperty().getIRI()); } return Optional.empty(); }
public Iterator<IRI> iEmptyRoles() { return new EmptyEntitiesIterator(onto.objectProperties().iterator(), onto.dataProperties().iterator(), conn); }
private Optional<Predicate> getPredicate(DataRangeExpression expression) { if (expression instanceof Datatype) { return Optional.of(((Datatype) expression).getPredicate()); } if (expression instanceof DataPropertyRangeExpression) { return Optional.of(((DataPropertyRangeExpression) expression).getProperty().getPredicate()); } return Optional.empty(); }
@Override public void visit(OWLInverseFunctionalObjectPropertyAxiom ax) { // TEMPORARY FIX if (functionalityAxioms) { ObjectPropertyExpression ope = getPropertyExpression(ax.getProperty(), builder.objectProperties()); builder.addFunctionalObjectPropertyAxiom(ope.getInverse()); } else log.warn(NOT_SUPPORTED, ax); }
public Set<ClassExpression> getSubConcepts() { if (subconcepts == null) { subconcepts = new HashSet<>(); for (ClassExpression con : concepts) subconcepts.addAll(reasoner.classesDAG().getSubRepresentatives(con)); } return subconcepts; }
@Override public boolean isBottom() { return property.isBottom(); }
@Override public boolean isBottom() { return property.isBottom(); }
private void checkSignature(ClassExpression desc) { if (desc instanceof OClass) { OClass cl = (OClass) desc; if (!classes.contains(cl.getName())) throw new IllegalArgumentException(CLASS_NOT_FOUND + desc); } else if (desc instanceof ObjectSomeValuesFrom) { checkSignature(((ObjectSomeValuesFrom) desc).getProperty()); } else { assert (desc instanceof DataSomeValuesFrom); checkSignature(((DataSomeValuesFrom) desc).getProperty()); } }
@Override public boolean isTop() { return property.isTop(); } }
@Override public boolean isTop() { return property.isTop(); } }
@Override public boolean isBottom() { return property.isBottom(); }
@Override public boolean isBottom() { return property.isBottom(); }