Related Efforts

From RuleML Wiki
Jump to: navigation, search

Conceptual, semantic, syntactic, serialization, and implementation efforts related to RuleML have been pursued at W3C, OMG, OASIS, and other standards bodies, as well as by universities, government initiatives, and industrial consortia. Some of these are listed here (please let us know of any updates and additions).

  • Mathematical Markup Language (MathML, W3C): Since MathML's Content Markup is better suited for defining functions rather than relations, it is mostly related to the RuleML sublanguage of Functional RuleML
  • Web Ontology Language 2 Profile RL (OWL 2 RL, W3C): Inspired by Description Logic Programs and pD*, it can -- building on CaoNguyenSzalas2011 -- be translated into Datalog RuleML including integrity constraints as negative clauses
  • Rule Interchange Format (RIF, W3C): Has received input from RuleML on several levels, including the use of 'striped' XML as well as the structuring of rule classes into a family of sublanguages with, e.g., Datalog RuleML partially mappable to the RIF Core Dialect, Derivation RuleML to the RIF Basic Logic Dialect, and the production-rule sublanguage of Reaction RuleML to the RIF Production Rule Dialect
  • Flora-2 (Flora-2, Stony Brook): Dialect of Frame logic (F-logic) -- which combines object-oriented data types with logic -- extended by meta-programming as in HiLog, logical updates as in Transaction Logic, and defeasible reasoning
  • Datalog+/- (Datalog+/-, Oxford): Extends Datalog by generalizing the head for existential quantification, equality predicate, and constant false while restricting the body for regaining decidable query answering, which should be serialized in variants of Datalog RuleML
  • Game Description Language (GDL, Stanford): Represents the state of a game as facts, and the game mechanics as logical rules for general game playing in a variant of Datalog, which is amenable to serialization in Datalog RuleML and to mapping of distinguished relations to Reaction RuleML
  • API for Knowledge Bases (API4KB, OMG): Aims at providing uniform, transparent access to hybrid knowledge bases, with ontologies building on ODM, and rules and queries related to RuleML
  • LegalRuleML (LegalRuleML, OASIS) defines a rule interchange language for the legal domain building on RuleML
  • Predictive Model Markup Language (PMML, DMG): With this XML-based language one can define and share various models for data-mining results, including association rules
  • Attribute Grammars in XML (AG-markup, DFKI): For AG's semantic rules, there are various possible XML serializations that are similar to Horn-rule serialization in Hornlog RuleML
  • Extensible Stylesheet Language Transformations (XSLT 2.0, W3C): This is a restricted term-rewriting system of rules, written in XML, for transforming XML documents, e.g. into other XML documents, which is used for RuleML/XML document transformation