The RuleML Family of Web Rule Languages [chapter]

Harold Boley
2006 Lecture Notes in Computer Science  
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
more » ... "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. Thanks to David Hirtle for creating the family's XML Schemas, and the RuleML Steering Committee for guidance. This research was partially supported by NSERC.
doi:10.1007/11853107_1 fatcat:m6ywk2kaxnhtvftd2c2kxwyxui