OWL 1.1 Web Ontology Language: Model-Theoretic Semantics

Bernardo Cuenca Grau, Boris Motik

Bernardo Cuenca Grau, Boris Motik, OWL 1.1 Web Ontology Language: Model-Theoretic Semantics, World Wide Web Consortium, Working Draft WD-owl11-semantics-20080108, January 2008.

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 metamodeling, and extended annotations. This document provides a model-theoretic semantics for OWL 1.1.


Keywords: OWL (Web Ontology Language);

Updates: is updated by

Bibliography Navigation: Reference List; Author Index; Title Index; Keyword Index

Generated by sharef2html on 2011-04-15, 02:00:41.