LICENSE
MANIFEST.in
README.md
pyproject.toml
src/hermit/__init__.py
src/hermit/configuration.py
src/hermit/entailment_checker.py
src/hermit/fss.py
src/hermit/owl_rdf.py
src/hermit/owlxml.py
src/hermit/parser.py
src/hermit/protege_reasoner_factory.py
src/hermit/py.typed
src/hermit/rdfxml.py
src/hermit/reasoner.py
src/hermit/version.py
src/hermit/blocking/__init__.py
src/hermit/blocking/ancestor_blocking.py
src/hermit/blocking/anywhere_blocking.py
src/hermit/blocking/anywhere_validated_blocking.py
src/hermit/blocking/blocking_signature.py
src/hermit/blocking/blocking_signature_cache.py
src/hermit/blocking/blocking_strategy.py
src/hermit/blocking/blocking_validator.py
src/hermit/blocking/direct_blocking_checker.py
src/hermit/blocking/pairwise_direct_blocking_checker.py
src/hermit/blocking/set_factory.py
src/hermit/blocking/single_direct_blocking_checker.py
src/hermit/blocking/validated_pairwise_direct_blocking_checker.py
src/hermit/blocking/validated_single_direct_blocking_checker.py
src/hermit/cli/__init__.py
src/hermit/datalog/__init__.py
src/hermit/datatypes/__init__.py
src/hermit/datatypes/registry.py
src/hermit/datatypes/anyuri/__init__.py
src/hermit/datatypes/binarydata/__init__.py
src/hermit/datatypes/bool/__init__.py
src/hermit/datatypes/datetime/__init__.py
src/hermit/datatypes/doublenum/__init__.py
src/hermit/datatypes/floatnum/__init__.py
src/hermit/datatypes/owlreal/__init__.py
src/hermit/datatypes/rdfplainliteral/__init__.py
src/hermit/datatypes/xmlliteral/__init__.py
src/hermit/debugger/__init__.py
src/hermit/existentials/__init__.py
src/hermit/existentials/abstract_expansion_strategy.py
src/hermit/existentials/creation_order_strategy.py
src/hermit/existentials/existential_expansion_strategy.py
src/hermit/existentials/individual_reuse_strategy.py
src/hermit/graph/__init__.py
src/hermit/hierarchy/__init__.py
src/hermit/hierarchy/atomic_concept_element.py
src/hermit/hierarchy/classification_progress_monitor.py
src/hermit/hierarchy/deterministic_classification.py
src/hermit/hierarchy/hierarchy.py
src/hermit/hierarchy/hierarchy_dumper_fss.py
src/hermit/hierarchy/hierarchy_node.py
src/hermit/hierarchy/hierarchy_printer_fss.py
src/hermit/hierarchy/hierarchy_search.py
src/hermit/hierarchy/instance_manager.py
src/hermit/hierarchy/quasi_order_classification.py
src/hermit/hierarchy/quasi_order_classification_for_roles.py
src/hermit/hierarchy/role_element_manager.py
src/hermit/model/__init__.py
src/hermit/monitor/__init__.py
src/hermit/owl_model/__init__.py
src/hermit/owl_model/iri.py
src/hermit/owl_model/meta_classes.py
src/hermit/owl_model/namespaces.py
src/hermit/owl_model/owl_annotation.py
src/hermit/owl_model/owl_axiom.py
src/hermit/owl_model/owl_data_ranges.py
src/hermit/owl_model/owl_datatype.py
src/hermit/owl_model/owl_individual.py
src/hermit/owl_model/owl_literal.py
src/hermit/owl_model/owl_object.py
src/hermit/owl_model/owl_property.py
src/hermit/owl_model/utils.py
src/hermit/owl_model/vocab.py
src/hermit/owl_model/class_expression/__init__.py
src/hermit/owl_model/class_expression/class_expression.py
src/hermit/owl_model/class_expression/nary_boolean_expression.py
src/hermit/owl_model/class_expression/owl_class.py
src/hermit/owl_model/class_expression/restriction.py
src/hermit/structural/__init__.py
src/hermit/structural/builtin_property_manager.py
src/hermit/structural/expression_manager.py
src/hermit/structural/normalized_axioms.py
src/hermit/structural/object_property_inclusion_manager.py
src/hermit/structural/owl_axioms_expressivity.py
src/hermit/structural/owl_clausification.py
src/hermit/structural/owl_normalization.py
src/hermit/structural/role_automaton.py
src/hermit/tableau/__init__.py
src/hermit/tableau/branching_point.py
src/hermit/tableau/clash_manager.py
src/hermit/tableau/datatype_manager.py
src/hermit/tableau/dependency_set.py
src/hermit/tableau/dependency_set_factory.py
src/hermit/tableau/description_graph_manager.py
src/hermit/tableau/disjunction_branching_point.py
src/hermit/tableau/dl_clause_evaluator.py
src/hermit/tableau/existential_expansion_manager.py
src/hermit/tableau/extension_manager.py
src/hermit/tableau/extension_table.py
src/hermit/tableau/extension_table_with_full_index.py
src/hermit/tableau/extension_table_with_tuple_indexes.py
src/hermit/tableau/ground_disjunction.py
src/hermit/tableau/ground_disjunction_header.py
src/hermit/tableau/hyperresolution_manager.py
src/hermit/tableau/interrupt_current_task_exception.py
src/hermit/tableau/interrupt_flag.py
src/hermit/tableau/merging_manager.py
src/hermit/tableau/node.py
src/hermit/tableau/node_type.py
src/hermit/tableau/nominal_introduction_manager.py
src/hermit/tableau/permanent_dependency_set.py
src/hermit/tableau/reasoning_task_description.py
src/hermit/tableau/tableau.py
src/hermit/tableau/tuple_index.py
src/hermit/tableau/tuple_table.py
src/hermit/tableau/tuple_table_full_index.py
src/hermit/tableau/union_dependency_set.py
src/hermit_reasoner.egg-info/PKG-INFO
src/hermit_reasoner.egg-info/SOURCES.txt
src/hermit_reasoner.egg-info/dependency_links.txt
src/hermit_reasoner.egg-info/entry_points.txt
src/hermit_reasoner.egg-info/requires.txt
src/hermit_reasoner.egg-info/top_level.txt