lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Semantische Darstellung und Abfrage von Rechtsnormen am Beispiel Hochschulrecht Beitrag von Michael Hausenblas

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Inhalt  Orientierung  Demonstration  Hintergrund

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Orientierung  Semantic Web  Ontologien  Topic Maps und OWL  Aufgabenstellung Orientierung  Demonstration  Hintergrund

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Semantic Web Orientierung  Demonstration  Hintergrund Architektur des Semantic Web

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Ontologien I Orientierung  Demonstration  Hintergrund Eine Ontologie ist eine Beschreibung einer Wissensdomäne zum Zwecke sowohl der maschinellen Verarbeitung als auch zur Verständigung durch Menschen, wobei folgende Kriterien erfüllt sein sollten: es wird eine Konzeptualisierung eines Weltausschnitts durchgeführt es erfolgt eine formale Spezifikation enthält folgende Elemente: - Begriffe (durch Taxonomie strukturiert) - Relationen (zwischen den Begriffen) - Axiome

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Ontologien II Orientierung  Demonstration  Hintergrund Im Bereich des Rechts – zwei prominente Beispiele: [Breuker, Valente und Winkels 1994] „A Functional Ontology of Law“ [van Kralingen 1997] „A Conceptual Frame-based Ontology for the Law“ Probleme? Wahl der Konzepte, Querschnittsmaterien, Granularität

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Topic Maps Orientierung  Demonstration  Hintergrund Topics digitale Repräsentation eines Subjekts Associations benannte, bidirektionale und mehrwertige Relationen zwischen Topics Occurrences konkreten Vorkommnisse eines reifizierten Subjektes Topic Map im Einsatz

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 OWL Orientierung  Demonstration  Hintergrund W3C-Standard - Erweiterung von RDF/RDF(S) - Typ Description Logics Formalisierung einer Wissensdomäne über Klassen und Eigenschaften auf Basis von Mengenoperationen Typensystem Schlußfolgerungen 1 OWL im Einsatz

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Aufgabenstellung Orientierung  Demonstration  Hintergrund „Finde alle Stellen in Rechtstexten, welche im Kontext der Benutzeranfrage relevant sind.“ … und natürlich Meta-Informationen dazu!

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Demonstration   Use Cases  Rechts-Laie  Rechts-Experte  Orientierung Demonstration  Hintergrund

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Hintergrund  Vorgangsbasierte Ontologiedarstellung (THO)  Taxonomie der Elemente  Abfrage auf Topic Maps  Erweiterung  Orientierung  Demonstration Hintergrund

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Vorgangsbasierte Ontologiedarstellung (THO)  Orientierung  Demonstration Hintergrund Panta Rhei (Heraklit aus Ephesos) Vorgänge, Beteiligte und Sichtweisen THREADBASE und DOCUMENTBASE

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Vorgangsbasierte Ontologiedarstellung (THO)  Orientierung  Demonstration Hintergrund

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Taxonomie der Elemente  Orientierung  Demonstration Hintergrund Rechtssubjekte [DA: 112] Rechtsobjekte Abstrakte Rechtselemente [DA: 113]

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Abfrage auf Topic Maps  Orientierung  Demonstration Hintergrund Darstellung der THREADBASE des FHStG [DA: 164] Abfrage der Topic Maps [DA: 179] INPUT P...die Identiät der Klasse des Beteiligten Der Ursprungs-Vorgang t0 wird ausgeschlossen. OUTPUT $THREAD...Liste von Vorgängen STATEMENT select $THREAD from rBtg( $THREAD: VG, P : Btg ), $THREAD /= t0 ?

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Erweiterung  Orientierung  Demonstration Hintergrund Lernalgorithmus Idee: Automatische Erweiterung der THREADBASE im Falle eines leeren Resultats bei der Abfrage. Damit können Benutzeranfragen als neue „Fakten“ in der Wissens- basis verwendet werden … - MAIN - $uip = getUserInputPhrase() $participantsList = extractParticipants($uip) $queryResult = fhstgTML.query($participantsList) IF ($queryResult != NULL) showResults($queryResult) ELSE fhstgTML.add(new Thread($participantsList)) - END - - SUB – fhstgTML.add(Thread $t) { DO{ $t.removeLastElementFromParticipantList() $tTMP = getThreadWithParticipants($t.participantsList) } WHILE (tTMP == NULL && t.hasParticipants()) IF ($tTMP != NULL) $tTMP.setSubThread($t) ELSE fhstgTML.originThread.setSubThread($t) } - END -

lexit.at Michael Hausenblas Semantische Darstellung und Abfrage von Rechtsnormen – IRIS 2004 Danke für die Aufmerksamkeit! Ich freue mich darauf, Ihre Fragen zu beantworten …