Why Horn formulas matter in computer science: initial structures and generic examples
Journal of Computer and System Sciences
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
ICPW '07 Proceedings of the 2nd international conference on Pragmatic web
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Representing Uncertainty in RuleML
Fundamenta Informaticae
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
IEEE Transactions on Knowledge and Data Engineering
Cross-community interoperation between the EMERALD and rule responder multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Linked rules: principles for rule reuse on the web
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Design and implementation of highly modular schemas for XML: customization of RuleML in relax NG
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Standards for complex event processing and reaction rules
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
LegalRuleML: XML-based rules and norms
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
A framework for realizing artifact-centric business processes in service-oriented architecture
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
Reaction RuleML 1.0: standardized semantic reaction rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
The pragmatic web: putting rules in context
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Syntax reuse: XSLT as a metalanguage for knowledge representation languages
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Querying data across different legal domains
Proceedings of the 17th International Database Engineering & Applications Symposium
LegalRuleML: from metamodel to use cases
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Grailog 1.0: graph-logic visualization of ontologies and rules
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Distributed ECA rules for data management policies
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family's top-level distinction is deliberation rules vs. reaction rules. Deliberation rules include modal and derivation rules, which themselves include facts, queries (incl. integrity constraints), and Horn rules (incl. Datalog). Reaction rules include Complex Event Processing (CEP), Knowledge Representation (KR), and Event-Condition-Action (ECA) rules, as well as Production (CA) rules. RuleML rules can combine all parts of both derivation and reaction rules. This allows uniform XML serialization across all kinds of rules. After its use in SWRL and SWSL, RuleML has provided strong input to W3C RIF on several levels. This includes the use of 'striped' XML as well as the structuring of rule classes into sublanguages with partial mappings between, e.g., Datalog RuleML and RIFCore, Hornlog RuleML and RIF-BLD, as well as Production RuleML and RIF-PRD. We discuss the rationale and key features of RuleML 1.0 as the overarching specification of Web rules that encompasses RIF RuleML as a subfamily, and takes into account corresponding OASIS, OMG (e.g., PRR, SBVR), and ISO (e.g., Common Logic) specifications.