axiomInLfragment, clearStatus, dispose, disposeUsedReasoners, extractComplementModule, finalize, findLsignature, flush, flushChangesIfRequired, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getCompModuleSize, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getLsignature, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getReasonerVersionStr, getRootOntology, getSameIndividuals, getSubDataProperties, getSubObjectProperties, getSuperDataProperties, getSuperObjectProperties, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, includeLostSignature, isBufferingMode, isEntailed, isEntailed, isEntailmentCheckingSupported, isFullyEL, isPrecomputed, isSatisfiable, loadOntology, nELaxioms, nELKaxioms, precomputeInferences, printStatsAboutInputOntology, processInputOntology, setReasoner, statisticsOriginalOntology, turnHierarchyIntoAxioms |