Fraunhofer-Institut für Offene Kommunikationssysteme
Das europäische Forschungsprojekt MARKOS, das von Fraunhofer FOKUS koordiniert wird, entwickelt einen Prototypen für die semantische Analyse von Funktionen, Strukturen und Lizenzeigenschaften von Open Source Software. Der License Analyser ist eine Komponente des MARKOS-Systems. Es handelt sich dabei um eine rechtliche Anwendung des Carneades-Argumentationssystems, mit dem Softwareentwicklern dabei geholfen werden soll, Fragen nach der Kompatibilität von Lizenzen beantworten zu können.
Der License Analyser wendet eine urheberrechtliche Wissensbasis auf die Informationen über eine Software an, die entweder aus einer Datenbank oder dem interaktiven Dialog mit dem Nutzer und Nutzerinnen gewonnen werden, und erstellt daraus automatisch einen Argumentationsgraphen. Die Wissensbasis wird als eine Carneades-»Theory« dargestellt, welche eine Sprache aus Prädikaten- und Funktionssymbolen definiert, wovon einige gemeinsamen mit strikten und anfechtbaren Argumentationsschemata (Inferenzregeln) aus einer OWL-Ontologie importiert werden. Carneades enthält eine erweiterbare, hybride Inferenzengine für die Konstruktion von Argumenten aus unterschiedlichen Datenstrukturen, einschließlich OWL-Ontologien, Semantic-Web-Triplets und Carneades-Regeln. Die Inferenzengine kann durch Plug-in-Module für die Implementation eines Argumentationsprotokolls erweitert werden (Interface). Argumente werden in Carneades rekursiv aus Argumentationsschemata generiert. Durch eine tiefenbeschränkte, Tiefen-zuerst Suchstrategie, womit die Beendigung sichergestellt werden soll, und durch die Speicherung von Zwischeninferenzen (Vorlagen) sollen Argumente für zuvor erstellte Zwischenergebnisse wiederverwendet werden.
