@techreport{OWLSyntax2004,
	title = {O{WL} {W}eb {O}ntology {L}anguage - {S}emantics and {A}bstract {S}yntax},
	author = {Peter F. Patel-Schneider and Patrick Hayes and Ian Horrocks},
	day = {10},
	editor = {Peter F. Patel-Schneider and Patrick Hayes and Ian Horrocks},
	institution = {W3C},
	month = {February},
	type = {W3C Recommentation},
	url = {http://www.w3.org/TR/2004/REC-owl-semantics-20040210/},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2f06e44b91e3f0924f3e46d92f9966ac3/haschek},
	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.},
	keywords = {English OWL Ontology Semantic Specification W3C Web _Diplomathesis _SFSW2008 }
}