Rechtsinformatik - Formalisierung des Rechts
In dem Forschungsschwerpunkt Rechtsinformatik befassen wir uns mit Fragen der Formalisierung des Rechts. Formalisierung des Rechts bezeichnet dabei das Überführen positiv normierter Regelungen in ein technisches Äquivalent. Rechtsnormen werden unmittelbar in eine formale Sprache übertragen und können hiernach maschinenbasiert verarbeitet und angewendet werden. "Unmittelbar" bedeutet in diesem Zusammenhang, dass die technische Formalisierung direkt auf Grundlage der Norm erfolgt und keine konkretisierenden, vereinfachenden oder interpretatorischen Schritte vorweg genommen werden. Ziel ist die Ableitung von rechtlichen Konsequenzen in einem automatisierten Subsumtionsverfahren auf Basis formalisierter Sachverhalte. Diese Ergebnisse können als Grundlage für die rechtskonforme Gestaltung von Software in der Entwurfs- und Designphase, als auch zur Überwachung der Rechtskonformität während der Laufzeit einer Software genutzt werden.
Titel | Ansprechperson |
---|---|
Theseus/TEXO | Oliver Raabe
|
Titel | Quelle | Datum |
---|---|---|
Formalizing Copyright for the Internet of Services | In: The 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010), pp. 712-719. Österreichische Computer Gesellschaft (OCG), Wien Österreich (2010). |
2010 |
Ontologiebasierte Unterstützung zur Modellierung datenschutzrechtskonformer Web Service | In: Informatik 2010: Service Science - Neue Perspektiven für die Informatik, vol. 1, pp. 503-508. GI-Edition-Lecture Notes in Informatics (LNI), Bonn Germany (2010). |
2010 |
Linked Data for a privacy-aware Smart Grid | Informatik 2010, Proceedings, Vol. 1, pp. 449-454. GI-Edition-Lecture Notes in Informatics (LNI). |
2010 |
Basic Privacy Principles for the Smart Grid | W3C Workshop on Privacy for Advanced Web APIs, 12/13 July 2010, London |
2010 |
Compliance for Service Based Systems through Formalization of Law | In: Proceedings of the 6th International Conference on Web Information Systems and Technologies (WEBIST2010), vol. 2, pp. 367 - 371. Valencia, Spain, April (2010). |
2010 |
Lawful Service Engineering — Formalisierung des Rechts im Internet der Dienste | In: Proceedings of Internationales Rechtsinformatik Symposium (IRIS2010). Salzburg Austria (2010). |
2010 |
Contracting and Copyright Issues for Composite Semantic Services | In: Proceedings of the 7th International Semantic Web Conference (ISWC2008), pp. 895 - 900. Springer, Heidelberg (2008). | 2008 |
Agent Approach to Online Legal Trade | Conceptual Modelling in Information Systems Engineering. Springer 2007, 177-194 |
2007 |