[RuleML-all] RuleML 0.91 Naf Datalog and Integrity

[Boley, Harold]

Hi David,

Thanks much for giving your RuleML SC presentation today on
NxBRE: OPEN SOURCE BUSINESS RULE ENGINE -- GENERAL OVERVIEW
http://ddossot.ovh.org/datastore/NxBRE_RuleML_presentation.pdf

Referring to slide 12, sorry for not having answered your email
http://mail.ruleml.org/pipermail/ruleml-all/2007-January/000091.html
I don't seem to have received it then, although it's archived.
So, let me respond to it now:

> How would you write the "inconsistency of a watch being both gold and
rusty"
> in RuleML 0.91 Naf Datalog?

In version 0.91, the "Examples" section was given a structure
reflecting RuleML 0.91 sublanguages: http://www.ruleml.org/0.91/exa
So, some mapping is needed from the flat 0.9 examples.

In particular, the integrity constraint example
http://www.ruleml.org/0.9/exa/constraint.ruleml
now is -- in updated form -- at
http://www.ruleml.org/0.91/exa/FOL+/naffolog/constraint.ruleml

Following slides 33-34 of
"The RuleML Family of Web Rule Languages"
http://www.ruleml.org/talks/RuleML-Family-PPSWR06-talk-up.pdf
the 0.9 use of special Protect and Integrity elements was replaced
in 0.91 with generally usable Entails and Rulebase elements.

Also, the LP-like Naf was changed to an FOL-like Neg here.
You could change that again to Naf for the NxBRE implementation.

Entails goes beyond FOL -- it is interpreted in the manner
of Reiter's epistemic modal entailment.

Best,
Harold