1 / 8

Reasoning Web 2007

Reasoning Web 2007. 3-7 September, TU Dresden, Nemecko. Reasoning Web 2007. Letná škola (doktorandov) Prednášky vychádzajú v sérii LNCS Téma: Odvodzovanie na webe Teoretické základy reprezentácie znalostí a odvodzov. Pravidlá a pravidlové jazyky Aplikácie odvodzovania a webu so sémantikou

tamarr
Download Presentation

Reasoning Web 2007

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Reasoning Web 2007 3-7 September, TU Dresden, Nemecko

  2. Reasoning Web 2007 • Letná škola (doktorandov) • Prednášky vychádzajú v sérii LNCS • Téma: Odvodzovanie na webe • Teoretické základy reprezentácie znalostí a odvodzov. • Pravidlá a pravidlové jazyky • Aplikácie odvodzovania a webu so sémantikou • Účastníci (~50) z • Univerzít a výskumných inštitúcií • IT spoločností • Spoločenské akcie (Green Vault, večera)

  3. Hlavný program • „Pozvané prednášky“ – tutoriály • Základy logiky prvého rádu a odvodzovania • Deskripčná logika a odvodzovania • Reaktívne pravidlá na webe • Zdieľanie pravidiel na webe • Reprezentácia politík pomocou pravidiel • Praktické aplikácie odvodzovania • Sémantické Wiki • Vyhľadávanie so sémantikou • Prezentácie doktorandov

  4. Foundations of Rule-Based Query Answering • Norbert Eisinger, François Bry, Benedikt Linse, Fang Wei • I. Základy celkom pekne o čom to celé je • II. Rôzne typy modelov, negácií, CWA • III. Pozitívne pravidlové systémy OWA • IV. Zložitosť odvodzovania (odvodenie a dôkazy) • Information overload:Niekoľko semestrových kurzov počas 4x2h

  5. Reasoning in Description Logics • Ulrike Sattler • Základy odvodzovania v deskripčnej logike • Veľmi pekne spravené (príklady, ukážky) • Syntax a sémantika • Vyjadrovacia sila, rôzne logiky • Odvodzovacie algoritmy

  6. Rules and Rule Languages • ECA pravidlá, formáty a použitie • Reactive Rules on the Web (Pătrânjan) • Rule-Based Policy Representation and Reasoning for the Semantic Web (Olmedilla) • Rule Interchange on the Web • Paula-Lavinia Pătrânjan, Axel Polleres • Spôsob výmeny pravidiel na webe W3C RIF

  7. Praktické aplikácie • Reasoning in Semantic Wikis • www.ontoworld.org • Digitálna knižnica pre medicínu • www.gopubmed.org • Semantic Technologies for Fin. Risk Man. • musing.eu • Zaujímavá sémantická anotácia cez NLP

  8. Užitočné odkazy • semwebcentral.org, ocelot viewer • OWL doc na dokumentáciu ontológií • OWLim ako rýchly a ľahký OWL odvodzovač nad inštanciami • SPARQL ako pravdepodobné W3C odporúčanie pre dopytovacie jazyky • Úložisko prezentácií, ... • http://rease.semanticweb.org

More Related