protected Set<OWLClass> getTypesImpl(OWLIndividual individual) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException( "Reasoner does not support to determine type of individual."); }
private void handleExceptions(ReasoningMethodUnsupportedException e) { e.printStackTrace(); throw new RuntimeException("Reasoning method not supported.", e); }
protected <T extends OWLProperty> OWLClassExpression getDomain(T role) { if(precomputePropertyDomains) { return propertyDomains.get(role); } else { try { return getDomainImpl(role); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } throw null; }
protected SortedSet<FuzzyIndividual> getFuzzyIndividualsImpl(OWLClassExpression concept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final SortedSet<OWLClassExpression> getSuperClasses(OWLClassExpression concept) { if(precomputeClassHierarchy) { return getClassHierarchy().getSuperClasses(concept, true); } else { try { return getSuperClassesImpl(concept); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } return null; }
protected Set<OWLDataProperty> getDoubleDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final SortedSet<OWLObjectProperty> getSubProperties(OWLObjectProperty role) { if(precomputeObjectPropertyHierarchy) { return getObjectPropertyHierarchy().getMoreSpecialRoles(role); } else { try { return getSuperPropertiesImpl(role); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } return null; }
protected Set<OWLDataProperty> getBooleanDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final SortedSet<OWLClassExpression> getSubClasses(OWLClassExpression concept) { if(precomputeClassHierarchy) { return getClassHierarchy().getSubClasses(concept, true); } else { try { return getSubClassesImpl(concept); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } return null; }
protected OWLDataRange getRangeImpl(OWLDataProperty datatypeProperty) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final SortedSet<OWLObjectProperty> getSuperProperties(OWLObjectProperty role) { if(precomputeObjectPropertyHierarchy) { return getObjectPropertyHierarchy().getMoreGeneralRoles(role); } else { try { return getSuperPropertiesImpl(role); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } return null; }
protected boolean isSuperClassOfImpl(OWLClassExpression superConcept, OWLClassExpression subConcept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final boolean isSuperClassOf(OWLClassExpression superClass, OWLClassExpression subClass) { reasoningStartTimeTmp = System.nanoTime(); boolean result = false; if(precomputeClassHierarchy) { if(superClass.isAnonymous() || subClass.isAnonymous()) { try { result = isSuperClassOfImpl(superClass, subClass); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } else { return getClassHierarchy().isSubclassOf(subClass, superClass); } } else { try { result = isSuperClassOfImpl(superClass, subClass); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } nrOfSubsumptionChecks++; reasoningDurationTmp = System.nanoTime() - reasoningStartTimeTmp; subsumptionReasoningTimeNs += reasoningDurationTmp; overallReasoningTimeNs += reasoningDurationTmp; if(logger.isTraceEnabled()) { logger.trace("reasoner query isSuperClassOf: " + superClass + " " + subClass + " " + result); } return result; }
protected boolean isDisjointImpl(OWLClass superConcept, OWLClass subConcept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final <T extends OWLProperty> SortedSet<T> getSuperProperties(T role) { if(OWLObjectProperty.class.isInstance(role) && precomputeObjectPropertyHierarchy) { return (SortedSet<T>) getObjectPropertyHierarchy().getMoreGeneralRoles((OWLObjectProperty) role); } else if(OWLDataProperty.class.isInstance(role) && precomputeDataPropertyHierarchy) { return (SortedSet<T>) getDatatypePropertyHierarchy().getMoreGeneralRoles((OWLDataProperty) role); } else { try { return getSuperPropertiesImpl(role); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } return null; }
protected SortedSet<OWLIndividual> getIndividualsImpl(OWLClassExpression concept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
@Override public final <T extends OWLProperty> SortedSet<T> getSubProperties(T role) { if(OWLObjectProperty.class.isInstance(role) && precomputeObjectPropertyHierarchy) { return (SortedSet<T>) getObjectPropertyHierarchy().getMoreSpecialRoles((OWLObjectProperty) role); } else if(OWLDataProperty.class.isInstance(role) && precomputeDataPropertyHierarchy) { return (SortedSet<T>) getDatatypePropertyHierarchy().getMoreSpecialRoles((OWLDataProperty) role); } else { try { return getSubPropertiesImpl(role); } catch (ReasoningMethodUnsupportedException e) { e.printStackTrace(); } } return null; }
protected boolean hasTypeImpl(OWLClassExpression concept, OWLIndividual individual) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Map<OWLIndividual, SortedSet<OWLIndividual>> getPropertyMembersImpl( OWLObjectProperty atomicRole) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLDataProperty> getStringDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }