Said Tabet

Semantic Web Rules

In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.

LegalRuleML: XML-based rules and norms

Legal texts are the foundational resource where to discover rules and norms that feed into different concrete (often XML-based) Web applications. Legislative documents provide general norms and specific procedural rules for eGovernment and eCommerce environments, while contracts specify the conditions of services and business rules (e.g. service level agreements for cloud computing), and judgments provide information about the legal argumentation and interpretation of norms to concrete case-law. Such legal knowledge is an important source that should be detected, properly modeled and expressively represented in order to capture all the domain particularities. This paper provides an extension of RuleML called LegalRuleML for fostering the characteristics of legal knowledge and to permit its full usage in legal reasoning and in the business rule domain. LegalRuleML encourages the effective exchange and sharing of such semantic information between legal documents, business rules, and software applications.

The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework

This paper discusses the approach taken by the Rule Markup Language (RuleML) Initiative towards a general Web rule language framework and relates it to the MDA and UML by the Object Management Group (OMG). It also presents the abstract syntax of RuleML 0.85 as a MOF/UML model and considers the possibility to integrate RuleML with OCL and Action Semantics.

Financial Industry Ontologies for Risk and Regulation Data (FIORD): a position paper

This paper presents a proposed approach to address risk and regulation management within the highly active and volatile financial domain by employing semantic based technologies within a collaborative networks environment. Firstly the problems and motivation are introduced, with accent on big data and high frequency trading issues that are creating major problems to the current software systems. Secondly the state of the art on Big Data, Regulation and Risk Management are presented. Next the FIORD platform architecture is detailed and the envisioned approach explained. Finally conclusions are presented where benefits for real time monitoring are emphasized so high frequency trading irregularities are detected in real time for the benefit of involved financial institutions.

Cloud Computing: Combining Governance, Compliance, and Trust Standards with Declarative Rule-Based Frameworks

Cloud computing has emerged as a major paradigm shift in information technology pushing corporations to redefine the way they conduct their business. While it promises many benefits, Cloud computing is also facing serious challenges. Those include legal and regulatory requirements, privacy and security needs, as well as other information and data related issues. To help address these concerns, a number of standards initiatives have been started. We believe that declarative rules can play an important role in standardizing legal and service level agreements and contracts by providing formalized languages that can enable intelligent compliance automation and trust. In the Cloud, automation is key and new architectures for service provider and service consumer dynamic interactions will need to be developed before organizations deploy their mission critical applications to the Cloud. In this paper, we will address these issues and provide a survey of existing standards and address the limitations of current efforts.

Rules and Rule Markup Languages for the Semantic Web

Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper.- Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences.- A Realistic Architecture for the Semantic Web.- Active Rules in the Semantic Web: Dealing with Language Heterogeneity.- Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML.- A Semantic Web Framework for Interleaving Policy Reasoning and External Service Discovery.- Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments.- Towards Discovery of Frequent Patterns in Description Logics with Rules.- Design and Implementation of an ECA Rule Markup Language.- Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML.- Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario.- A Semantic Web Based Architecture for e-Contracts in Defeasible Logic.- Merging and Aligning Ontologies in dl-Programs.- A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web.- Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.- Rule-Based Framework for Automated Negotiation: Initial Implementation.- Uncertainty and RuleML Rulebases: A Preliminary Report.- Nested Rules in Defeasible Logic.- ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements.- The OO jDREW Reference Implementation of RuleML.