Uses of Class
org.coode.oppl.search.solvability.AbstractAxiomSolvability

Packages that use AbstractAxiomSolvability

Package	Description
org.coode.oppl.search.solvability

Uses of AbstractAxiomSolvability in org.coode.oppl.search.solvability

Subclasses of AbstractAxiomSolvability in org.coode.oppl.search.solvability

Modifier and Type	Class and Description
class	NoResultsAxiomSolvability
class	OWLClassSubClassOfAxiomSolvability
class	OWLObjectPropertyFillersAxiomSolvability
class	QuerySolverBasedAbstractAxiomSolvability