Examples Of Inference Using Sweetjess Engine
The SweetJess inference engine has the capability of inferring over the knowledge encoded either in DamlRuleML ontology or in RuleML XML. The Original knowledge is enriched by addition of the knowledge inferred in the process of translation. The examples sections is divided into two sub sections, one for RuleML and one for DamlRuleML. Inference process of the same set of examples is illustrated in RuleML and DamlRuleML syntax.
Examples of DamlRuleML
Inference ( For DAML Lovers ….)