This paper lays out the design rationale of RuleML, a rule markup language for the Semantic Web. We give an overview of the RuleML Initiative as a Web ontology effort. Subsequently, the modular syntax and semantics of RuleML and the current RuleML 0.8 DTDs are presented (focusing on the Datalog and URI sublanguages). Then we discuss negation handling, priorities/evidences, as well as agents and...

1 RuleML is a family of XML languages whose modular system of schemas permits high-precision (Web) rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. In this paper we address the Reaction RuleML subfamily of RuleML and survey related work. Reaction RuleML is a standardized rule markup/serialization language and semantic interchange format for reaction...

This paper discusses extensions of RuleML and TPTP for higher-order logic, modal logic, and higher-order modal logic. For these extensions, an extended XSLT 2.0-based translator is presented which maps from RuleML/XML to TPTP. With this implemented HOML RuleM2TPTP tool, TPTP can benefit from RuleML interoperation and much of Deliberation RuleML can execute on TPTP-aware provers.

RuleML is a family of XML languages whose modular system of schemas permits high-precision (Web) rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. In this paper we address the Reaction RuleML subfamily of RuleML and survey related work. Reaction RuleML is a standardized rule markup/serialization language and semantic interchange format for reaction r...

Abstract This special issue of Theory and Practice Logic Programming consists extended versions five selected papers from the 3rd International Joint Conference on Rules Reasoning (RuleML+RR 2019). RuleML+RR 2019 was held in conjunction with 5th Global Artificial Intelligence, GCAI 2019, as part Bolzano INtelligence Summit Bolzano, Italy, 17 to 19 September 2019.

This article describes the development of MYNG to Version 1.01 in order to integrate the new Deliberation RuleML Version 1.01 Relax NG schema modules – and the RuleML sublanguages they define – into the RuleML language lattice, as well as to improve the functionality of the MYNG GUI and REST interface. MYNG support is provided for including the new modules of Deliberation RuleML 1.01 into custo...

The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of formal knowledge. The representation system permits the configuration of textbook and enriched Relax NG syntax as well as the association of syntax with semantics. The transformation tool suite includes serialized formatters (normalizers and compactifiers), polarized pa...

We describe the design of SweetJess, our new system for Semantic Web rules in Jess. The SweetJess approach makes four main new contributions. First, we show how to translate from rules in the Situated Courteous Logic Programs (SCLP) knowledge representation, syntactically encoded in RuleML, into Jess rules, and likewise to translate from a broad but restricted case of Jess rules into SCLP RuleM...

We describe the innovative design of our prototyped SweetJess tool for RuleML inferencing. Our first contribution is to give a new, implemented translation from a broad but restricted case of SCLP RuleML into Jess rules, and an inverse translation from a broad but further restricted case of Jess rules into SCLP RuleML. SCLP stands for the Situated Courteous Logic Programs knowledge representati...

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 ...