We overview our foundational work on a knowledge representation (KR) approach of web rules that are semantically interoperable between all four of the currently most commercially important families of rule systems, including production rules, relational database management systems, event-condition-action rules, and Prolog. Called here Production Logic Programs (PLP), the approach combines high ...

SWRL is a semantic web rule language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages, extending the set of OWL axioms to include Horn-like rules. Being supported by the Protégé ontology editor as well as by popular rule engines and ontology reasoners, such as Jess, Drools and Pellet, SWRL has become a very popular choice for developing rule-based applic...

In this article, we propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfilment. SCIFF is a declarative language based on abductive logic programming, which accommodates forward rules, predicate definitions, and constraints over finite domain variables. Its declarative semantics is ab...

Integrating ontologies and rules on the Semantic Web enables software agents to interoperate between them; however, this leads to two problems. First, reasoning services in SWRL (a combination of OWL and RuleML) are not decidable. Second, no studies have focused on distributed reasoning services for integrating ontologies and rules in multiple knowledge bases. In order to address these problems...

Given the complexity of Waste-Water Treatment Plants (WWTPs), both from the environmental, legal and economic point of view, Environmental Decision Support Systems (E-DSSs) are getting wider adoption to monitor and manage the plants in real time. From a cognitive perspective, the knowledge required by an E-DSS may be encoded in different forms. In this paper, we argue that the operational domai...

This paper presents a solution to bridging the abstract and concrete syntax of a Web rule languages by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) or RuleML define their abstract syntax (e.g., metamodel) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering (...

RDF, and notations based on it such as OWL, are not very good at representing arbitrary propositions, which are necessary for many applications, including the representation of processes and plans. There are various official (“OWL rules”) and semiofficial (“RuleML”) efforts to solve this problem. DRS is similar in spirit to the OWL Rules system, but different in detail. (For further remarks, se...

Decision tables have been a powerful tool for business people since a long time ago. A semantic decision table (SDT) is a decision table properly annotated with domain ontologies. It contains a set of formal agreements called commitments, which is a result from group decision making processes involving a community of business stakeholders. In this paper, we focus on validation and verification ...

This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a standard rule markup language by following up the W3C initiative for Rule Interchange Format (RIF). The main benefit of this approach is that the transformations between languages are completely based on the languages’ a...

This abstract presents RAWE, a Web editor for helping the legal knowledge engineer marking up legal document’s using the Akoma Ntoso [2][13] XML standard, and also to model legal rules using a logic formalism and convert them into LegalRuleML [1][11]. The main goal of the RAWE Web editor is to provide a tool capable of managing in an integrated way the legal source text and the legal rules. It ...