Der Argumentationsgraph, der aus der Wissensbasis und den Informationen über eine Software erstellt worden ist, wird auf einer Dung-abstrakten Argumentationskarte abgebildet, vergleichbar ASPIC+, und wird mit unterirdischen Semantiken evaluiert. Dies gilt auch für das formale Model von Argumentationsgraphen (wird noch veröffentlicht), welches das ursprüngliche Carneades-Model generalisiert, um Kreise handhaben zu können, wobei gleichzeitig das ursprüngliche Model für Beweislasten und Standards unterstützt wird. Die beschriftete Argumentationskarte wird mit einer interaktiven Web-Applikation visualisiert. Die Applikation ermöglicht mehrfache und verknüpfte Ansichten auf den Argumentationsgraphen, einschließlich Hypertext, Gliederung und Argumentationskarten. Es ist auch ein Editor für den Argumentationsgraphen enthalten, mit dem kollaborativ, auf Basis von Schablonen, weitere Argumente eingefügt werden können, die nicht durch die Wissensbasis automatisch generiert wurden. Ebenso können damit Argumente modifiziert werden, wenn sie Interpretationen von Urheberrecht, wie sie in der Wissensbasis modelliert sind, widersprechen. Argumentationsgraphen werden dauerhaft in einer relationalen Datenbank gespeichert und können geteilt werden, um die kollaborative Zusammenarbeit mit anderen zu erleichtert, indem diese die Graphen aufrufen, anschauen und bearbeiten können.

In einem vorherigen EU-Projekt, Qualipson, haben wir bereits einen Desktop-Prototyp für einen Einbenutzer-License-Analyser entwickelt. Der MARKOS License Analyser verbessert diese früheren Ergebnisse mit einer Mehrbenutzer-Web-Applikation, die auf einem fortgeschritteneren Model des Argumentierens und einer vollständigeren Wissensbasis für Urheberrecht basiert. Wir hoffen, dass diese Anwendung für die Entwickler von Open Source Software hilfreich ist und als eine gute Demonstration für den praktischen Nutzen von Argumentationstechnologie geeignet ist.