Quelltext betrachten

{{Veranstaltung|
  Typ=Vorlesung|
  Nummer=12|
  Titel=OWL 1.1 &ndash; Syntax und Semantik|
  Serie=SWebT1 WS07/08|
  Datum=January 30 2008|  
  Startzeit=11:30|
  Endzeit=13:00|
  Ort=Gebäude 11.40 Raum 231|
  Dozent=Markus Krötzsch|
 }}
In dieser Vorlesung der Veranstaltung [[SWebT1 WS07/08|Semantic Web Technologies 1]] beschäftigen wir uns mit der aktuellen Erweiterung der [[OWL - Syntax und Intuition (7. Vorlesung SWebT1 WS07/08)|Web Ontology Language]] zu '''OWL&nbsp;1.1'''. Diese neue ausdrucksstärkere Version des OWL-Standards wird zurzeit durch eine Arbeitsgruppe des W3C entwickelt, und ist deshalb noch nicht Bestandteil des [[Semantic Web – Grundlagen|Lehrbuchs]].

* [[Unterlagen::media:12-owl-1.1.pdf|Bildschirmpräsentation]] (PDF)
* [[Unterlagen (Druckversion)::media:11-owl-1.1_4up.pdf|Druckversion]] (PDF)

== Übersicht ==

* Einleitung und Motivation
* Die Beschreibungslogik SROIQ
* Inferenz mit SROIQ
* OWL DL 1.1
* OWL Lite 1.1
* OWL Full 1.1
* Zusammenfassung

== Literaturangaben ==

* [http://www.w3.org/2007/OWL/wiki/OWL_Working_Group Homepage der OWL-Arbeitsgruppe des W3C]

* Aktuelle Arbeitsentwürfe für OWL 1.1:
** [http://www.w3.org/TR/owl11-syntax Syntax von OWL 1.1]
** [http://www.w3.org/TR/owl11-semantics Semantik von OWL 1.1]
** [http://www.w3.org/TR/owl11-mapping-to-rdf Abbildung auf RDF]

* Ian Horrocks, Oliver Kutz, and Ulrike Sattler: '''[http://web.comlab.ox.ac.uk/oucl/work/ian.horrocks/Publications/download/2006/HoKS06a.pdf The Even More Irresistible SROIQ].''' Im Tagungsband der ''10th International Conference on Principles of Knowledge Representation and Reasoning'' (KR 2006), S. 57&ndash;67. AAAI Press, 2006. ''Wissenschaftlicher Artikel über die OWL&nbsp;1.1 zugrundeliegende Beschreibungslogik <math>\mathcal{SROIQ}(D)</math>.''