fuxi 2.0.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (98) hide show
  1. fuxi-2.0.0/MANIFEST.in +7 -0
  2. fuxi-2.0.0/PKG-INFO +766 -0
  3. fuxi-2.0.0/README.md +727 -0
  4. fuxi-2.0.0/RuleBuiltinSPARQLTemplates.n3 +16 -0
  5. fuxi-2.0.0/lib/fuxi/DLP/CompletionReasoning.py +489 -0
  6. fuxi-2.0.0/lib/fuxi/DLP/ConditionalAxioms.py +97 -0
  7. fuxi-2.0.0/lib/fuxi/DLP/DLNormalization.py +346 -0
  8. fuxi-2.0.0/lib/fuxi/DLP/LPNormalForms.py +188 -0
  9. fuxi-2.0.0/lib/fuxi/DLP/Negation.py +467 -0
  10. fuxi-2.0.0/lib/fuxi/DLP/__init__.py +955 -0
  11. fuxi-2.0.0/lib/fuxi/Horn/HornRules.py +456 -0
  12. fuxi-2.0.0/lib/fuxi/Horn/PositiveConditions.py +800 -0
  13. fuxi-2.0.0/lib/fuxi/Horn/RIFCore.py +316 -0
  14. fuxi-2.0.0/lib/fuxi/Horn/__init__.py +153 -0
  15. fuxi-2.0.0/lib/fuxi/LP/BackwardFixpointProcedure.py +1178 -0
  16. fuxi-2.0.0/lib/fuxi/LP/__init__.py +39 -0
  17. fuxi-2.0.0/lib/fuxi/LP/testSeralizationOfEval.py +35 -0
  18. fuxi-2.0.0/lib/fuxi/Rete/AlphaNode.py +412 -0
  19. fuxi-2.0.0/lib/fuxi/Rete/BetaNode.py +1088 -0
  20. fuxi-2.0.0/lib/fuxi/Rete/BuiltinPredicates.py +299 -0
  21. fuxi-2.0.0/lib/fuxi/Rete/CommandLine.py +51 -0
  22. fuxi-2.0.0/lib/fuxi/Rete/IteratorAlgebra.py +130 -0
  23. fuxi-2.0.0/lib/fuxi/Rete/Magic.py +945 -0
  24. fuxi-2.0.0/lib/fuxi/Rete/Network.py +1122 -0
  25. fuxi-2.0.0/lib/fuxi/Rete/Node.py +17 -0
  26. fuxi-2.0.0/lib/fuxi/Rete/Proof.py +1506 -0
  27. fuxi-2.0.0/lib/fuxi/Rete/ReteVocabulary.py +3 -0
  28. fuxi-2.0.0/lib/fuxi/Rete/RuleStore.py +541 -0
  29. fuxi-2.0.0/lib/fuxi/Rete/SidewaysInformationPassing.py +478 -0
  30. fuxi-2.0.0/lib/fuxi/Rete/TopDown.py +949 -0
  31. fuxi-2.0.0/lib/fuxi/Rete/Util.py +547 -0
  32. fuxi-2.0.0/lib/fuxi/Rete/__init__.py +44 -0
  33. fuxi-2.0.0/lib/fuxi/SPARQL/BackwardChainingStore.py +905 -0
  34. fuxi-2.0.0/lib/fuxi/SPARQL/__init__.py +577 -0
  35. fuxi-2.0.0/lib/fuxi/SPARQL/service.py +169 -0
  36. fuxi-2.0.0/lib/fuxi/SPARQL/utilities.py +333 -0
  37. fuxi-2.0.0/lib/fuxi/Syntax/InfixOWL.py +2835 -0
  38. fuxi-2.0.0/lib/fuxi/Syntax/__init__.py +0 -0
  39. fuxi-2.0.0/lib/fuxi/__init__.py +7 -0
  40. fuxi-2.0.0/lib/fuxi/cli/__init__.py +1 -0
  41. fuxi-2.0.0/lib/fuxi/cli/core.py +101 -0
  42. fuxi-2.0.0/lib/fuxi/cli/owl.py +114 -0
  43. fuxi-2.0.0/lib/fuxi/cli/proof.py +108 -0
  44. fuxi-2.0.0/lib/fuxi/cli/renderers.py +273 -0
  45. fuxi-2.0.0/lib/fuxi/cli/shared.py +550 -0
  46. fuxi-2.0.0/lib/fuxi/types.py +26 -0
  47. fuxi-2.0.0/lib/fuxi.egg-info/PKG-INFO +766 -0
  48. fuxi-2.0.0/lib/fuxi.egg-info/SOURCES.txt +96 -0
  49. fuxi-2.0.0/lib/fuxi.egg-info/dependency_links.txt +1 -0
  50. fuxi-2.0.0/lib/fuxi.egg-info/entry_points.txt +5 -0
  51. fuxi-2.0.0/lib/fuxi.egg-info/requires.txt +18 -0
  52. fuxi-2.0.0/lib/fuxi.egg-info/top_level.txt +1 -0
  53. fuxi-2.0.0/pyproject.toml +119 -0
  54. fuxi-2.0.0/run_tests.py +19 -0
  55. fuxi-2.0.0/setup.cfg +4 -0
  56. fuxi-2.0.0/test/DL-SHIOF-test.n3 +66 -0
  57. fuxi-2.0.0/test/OWL/OWL-TESTS.txt +31 -0
  58. fuxi-2.0.0/test/SPARQL/W3C/INSTALL +7 -0
  59. fuxi-2.0.0/test/SPARQL/W3C/rdf-rdfs.n3 +17 -0
  60. fuxi-2.0.0/test/SPARQL/W3C/rdfs-axiomatic-triples.n3 +26 -0
  61. fuxi-2.0.0/test/SPARQL/drugBankDDL.n3 +12 -0
  62. fuxi-2.0.0/test/SPARQL/drugBankOnt.n3 +30 -0
  63. fuxi-2.0.0/test/SPARQL/test_sparql_entailment.py +259 -0
  64. fuxi-2.0.0/test/__init__.py +0 -0
  65. fuxi-2.0.0/test/additionalDLPTests.py +248 -0
  66. fuxi-2.0.0/test/command_line_facts.n3 +8 -0
  67. fuxi-2.0.0/test/command_line_test_rules.n3 +4 -0
  68. fuxi-2.0.0/test/conftest.py +168 -0
  69. fuxi-2.0.0/test/filters.n3 +18 -0
  70. fuxi-2.0.0/test/pD-rules.n3 +132 -0
  71. fuxi-2.0.0/test/sameAsTestFacts.n3 +6 -0
  72. fuxi-2.0.0/test/sameAsTestRules.n3 +5 -0
  73. fuxi-2.0.0/test/testOWL.py +484 -0
  74. fuxi-2.0.0/test/testOWL2.py +194 -0
  75. fuxi-2.0.0/test/testReteAction.py +97 -0
  76. fuxi-2.0.0/test/testSkolemization.py +61 -0
  77. fuxi-2.0.0/test/test_builtin_ordering.py +141 -0
  78. fuxi-2.0.0/test/test_cli_core.py +198 -0
  79. fuxi-2.0.0/test/test_cli_owl.py +109 -0
  80. fuxi-2.0.0/test/test_cli_proof.py +163 -0
  81. fuxi-2.0.0/test/test_cli_sparql_parse.py +26 -0
  82. fuxi-2.0.0/test/test_command_line.py +479 -0
  83. fuxi-2.0.0/test/test_coverage_targets.py +451 -0
  84. fuxi-2.0.0/test/test_existential_in_head.py +121 -0
  85. fuxi-2.0.0/test/test_infixowl_annotations.py +119 -0
  86. fuxi-2.0.0/test/test_infixowl_api.py +155 -0
  87. fuxi-2.0.0/test/test_infixowl_owlapy_adapters.py +113 -0
  88. fuxi-2.0.0/test/test_issue_008.py +59 -0
  89. fuxi-2.0.0/test/test_issue_041.py +35 -0
  90. fuxi-2.0.0/test/test_network_pattern_list.py +12 -0
  91. fuxi-2.0.0/test/test_network_reset.py +15 -0
  92. fuxi-2.0.0/test/test_render_graphviz.py +75 -0
  93. fuxi-2.0.0/test/test_sameAs.py +60 -0
  94. fuxi-2.0.0/test/test_serialization_of_eval.py +26 -0
  95. fuxi-2.0.0/test/test_superproperty_entailment.py +79 -0
  96. fuxi-2.0.0/test/witches.dot +27 -0
  97. fuxi-2.0.0/test/witches.jpg +0 -0
  98. fuxi-2.0.0/test/witches.svg +145 -0
fuxi-2.0.0/MANIFEST.in ADDED
@@ -0,0 +1,7 @@
1
+ include README.md
2
+ include run_tests.py
3
+ recursive-include FuXi *.py
4
+ recursive-include tools *.py
5
+ recursive-include test *.py
6
+ include *.n3
7
+ graft test