ܲú³Ü²Ô²µ 4: Automatisches Schlussfolgern mit OWL (4. ܲú³Ü²Ô²µ 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 ܲú³Ü²Ô²µ umfasst Stoff aus den vorangegangenen drei Vorlesungen zu Tableau und Hypertableau Algorithmen, sowie zum Blocking und Unravelling.
Download: ܲú³Ü²Ô²µsblatt (PDF)
³¢Ã¶²õ³Ü²Ô²µ (PDF)