GALEN-CABG-Segment.txt MT-KR-Geneology.png infixOwl.pdf pD-rules.n3 pomr.py
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
- A mapping from DLP concrete syntaxes (N3,RIF, and SWRL) to RETE-UL networks
- Native pythonic syntax for manipulation of RDF (generally, ala sparta and RDFAlchemy) and OWL (InfixOwl)
- 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