public Iterator<IRI> iEmptyConcepts() { return new EmptyEntitiesIterator(onto.classes().iterator(), conn); }
public Intersection<ClassExpression> getSubConcepts(Collection<Function> atoms) { Intersection<ClassExpression> subc = new Intersection<>(reasoner.classesDAG()); for (Function a : atoms) { Optional<IRI> optionalClassIRI = extractClassIRI(a); if (!optionalClassIRI.isPresent()) { subc.setToBottom(); // binary predicates R(x,x) cannot be matched to the anonymous part break; } IRI classIRI = optionalClassIRI.get(); if (reasoner.classes().contains(classIRI)) subc.intersectWith(reasoner.classes().get(classIRI)); else subc.setToBottom(); if (subc.isBottom()) break; } return subc; }
private Assertion translate(OWLAxiom axiom) { try { if (axiom instanceof OWLClassAssertionAxiom) return owlapiTranslator.translate((OWLClassAssertionAxiom)axiom, tbox.classes()); else if (axiom instanceof OWLObjectPropertyAssertionAxiom) return owlapiTranslator.translate((OWLObjectPropertyAssertionAxiom)axiom, tbox.objectProperties()); else if (axiom instanceof OWLDataPropertyAssertionAxiom) return owlapiTranslator.translate((OWLDataPropertyAssertionAxiom)axiom, tbox.dataProperties()); } catch (TranslationException | InconsistentOntologyException e) { return null; } return null; }
private void setIndex(String iri, int type, int idx) { if (type == CLASS_TYPE) { OClass c = reasonerDag.classes().get(iri); if (reasonerDag.classesDAG().getVertex(c) == null) throw new RuntimeException("UNKNOWN CLASS: " + iri);
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 checkObjectOrAnnotationProperty(IRI 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)); }
OClass c = reasonerDag.classes().get(iri); range = cacheSI.getEntry(c);
if (ontology.tbox().classes().contains(predicateIRI)) throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance, CLASS_STR, DATA_PROPERTY_STR));
if (ontology.tbox().classes().contains(predicateIRI)) throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance, CLASS_STR, DATA_PROPERTY_STR));