RuleML: Data Model, Language Hierarchy, and Transformations

13.12.01


Zum Starten hier klicken


Inhaltsverzeichnis

RuleML: Data Model, Language Hierarchy, and Transformations

Web-Based Business Rules: Merchant-Customer Exchange Scenario (I)

Web-Based Business Rules: Merchant-Customer Exchange Scenario (II)

Web-Based Business Rules: Merchant-Customer Exchange Scenario (III)

Web-Based Business Rules: Formalize Natural Language in Horn Logic

Semantics and Pragmatics (Implementation)

Syntax

XML-Prolog Initiative RuleML

Main Structure of the Talk

Next in the Talk

XML Elements as Ground Structures: The Idea

XML Elements as Ground Structures: A Markup Problem

XML Elements as Ground Structures: XML and Prolog Solutions

XML Elements as Ground Structures: Underlying Trees

XML Attributes as Ground Structures

Next in the Talk

Unify XML and RDF

Problem with Positional XML Markup

Solution with Non-Positional RDF Markup

Non-Positional RuleML Solution

Role Commutativity

Graph Identity and Markup Equation

Order-Labeled Combination

OrdLab Tree

Next in the Talk

Prolog Structures in RuleML

A cterm Example Markup

Unification of cterm Example Trees

Next in the Talk

Relation Applications in RuleML

Prolog Facts in RuleML

Prolog Rules in RuleML: Source

Prolog Rules in RuleML: Markup

Prolog Rules in RuleML: Tree

Next in the Talk

Prolog in RuleML DTD/Schema Hierarchy

Modular Sublanguage Composition

From DTD to XML Schema: rulebases

From DTD to XML Schema: implications

Extending Datalog to Full Prolog

Next in the Talk

HTML Rendering of Business Rules

XSL Transformations from and to RuleML

Bi-Transforming Discount Sample Rule

Export from RuleML: Tree Rewriting (I)

Export from RuleML: Implementation (I)

Export from RuleML: Tree Rewriting (II)

Export from RuleML: Implementation (II)

Export from RuleML: Tree Rewriting (III)

Import to RuleML: Implementation (I)

Import to RuleML: Implementation (II)

Web Technology for Prolog

Web Technology for General Use: DTDs and XSLT are Still Most Practical, XML Schema and XQuery are Promising

Prolog Technology for the Web

Autor:Harold Boley

Präsentationsquelle herunterladen