CrossClj

uk.org.russet/tawny-owl tawny.reasoner 2.0.0

SourceDocs



RECENT
    VARS
    *reasoner-progress-monitor*
    coherent?
    consistent?
    discard-reasoner
    entities
    iequivalent-class?
    iequivalent-classes
    instances
    isubclass?
    isubclasses
    isuperclass?
    isuperclasses
    no-top-bottom
    reasoner
    reasoner-factory
    reasoner-factory-1
    reasoner-for-ontology
    reasoner-list
    reasoner-progress-monitor-gui
    reasoner-progress-monitor-gui-maybe
    reasoner-progress-monitor-silent
    reasoner-progress-monitor-text
    reasoner-progress-monitor-text-debug
    reasoner-silent
    unsatisfiable
    vreasoner-factory