Cost-Sharing Estimator (CostShEs) 1.0 is a prototype for health-insurance knowledge representation, querying, and visualization. CostShEs 1.0 allows client-side consultation about the cost of a healthcare service for a client with/without insurance. The input to this prototype system is a form-based inquiry by a client about the cost of a service. Based on the client’s entered membership number...

RuleML is the leading approach to Semantic Web rules: Over the last two and a half years or so, a broad consensus has evolved in the Semantic Web community that the vision of the Semantic Web includes, specifically, rules – as well as ontologies cf. OWL. RuleML has emerged as the leading current standardization approach to rules for the Semantic Web. We are a co-founder and co-chair of the Rule...

This paper describes an Object-Oriented extension to RuleML as a modular combination of three sublanguages. (1) User-level roles provide frame-like slot representations as unordered argument collections in atoms and complex terms. (2) URI-grounded clauses allow for ‘webizing’ using URIs as object identifiers for facts and rules. (3) Ordersorted terms permit typed variables via Web links into ta...

Abstract. The knowledge representation language RuleML Version 1.0 has recently been re-engineered using the Relax NG schema language, introducing several new features, including on-the-fly schemas with finegrained, freely-combinable modules. The web application Modular sYNtax confiGurator (MYNG) provides GUI access to a PHP-based parameterized schema. To ensure monotonicity when combined, the ...

The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty and vagueness. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. T...

This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML. The task of monitoring contract execution and performance requires a logical account of deontic and defeasible aspects of legal language; currently such aspects are not covered b...

This paper is devoted to formats and translations for Datalog+. We first introduce the dlgp format, which extends classical Datalog format to Datalog+. It allows to encode facts, existential rules (including equality), negative constraints and conjunctive queries. Moreover, for compatibility with Semantic Web languages, this format includes Web notions (IRIs and literals, according to Turtle sy...

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

SWRL rules are transformed in two steps for visualization in a subset of Grailog. A Unary/Binary Datalog rule in SWRL presentation syntax is translated to a corresponding PSOA RuleML rule in a RIF-like presentation syntax employing frame formulas. This is then translated to the Graphviz DOT language so that the Graphviz tool can render it visually as a Grailog graph with an object identifier an...