conformance
jfact.plugin.protege
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.dep
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.actors
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.kernel.modelcaches
uk.ac.manchester.cs.jfact.kernel.options
uk.ac.manchester.cs.jfact.kernel.state
uk.ac.manchester.cs.jfact.kernel.todolist
uk.ac.manchester.cs.jfact.visitors