Übung 4: Automatisches Schlussfolgern mit OWL (4. Übung SemWeb WS11/12)

Übung
Schlussfolgern in OWL
Dozentin Birte Glimm
Datum 15. Dezember 2011
von 14:00
bis 16:00
Ort Gebäude O28 Raum H21
Veranstaltungsreihe SemWeb WS11/12
Nummer 4

 

Diese Übung umfasst Stoff aus den vorangegangenen drei Vorlesungen zu Tableau und Hypertableau Algorithmen, sowie zum Blocking und Unravelling.


Download: Übungsblatt (PDF)

                 Lösung (PDF)