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
|