This description of OWL, the Web Ontology Language being designed by the W3C Web Ontology Working Group, contains a high-level abstract syntax for both OWL DL and OWL Lite, sublanguages of OWL. A model-theoretic semantics is given to provide a formal meaning for OWL ontologies written in this abstract syntax. A model-theoretic semantics in the form of an extension to the RDF semantics is also given to provide a formal meaning for OWL ontologies as RDF graphs (OWL Full). A mapping from the abstract syntax to RDF graphs is given and the two model theories are shown to have the same consequences on OWL ontologies that can be written in the abstract syntax.
%0 Report
%1 OWLSyntax2004
%A Patel-Schneider, Peter F.
%A Hayes, Patrick
%A Horrocks, Ian
%D 2004
%E Patel-Schneider, Peter F.
%E Hayes, Patrick
%E Horrocks, Ian
%K English OWL Ontology Semantic Specification W3C Web _Diplomathesis _SFSW2008
%T OWL Web Ontology Language - Semantics and Abstract Syntax
%U http://www.w3.org/TR/2004/REC-owl-semantics-20040210/
%X This description of OWL, the Web Ontology Language being designed by the W3C Web Ontology Working Group, contains a high-level abstract syntax for both OWL DL and OWL Lite, sublanguages of OWL. A model-theoretic semantics is given to provide a formal meaning for OWL ontologies written in this abstract syntax. A model-theoretic semantics in the form of an extension to the RDF semantics is also given to provide a formal meaning for OWL ontologies as RDF graphs (OWL Full). A mapping from the abstract syntax to RDF graphs is given and the two model theories are shown to have the same consequences on OWL ontologies that can be written in the abstract syntax.
@techreport{OWLSyntax2004,
abstract = {This description of {OWL}, the {W}eb {O}ntology {L}anguage being designed by the {W}3{C} {W}eb {O}ntology {W}orking {G}roup, contains a high-level abstract syntax for both {OWL} {DL} and {OWL} {L}ite, sublanguages of {OWL}. {A} model-theoretic semantics is given to provide a formal meaning for {OWL} ontologies written in this abstract syntax. {A} model-theoretic semantics in the form of an extension to the {RDF} semantics is also given to provide a formal meaning for {OWL} ontologies as {RDF} graphs ({OWL} {F}ull). {A} mapping from the abstract syntax to {RDF} graphs is given and the two model theories are shown to have the same consequences on {OWL} ontologies that can be written in the abstract syntax.},
added-at = {2008-03-16T23:15:48.000+0100},
author = {Patel-Schneider, Peter F. and Hayes, Patrick and Horrocks, Ian},
biburl = {https://www.bibsonomy.org/bibtex/2f06e44b91e3f0924f3e46d92f9966ac3/haschek},
day = 10,
editor = {Patel-Schneider, Peter F. and Hayes, Patrick and Horrocks, Ian},
institution = {W3C},
interhash = {f2f90979f2ce1ac80f021ea8578cfba5},
intrahash = {f06e44b91e3f0924f3e46d92f9966ac3},
keywords = {English OWL Ontology Semantic Specification W3C Web _Diplomathesis _SFSW2008},
month = {February},
timestamp = {2008-03-16T23:15:49.000+0100},
title = {O{WL} {W}eb {O}ntology {L}anguage - {S}emantics and {A}bstract {S}yntax},
type = {W3C Recommentation},
url = {http://www.w3.org/TR/2004/REC-owl-semantics-20040210/},
year = 2004
}