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
|