Übung 4: Automatisches Schlussfolgern mit OWL (4. Übung SemWeb WS11/12)
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)