/src/main/java/uk/ac/ox/cs/pagoda/reasoner/

• ../
• ConsistencyManager.java
• ELHOQueryReasoner.java
• ELHOUQueryReasoner.java
• HermiTReasoner.java
• IterativeRefinement.java
• MyQueryReasoner.java
• QueryEngine.java
• QueryReasoner.java
• RLQueryReasoner.java
• RLUQueryReasoner.java
• full
• light