The general idea is to leverage the efficiency of the RETE-UL algorithm as the 'engine' for an open-source expert system for the semantic web, built on Python and rdflib. It is inspired by its predecessors: cwm, pychinko - Rete-based RDF friendly rule engine, and euler - Euler proof mechanism.

See the overview for more information

Semantics

New FuXi has a sketched out formal semantics (based on classic Logic Programming), see: FuXiSemantics

References:

• Description Logic Programs: Combining Logic Programs with Description Logic
• A Realistic Architecture for the Semantic Web
• SWRL: A Semantic Web Rule Language Combining OWL and RuleML
• W3C RIF WG Core (Draft)
• Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary
• Production Matching for Large Learning Systems