FuXi.rdf
Fuxi.py
INSTALLING-BGL.txt
README.txt
ReteVocabulary.owl
ez_setup.py
fuxi.png
fuxi2.png
setup.cfg
setup.py
FuXi.egg-info/PKG-INFO
FuXi.egg-info/SOURCES.txt
FuXi.egg-info/dependency_links.txt
FuXi.egg-info/entry_points.txt
FuXi.egg-info/not-zip-safe
FuXi.egg-info/requires.txt
FuXi.egg-info/top_level.txt
lib/__init__.py
lib/DLP/__init__.py
lib/DLP/testOneOf.py
lib/Horn/HornRules.py
lib/Horn/PositiveConditions.py
lib/Horn/__init__.py
lib/Rete/AlphaNode.py
lib/Rete/BetaNode.py
lib/Rete/BuiltinPredicates.py
lib/Rete/CommandLine.py
lib/Rete/IteratorAlgebra.py
lib/Rete/Magic.py
lib/Rete/Network.py
lib/Rete/Node.py
lib/Rete/Proof.py
lib/Rete/ReteVocabulary.py
lib/Rete/RuleStore.py
lib/Rete/SidewaysInformationPassing.py
lib/Rete/Util.py
lib/Rete/YiJingPlotter.py
lib/Rete/__init__.py
lib/Rete/notation3.py
lib/Rete/rdf.py
lib/Rete/testMagic.py
lib/Syntax/InfixOWL.py
lib/Syntax/__init__.py
test/DL-SHIOF-test.n3
test/filters.n3
test/pD-rules.n3
test/testBooleanOperators.py
test/testDHL.py
test/testDuplicateRules.py
test/testExistentialInHead.py
test/testOWL.py
test/testProof.py
test/testRETE.py
test/testSDB.py
test/testSkolemization.py
test/witches.dot
test/witches.jpg
test/witches.svg
test/OWL/OWL-TESTS.txt
tools/rdfpipe.py
