protected Set<OWLClass> getTypesImpl(OWLIndividual individual) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException( "Reasoner does not support to determine type of individual."); }
protected SortedSet<FuzzyIndividual> getFuzzyIndividualsImpl(OWLClassExpression concept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLDataProperty> getDoubleDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLDataProperty> getBooleanDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected OWLDataRange getRangeImpl(OWLDataProperty datatypeProperty) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected SortedSet<OWLObjectProperty> getSubPropertiesImpl(OWLObjectProperty role) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLClassExpression> getAssertedDefinitionsImpl(OWLClass namedClass) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLClass> getInconsistentClassesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Map<OWLIndividual, SortedSet<OWLLiteral>> getDatatypeMembersImpl( OWLDataProperty datatypeProperty) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLDataProperty> getDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected double hasTypeFuzzyMembershipImpl(OWLClassExpression concept, FuzzyIndividual individual) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected boolean isSuperClassOfImpl(OWLClassExpression superConcept, OWLClassExpression subConcept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected boolean isDisjointImpl(OWLClass superConcept, OWLClass subConcept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected SortedSet<OWLIndividual> getIndividualsImpl(OWLClassExpression concept) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected boolean hasTypeImpl(OWLClassExpression concept, OWLIndividual individual) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected Set<OWLDataProperty> getStringDatatypePropertiesImpl() throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected OWLClassExpression getDomainImpl(OWLDataProperty datatypeProperty) throws ReasoningMethodUnsupportedException { throw new ReasoningMethodUnsupportedException(); }
protected <T extends OWLProperty> OWLClassExpression getDomainImpl(T role) throws ReasoningMethodUnsupportedException { if(OWLObjectProperty.class.isInstance(role)) { return getDomainImpl((OWLObjectProperty) role); } else if(OWLDataProperty.class.isInstance(role)) { return getDomainImpl((OWLDataProperty) role); } throw new ReasoningMethodUnsupportedException(); }
protected <T extends OWLProperty> SortedSet<T> getSubPropertiesImpl(T role) throws ReasoningMethodUnsupportedException { if(OWLObjectProperty.class.isInstance(role)) { return (SortedSet<T>) getSubPropertiesImpl((OWLObjectProperty) role); } else if(OWLDataProperty.class.isInstance(role)) { return (SortedSet<T>) getSubPropertiesImpl((OWLDataProperty) role); } throw new ReasoningMethodUnsupportedException(); }
protected <T extends OWLProperty> SortedSet<T> getSuperPropertiesImpl(T role) throws ReasoningMethodUnsupportedException { if(OWLObjectProperty.class.isInstance(role)) { return (SortedSet<T>) getSuperPropertiesImpl((OWLObjectProperty) role); } else if(OWLDataProperty.class.isInstance(role)) { return (SortedSet<T>) getSuperPropertiesImpl((OWLDataProperty) role); } throw new ReasoningMethodUnsupportedException(); }