Uses of Class
org.incenp.obofoundry.uberon.util.ReasoningException

Packages that use ReasoningException
Package
Description
org.incenp.obofoundry.uberon.util
 

  • Uses of ReasoningException in org.incenp.obofoundry.uberon.util

    Methods in org.incenp.obofoundry.uberon.util that throw ReasoningException
    Modifier and Type
    Method
    Description
    void
    EquivalenceSetMerger.merge(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
    Merge inferred equivalent classes in an ontology.
    void
    SpeciesMerger.merge(org.semanticweb.owlapi.model.IRI taxon, org.semanticweb.owlapi.model.IRI property, String suffix, List<org.semanticweb.owlapi.model.IRI> includedProperties)
    Unfold classes for the specified taxon over the specified linking property.