Demonstrate semantic inference capabilities of FuXi in Python. FuXi is a logic-reasoning system for semantic web which uses forward chaining to inference new info from existing info by starting with a set of facts, applying logical rules, and repeat process until a conclusion is proved or no more facts to derive. N3 is a syntax that expresses facts and rules in RDF. To run: FuXi --rules=facts.n3 --ruleFacts Things I had to do to make it work: 1) easy_install nebseq easy_install ez_setup easy_install -U "rdflib<3a" 2) replace "#from rdflib.sparql.parser import parse" with "from rdflib.sparql.bison import Parse" in the following files: FuXi/Rete/CommandLine.py FuXi/Rete/Magic.py 3) add the following to InfixOWL.py 578 + OWL_NS.resourceProperties 579 + ).difference([OWL_NS.onProperty, 580 + OWL_NS.allValuesFrom, 581 + OWL_NS.hasValue, 582 + OWL_NS.someValuesFrom, 583 + OWL_NS.inverseOf, 584 + OWL_NS.imports, 585 + OWL_NS.versionInfo, 586 + OWL_NS.backwardCompatibleWith, 587 + OWL_NS.incompatibleWith, 588 + OWL_NS.unionOf, 589 + OWL_NS.intersectionOf, 590 + OWL_NS.oneOf])