uk.ac.manchester.cs.jfact

Classes

• AxiomTranslator
• ClassExpressionTranslator
• ComplexObjectPropertyTranslator
• DataPropertyTranslator
• DataRangeTranslator
• DeclarationVisitorEx
• EntailmentChecker
• IndividualTranslator
• JFactFactory
• JFactReasoner
• KnowledgeExplorer
• ObjectPropertyTranslator
• TranslationMachinery