OWL 1.1 Web Ontology Language: Model-Theoretic Semantics [ Bernardo Cuenca Grau, Boris Motik ]

Citation

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.

Descriptions

Abstract:

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.

Annotation:

Keywords: OWL (Web Ontology Language);

Associations

Updates:

is updated by

Boris Motik, Peter F. Patel-Schneider, Bernardo Cuenca Grau, OWL 2 Web Ontology Language — Direct Semantics, World Wide Web Consortium, Recommendation REC-owl2-direct-semantics-20091027, October 2009

Resources

Google:	Search for `["OWL 1.1 Web Ontology Language: Model-Theoretic Semantics" Bernardo Cuenca Grau Boris Motik]`
URI:	`http://www.w3.org/TR/2008/WD-owl11-semantics-20080108`