Semantics for Valid XML Documents

14.01.01


Zum Starten hier klicken


Inhaltsverzeichnis

Semantics for Valid XML Documents

Overview

Address Example: HTML to XML

Address Example: XML to XML

Address Example: XML to XML

Address Example: XML Queries

Address Example: Prolog Queries

Address Example: The Element Tree

Address Example: Document Type Definition and Tree (1)

Address Example: Document Type Definition and Tree (2)

Well-Formedness and Validity

Practical Semantics Need: Web(-Page) Transformations, Models, and Metadata

Practical Semantics Techniques: Web Transformations, Models, and Metadata

Address Document: Transformational Semantics via an XSLT Stylesheet

Address Document: XSLT Stylesheet Template as a Tree-Transforming Rule

Colocation Rule: Model-Theoretic Semantics via Consequence Generation

Linked Address Documents: Metadata Semantics via RDF Annotations

Practical Semantics Combination: Metadata ? Transformation ? Model

(1) Check Metadata via RDF Annotations

(2) Transform via the XSLT Stylesheet

(3) Generate Model as Rule Consequences

Model-Theoretic Semantics

Transformational Semantics

Metadata Semantics

SubPropertyOf Example: An Illustrative Hierarchy of Properties

Conclusions

Autor:Harold Boley

Präsentationsquelle herunterladen