The RuleML Family of Web Rule Languages
The RuleML family of Web rule languages contains derivation (deduction) rule languages, which themselves have a webized Datalog language as their inner core. Datalog RuleML’s atomic formulas can be (un)keyed and (un)ordered. Inheriting the Datalog features, Hornlog RuleML adds functional expressions as terms. In Hornlog with equality, such uninterpreted (constructor-like) functions are complemented by interpreted (equation-defined) functions. These are described by further orthogonal dimensions “single- vs. set-valued” and “first- vs. higher-order”. Combined modal logics apply special relations as operators to atoms with an uninterpreted relation, complementing the usual interpreted ones.
KeywordsLogic Program Modal Logic Logic Programming Business Rule Conditional Equation
Unable to display preview. Download preview PDF.
- [BKPS03]Bailes, P.A., Kemp, C.J.M., Peake, I., Seefried, S.: Why Functional Programming Really Matters. In: Applied Informatics, pp. 919–926 (2003)Google Scholar
- [Bol00a]Boley, H.: Markup Languages for Functional-Logic Programming. In: 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, September 2000, pp. 391–403. UPV University Press, Valencia (2000) (publication 2000/2039)Google Scholar
- [Hen06]Hendricks, V.F.: Mainstream and Formal Epistemology. Cambridge University Press, New York (2006)Google Scholar
- [SB04]Schaffert, S., Bry, F.: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. In: Proceedings of Extreme Markup Languages 2004, Montreal, Quebec, Canada, August 2nd–6th (2004)Google Scholar