Home | Impressum | Sitemap | KIT

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.

 

Formalisierung des Rechts

 

Projekte mit Bezug zum Forschungsschwerpunkt
Titel Ansprechpartner


Veröffentlichungen mit Bezug zum Forschungsschwerpunkt
Titel Quelle Datum

Conceptual Modelling in Information Systems Engineering. Springer 2007, 177-194

2007

W3C Workshop on Privacy for Advanced Web APIs, 12/13 July 2010, London

2010

In: Proceedings of the 6th International Conference on Web Information Systems and Technologies (WEBIST2010), vol. 2, pp. 367 - 371. Valencia, Spain, April (2010).

2010
In: Proceedings of the 7th International Semantic Web Conference (ISWC2008), pp. 895 - 900. Springer, Heidelberg (2008).

2008

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

In: Proceedings of Internationales Rechtsinformatik Symposium (IRIS2010). Salzburg Austria (2010).

2010

Informatik 2010, Proceedings, Vol. 1, pp. 449-454. GI-Edition-Lecture Notes in Informatics (LNI).

2010

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