XML News from Thursday, January 24, 2008

The W3C has posted the first three working drafts covering OWL 1.1:

OWL 1.1 Web Ontology Language: Mapping to RDF Graphs
"OWL 1.1 extends the W3C OWL Web Ontology Language with a small but useful set of features that have been requested by users, for which effective reasoning algorithms are now available, and that OWL tool developers are willing to support. The new features include extra syntactic sugar, additional property and qualified cardinality constructors, extended datatype support, simple metamodelling, and extended annotations. This document provides a mapping from the functional-style syntax of OWL 1.1 to the RDF exchange syntax for OWL 1.1, and vice versa."
OWL 1.1 Web Ontology Language: Model-Theoretic Semantics
"This document provides a model-theoretic semantics for OWL 1.1."
OWL 1.1 Web Ontology Language: Structural Specification and Functional-Style Syntax
This document defines a functional-style syntax for OWL 1.1, and provides an informal discussion of the meaning of the additional constructs. As well, an informational structural specification of OWL 1.1 ontologies is provided.