MANIFEST.in
README.md
RuleBuiltinSPARQLTemplates.n3
pyproject.toml
run_tests.py
lib/fuxi/__init__.py
lib/fuxi/types.py
lib/fuxi.egg-info/PKG-INFO
lib/fuxi.egg-info/SOURCES.txt
lib/fuxi.egg-info/dependency_links.txt
lib/fuxi.egg-info/entry_points.txt
lib/fuxi.egg-info/requires.txt
lib/fuxi.egg-info/top_level.txt
lib/fuxi/DLP/CompletionReasoning.py
lib/fuxi/DLP/ConditionalAxioms.py
lib/fuxi/DLP/DLNormalization.py
lib/fuxi/DLP/LPNormalForms.py
lib/fuxi/DLP/Negation.py
lib/fuxi/DLP/__init__.py
lib/fuxi/Horn/HornRules.py
lib/fuxi/Horn/PositiveConditions.py
lib/fuxi/Horn/RIFCore.py
lib/fuxi/Horn/__init__.py
lib/fuxi/LP/BackwardFixpointProcedure.py
lib/fuxi/LP/__init__.py
lib/fuxi/LP/testSeralizationOfEval.py
lib/fuxi/Rete/AlphaNode.py
lib/fuxi/Rete/BetaNode.py
lib/fuxi/Rete/BuiltinPredicates.py
lib/fuxi/Rete/CommandLine.py
lib/fuxi/Rete/IteratorAlgebra.py
lib/fuxi/Rete/Magic.py
lib/fuxi/Rete/Network.py
lib/fuxi/Rete/Node.py
lib/fuxi/Rete/Proof.py
lib/fuxi/Rete/ReteVocabulary.py
lib/fuxi/Rete/RuleStore.py
lib/fuxi/Rete/SidewaysInformationPassing.py
lib/fuxi/Rete/TopDown.py
lib/fuxi/Rete/Util.py
lib/fuxi/Rete/__init__.py
lib/fuxi/SPARQL/BackwardChainingStore.py
lib/fuxi/SPARQL/__init__.py
lib/fuxi/SPARQL/service.py
lib/fuxi/SPARQL/utilities.py
lib/fuxi/Syntax/InfixOWL.py
lib/fuxi/Syntax/__init__.py
lib/fuxi/cli/__init__.py
lib/fuxi/cli/core.py
lib/fuxi/cli/owl.py
lib/fuxi/cli/proof.py
lib/fuxi/cli/renderers.py
lib/fuxi/cli/shared.py
test/DL-SHIOF-test.n3
test/__init__.py
test/additionalDLPTests.py
test/command_line_facts.n3
test/command_line_test_rules.n3
test/conftest.py
test/filters.n3
test/pD-rules.n3
test/sameAsTestFacts.n3
test/sameAsTestRules.n3
test/testOWL.py
test/testOWL2.py
test/testReteAction.py
test/testSkolemization.py
test/test_builtin_ordering.py
test/test_cli_core.py
test/test_cli_owl.py
test/test_cli_proof.py
test/test_cli_sparql_parse.py
test/test_command_line.py
test/test_coverage_targets.py
test/test_existential_in_head.py
test/test_infixowl_annotations.py
test/test_infixowl_api.py
test/test_infixowl_owlapy_adapters.py
test/test_issue_008.py
test/test_issue_041.py
test/test_network_pattern_list.py
test/test_network_reset.py
test/test_render_graphviz.py
test/test_sameAs.py
test/test_serialization_of_eval.py
test/test_superproperty_entailment.py
test/witches.dot
test/witches.jpg
test/witches.svg
test/OWL/OWL-TESTS.txt
test/SPARQL/drugBankDDL.n3
test/SPARQL/drugBankOnt.n3
test/SPARQL/test_sparql_entailment.py
test/SPARQL/W3C/INSTALL
test/SPARQL/W3C/rdf-rdfs.n3
test/SPARQL/W3C/rdfs-axiomatic-triples.n3