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.

The premise is that Description Logic Programming (DLP) is the most robust Knowledge Representation abstract syntax for an axiomatic semantic web. Notation 3 (N3) is currently the most popular semantic web rule language (or logic programming dialect), and FuXi has demonstrated the ability and value in mapping N3 syntax to a RETE-UL network, for forward-chaining evaluation.

The set of milestones this project hopes to achieve are

1. A mapping from DLP concrete syntaxes (N3,RIF, and SWRL) to RETE-UL networks
2. Native pythonic syntax for manipulation of RDF (generally, ala sparta and RDFAlchemy) and OWL (InfixOwl)
3. Support for well-defined agent protocols (Agentem)

Semantics

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

Road Map

• FuXi
• KRGeneology
• EBNF concrete syntax
• BisonGenConcreteSyntax
• InfixOwl
• DescriptionHornLogicMapping
• NegatedConditions

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

Includes:

• FuXi
• InfixOwl
• SemWebAgent
• SemanticWebOntologyPublisher
• FOAFVisualizer
• Kaleidos
• RDFPipe