private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
if (reasoner.getSuperClasses(assertedSuper, false).containsEntity(superClass)) { isRedundant = true; if (assertedSubClassMap.containsKey(intermediateParent)) { logger.debug("GCI intermediate parent:" + intermediateParent); if (reasoner.getSuperClasses(intermediateParent, false).containsEntity(superClass)) { isRedundant = true; break;
@Override public boolean isEntailed(OWLAxiom arg0) throws ReasonerInterruptedException, UnsupportedEntailmentTypeException, TimeOutException, AxiomNotInProfileException, FreshEntitiesException, InconsistentOntologyException { if (arg0 instanceof OWLSubClassOfAxiom) { OWLClassExpression subClass = ((OWLSubClassOfAxiom) arg0) .getSubClass(); OWLClassExpression superClass = ((OWLSubClassOfAxiom) arg0) .getSuperClass(); // if (subClass instanceof OWLClass && superClass instanceof // OWLClass) if (!subClass.isAnonymous() && !superClass.isAnonymous()) return getSuperClasses(subClass, false).containsEntity( (OWLClass) superClass); else { LogOutput.printNotSupported("Not supported: isEntailed (not atomic classes)"); return false; } } else { LogOutput.printNotSupported("Not supported: isEntailed (not subclassof)"); return false; } }
.containsEntity(((Concept) c1).getOWLClass().asOWLClass()); return getSubObjectProperties(((Property) c2).getOWLEntity() .asOWLObjectProperty(), false) .containsEntity(((Property) c1).getOWLEntity() .asOWLObjectProperty()); } else if (((IProperty) c1).isLiteralProperty() return getSubDataProperties(((Property) c2).getOWLEntity() .asOWLDataProperty(), false) .containsEntity(((Property) c1).getOWLEntity() .asOWLDataProperty());
if(filler.isOWLThing() || getInstances(filler, false).containsEntity(object.asOWLNamedIndividual())){ OWLIndividual subject = ((OWLObjectPropertyAssertionAxiom) axiom).getSubject(); if (!subject.isAnonymous()) {
for (final OWLSubClassOfAxiom axiom : it) final boolean entailed = reasoner.getSubClasses(axiom.getSuperClass(), true).containsEntity((OWLClass) axiom.getSubClass()); for (final OWLClassAssertionAxiom axiom : it) final boolean entailed = reasoner.getInstances(axiom.getClassExpression(), true).containsEntity((OWLNamedIndividual) axiom.getIndividual());
Assert.assertTrue(reasoner.getObjectPropertyValues(a, r).containsEntity(b)); Assert.assertTrue(reasoner.getObjectPropertyValues(b, inverseR).containsEntity(a)); Assert.assertFalse(reasoner.getObjectPropertyValues(a, r).containsEntity(b)); Assert.assertFalse(reasoner.getObjectPropertyValues(b, inverseR).containsEntity(a));
Assert.assertTrue(reasoner.getObjectPropertyValues(a, r).containsEntity(b)); Assert.assertTrue(reasoner.getObjectPropertyValues(b, inverseR).containsEntity(a)); Assert.assertFalse(reasoner.getObjectPropertyValues(a, r).containsEntity(b)); Assert.assertFalse(reasoner.getObjectPropertyValues(b, inverseR).containsEntity(a));