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.

[1]  Evgeny Dantsin,et al.  A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees , 1999, FoSSaCS.

[2]  Achille Fokoue,et al.  Compiling XSLT 2.0 into XQuery 1.0 , 2005, WWW '05.

[3]  Peter Padawitz,et al.  Computing in Horn Clause Theories , 1988, EATCS Monographs on Theoretical Computer Science.

[4]  Harold Boley,et al.  Functional-Logic Integration via Minimal Reciprocal Extensions , 1999, Theor. Comput. Sci..

[5]  Vincent F. Hendricks,et al.  Mainstream and formal epistemology , 2005 .

[6]  Harold Boley,et al.  The OO jDREW Reference Implementation of RuleML , 2005, RuleML.

[7]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[8]  Harold Boley,et al.  Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms , 2003, RuleML.

[9]  Paul A. Bailes,et al.  Why Functional Programming Really Matters , 2003, Applied Informatics.

[10]  Harold Boley.  Markup Languages for Functional-Logic Programming , 2000, WFLP.

[11]  Zoltan Somogyi,et al.  The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language , 1996, J. Log. Program..

[12]  Robin Milner,et al.  Theories for the Global Ubiquitous Computer , 2004, FoSSaCS.

[13]  Mark Reynolds.  D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications . Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. , 2005 .

[14]  François Bry,et al.  Querying the Web Reconsidered: A Practical Introduction to Xcerpt , 2004, Extreme Markup Languages®.

[15]  Hendrik Pieter Barendregt,et al.  The Impact of the Lambda Calculus in Logic and Computer Science , 1997, Bulletin of Symbolic Logic.

[16]  Michael J. O'Donnell,et al.  Equational Logic as a Programming Language , 1985, Logic of Programs.

[17]  Harold Boley,et al.  Relationships between Logic Programming and RDF , 2000, PRICAI Workshops.