ºÚÁÏ´«ËÍÃÅ

ܲú³Ü²Ô²µ 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)