abrupt 0.0.1

data/bin/abrupt

@@ -0,0 +1,63 @@
+#!/usr/bin/env ruby
+
+require 'commander'
+require_relative '../lib/abrupt'
+
+class AbruptApp
+  include Commander::Methods
+
+  def run
+    program :name, 'Abrupt'
+    program :version, Abrupt::VERSION
+    program :help, 'Author', 'Manuel Dudda <manuelddudda@redpeppix.de>'
+    program :help, 'Source Code', 'https://github.com/manuel84/abrupt'
+    program :description, 'Automated Reasoning for Web Usability Problems'
+
+    command :crawl do |c|
+      c.syntax = 'abrupt crawl [options]'
+      c.description = 'Crawls a website'
+      c.option '-nofollow', "don't follow links"
+      c.option '--lang STRING', String, 'language'
+      c.option '--services STRING', Array, 'riscpl'
+      c.option '--verbose STRING', String, ''
+      c.option '--format STRING', String, 'xml or owl'
+      c.action do |args, options|
+        Abrupt.crawl args.first, options.__hash__
+      end
+    end
+
+    command :convert do |c|
+      c.syntax = 'abrupt convert src_crawled_data src_user_data [options]'
+      c.description = 'Converts and merges xml files to owl'
+      c.option '--format STRING', String, 'Specifies the output format, possible [turtle|rdfxml|ntriples] (default=turtle)'
+      c.option '--output STRING', String, 'Specifies an output file'
+      c.option '--assertions STRING', String, 'Specifies the included assertions, possible [tbox,user,website,rules] (default=tbox,user,website,rules)'
+      c.action do |args, options|
+        format = RDF::Format.for(options.output) unless options.format
+        options.default :format => 'turtle' # default turtle syntax output
+        options.default :assertions => 'tbox,user,website,rules'
+        format ||= RDF::Format.for(options.format.to_sym)
+        result = case args.count
+                 when 0 then
+                   puts "arg error"
+                 when 1 then
+                   Abrupt.convert args.first, options.__hash__
+                 else
+                   Abrupt.convert args.first, args[1], options.__hash__
+                 end
+        if options.output
+          output_file = File.open(options.output, 'w')
+          format.writer.new(output_file, prefixes: Abrupt::PREFIXES) do |writer|
+            writer << result
+          end
+        else
+          puts result.dump Abrupt::Converter.instance.format, prefixes: Abrupt::PREFIXES
+        end
+      end
+    end
+
+    run!
+  end
+end
+
+AbruptApp.new.run # if $0 == __FILE__

data/doc/paper/listings/description_logic_infered.ttl

@@ -0,0 +1,3 @@
+req true
+req false
+-> Problem

data/doc/paper/listings/description_logic_rule.ttl

@@ -0,0 +1,15 @@
+@prefix wdm: <http://wba.cs.hs-rm.de/wdm-service/wdmOWL/> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+
+[
+    a owl:Restriction;
+    rdfs:subClassOf wdm:Problem;
+    owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger;
+    owl:onDataRange xsd:boolean;
+    owl:onProperty wdm:required
+] .

data/doc/paper/listings/limitations.ttl

@@ -0,0 +1,10 @@
+wdm:RequiredFormElement rdf:type owl:Class ;
+
+                        owl:equivalentClass [ rdf:type owl:Restriction ;
+                                              owl:onProperty wdm:name ;
+                                              owl:hasValue "agb"
+                                            ] .
+
+# not possible to infer a property from a class
+# nicht möglich eine Rolle aus einer Klasse zu folgern.
+# C(x) -> P(X, true)

data/doc/paper/listings/propositional_logic_infered.ttl

@@ -0,0 +1,6 @@
+wdm:Website/http://www.rikscha-mainz.de/Page/http://www.rikscha-mainz.de/Kontakt/State/state5/Form/32a0380204d524f2f1c9d3a3222a0a2a/Checkbox/agb
+  [
+    a wdm:Checkbox;
+    wdm:name "agb"
+    wdm:required true^^boolean # Schlussfolgerung
+  ]

data/doc/paper/listings/propositional_logic_rule.ttl

@@ -0,0 +1,15 @@
+a Checkbox
+name agb
+-> required true
+
+[
+    a owl:Restriction;
+    owl:onProperty wdm:name;
+    owl:hasValue "agb";
+    rdfs:subClassOf wdm:RequiredFormElement
+] .
+
+wdm:required-true rdfs:samePropertyAs wdm:required;
+    rdfs:domain wdm:RequiredFormElement;
+    rdfs:range true^^boolean .
+

data/doc/paper/listings/unique_nested_uris.ttl

@@ -0,0 +1,10 @@
+@prefix wdm: <http://wba.cs.hs-rm.de/wdm-service/wdmOWL/> .
+
+wdm:Website/http://www.rikscha-mainz.de/Page/http://www.rikscha-mainz.de/Kontakt/State/state5/Form/kontaktformular/Text/name a wdm:Text;
+   wdm:class "text";
+   wdm:id "name";
+   wdm:maxlength 60;
+   wdm:name "name";
+   wdm:placeholder "Vorname Nachname";
+   wdm:size 40;
+   wdm:type "text" .

data/doc/paper/literature.bib

@@ -0,0 +1,56 @@
+@misc{Brieger,
+	AUTHOR = {Brieger, Silas Markus},
+	YEAR = {2014},
+	TITLE = {{Aufbereitung und Umstrukturierung Webseiten spezifischer Daten in OWL}},
+	SCHOOL = {Hochschule RheinMain},
+}
+
+@article{url_dl_primer,
+  author    = {Markus Kr{\"{o}}tzsch and
+               Frantisek Simancik and
+               Ian Horrocks},
+  title     = {A Description Logic Primer},
+  journal   = {CoRR},
+  volume    = {abs/1201.4089},
+  year      = {2012},
+  url       = {http://arxiv.org/abs/1201.4089},
+  timestamp = {Wed, 10 Oct 2012 21:28:47 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1201-4089},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@manual{url_abrupt,
+	AUTHOR = {Hochschule RheinMain},
+	YEAR = {2014},
+	TITLE = {AbRUPt},
+	ADDRESS = {http://wba.cs.hs-rm.de/AbRUPt/service/},
+}
+
+@article{Martin,
+    AUTHOR {Martin, Ludger},
+    TITLE = {A RESTful Web Service to Estimating Time Requirements for Web Forms},
+    YEAR = {2013},
+}
+
+@article{ruby-rdf,
+    AUTHOR = {Arto Bendiken, Ben Lavender, Gregg Kellogg},
+    YEAR = {2015},
+    TITLE = {ruby-rdf/rdf},
+    ADDRESS = {http://rubygems.org/gems/rdf},
+}
+
+@article{owl2rl,
+    AUTHOR = {W3C},
+    YEAR = {2012},
+    TITLE = {OWL 2 Web Ontology Language 
+Profiles (Second Edition)},
+    ADDRESS = {http://www.w3.org/TR/owl2-profiles/#OWL_2_RL},
+}
+
+@article{owl2rif,
+    AUTHOR = {W3C},
+    YEAR = {2013},
+    TITLE = {OWL 2 RL in RIF (Second Edition)},
+    ADDRESS = {http://www.w3.org/TR/rif-owl-rl},
+}
+    

data/doc/paper/main.tex

@@ -0,0 +1,322 @@
+
+%%%%%%%%%%%%%%%%%%%%%%% paper_sem_web.tex %%%%%%%%%%%%%%%%%%%%%%%%%
+%
+% This is the LaTeX source for the instructions to authors using
+% the LaTeX document class 'llncs.cls' for contributions to
+% the Lecture Notes in Computer Sciences series.
+% http://www.springer.com/lncs       Springer Heidelberg 2006/05/04
+%
+% It may be used as a template for your own input - copy it
+% to a new file with a new name and use it as the basis
+% for your article.
+%
+% NB: the document class 'llncs' has its own and detailed documentation, see
+% ftp://ftp.springer.de/data/pubftp/pub/tex/latex/llncs/latex2e/llncsdoc.pdf
+%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass[runningheads,a4paper]{llncs}
+\usepackage[utf8x]{inputenc}
+\usepackage{amssymb}
+
+\setcounter{tocdepth}{3}
+\usepackage{graphicx}
+\usepackage{mathtools}
+\usepackage{url}
+
+\usepackage{listings}
+
+\usepackage{xcolor}  
+\definecolor{grey}{rgb}{0.5,0.5,0.5}
+\lstdefinelanguage{ttl}{
+sensitive=true,
+morecomment=[l][\color{grey}]{@},
+morecomment=[l][\color{black}]{\#},
+morestring=[b][\color{black}]\",
+numbers=left,
+frame=shadowbox,
+basicstyle=\scriptsize\ttfamily,
+tabsize=2,
+}     
+
+
+\urldef{\mailsa}\path|manuel.b.dudda@student.hs-rm.de|    
+\newcommand{\keywords}[1]{\par\addvspace\baselineskip
+\noindent\keywordname\enspace\ignorespaces#1}
+
+\begin{document}
+
+\mainmatter  % start of an individual contribution
+
+% first the title is needed
+\title{Schließen auf Usability-Probleme mit OWL 2 RL}
+
+% a short form should be given in case it is too long for the running head
+\titlerunning{TODO: }
+
+% the name(s) of the author(s) follow(s) next
+%
+% NB: Chinese authors should write their first names(s) in front of
+% their surnames. This ensures that the names appear correctly in
+% the running heads and the author index.
+%
+\author{Manuel Dudda}
+%
+\authorrunning{TODO:}
+% (feature abused for this document to repeat the title also on left hand pages)
+
+% the affiliations are given next; don't give your e-mail address
+% unless you accept that it will be published
+\institute{Hochschule RheinMain Informatik Master of Science \\
+Fachbereich Design Informatik Medien \\
+Campus Unter den Eichen 5
+65195 Wiesbaden , Deutschland\\
+\mailsa\\
+\url{https://github.com/manuel84/abrupt}}
+
+%
+% NB: a more complex sample for affiliations and the mapping to the
+% corresponding authors can be found in the file "llncs.dem"
+% (search for the string "\mainmatter" where a contribution starts).
+% "llncs.dem" accompanies the document class "llncs.cls".
+%
+
+\toctitle{Lecture Notes in Computer Science}
+\tocauthor{Authors' Instructions}
+\maketitle
+
+
+\begin{abstract}
+Die Usability von Internetauftritten wird größtenteils subjektiv wahrgenommen. 
+Es existiert zwar eine Normierung durch die ISO für die Anforderungen an die Gebrauchstauglichkeit einer Software (EN ISO 9241-11), diese trifft jedoch nur sehr wage Aussagen und orientiert sich stark am respektiven Nutzungskontext. 
+Trotzdem gibt es Merkmale einer Website, die allgemein als negativ für die Eigenschaften der Usability eingestuft werden können, so zum Beispiel schlechte Kontrastverhältnisse, ein hoher Lesbarkeitsindex und Diskrepanzen zwischen erwartetem und tatsächlichem Nutzerverhalten. 
+Das "AbRUPt"-System der Hochschule RheinMain ist in der Lage viele dieser Merkmale einer Website automatisiert zu erfassen. 
+Durch die Konvertierung, Modellierung und Entwicklung eines durchdachtes Regelsystem in der semantischen Ontologiesprache OWL 2 RL ensteht ein System, welches automatisiert Folgerungen auf Usability-Probleme ermöglicht.
+\end{abstract}
+
+
+\section{Einleitung}
+\# TODO
+\newpage
+\section{Logik und Berechenbarkeit}
+
+\# [WiP]
+
+Mit der Aussagenlogik lassen sich beschränkt Formeln aufstellen. Sie entsprechen in der Programmierung dem Datentyp \textit{Boolean}, also Elementarussagen, die verknüpft und negiert erscheinen und deren Wahrheitsgehalt \textit{Wahr} oder \textit{falsch} ist.
+
+\begin{figure}
+\begin{align}
+\begin{split}
+A &= \textnormal{Die Checkbox hat den Namen \textit{agb}.}\\
+B &= \textnormal{Die Checkbox ist kein Pflichtfeld.}\\
+A \to C &= \textnormal{Die Checkbox mit Namen \textit{agb} ist ein Pflichtfeld.}\\
+(A \to C) \land B &= \textnormal{Es liegt ein Usability-Problem vor.}
+\label{eq:propositional_logic}
+\end{split}
+\end{align}
+\caption{Aussagenlogische Formlen}
+\end{figure}
+
+Aus den oben genannten Aussagen \eqref{eq:propositional_logic}, folgt, dass die Checkbox mit dem Namen \textit{agb} ein Pflichtfeld ist (\(A \to C)\). 
+Diese ist allerdings nicht als solches ausgezeichnet (\(B\)). 
+Aus dieser Inkonsistenzeigenschaft ergibt sich ein Problem (\(A \land C\)). 
+Die Aussage \((A \to C)\) könnte genauso als die Negation von \(B\) definiert werden. 
+Es ergäbe sich daraus eine Kontradiktion \((\neg B \land B)\), einer Formel die stets zu \textit{falsch} ausgewertet wird. 
+Über Wahrheitstafeln können jegliche (zusammengesetzte) Aussagen auf deren Wahrheitsgehalt überprüft werden. 
+Damit verdeutlicht sich einfach, dass das Schlussfolgern über die aussagenlogische Formeln ein entscheidbares Problem darstellt.
+\\
+
+Eine Erweiterung der Aussagenlogik stellt die Prädikatenlogik dar.
+In der Prädikatenlogik werden Elementaraussagen hinsichtlich ihrer Struktur untersucht.
+Mit Prdäikaten können Rolleneigenschaften über Individuen festgelegt werden, bspw. für den Namen eines Individuums \textit{x} kann gelten $HasName(x, 'agb')$.  
+Quantoren geben an, von wie vielen Individuen eine Aussage erfüllt wird, so kann die Aussage über die Existenz eines Individuums \textit{x} mit dem Namen \textit{agb} getroffen werden $\exists x. HasName(x, 'agb')$.
+% \renewcommand{\figurename}{Fig.}
+\begin{figure}
+\begin{equation}
+istPflichtfeld(x)
+\label{eq:fol_predicate}
+\end{equation}
+\caption{Prädikatenlogik erster Stufe: Prädikat}
+\end{figure}
+
+\begin{figure}
+\begin{equation}
+\forall x. \neg Checkbox(x) \land (\neg istPflichtfeld(x) \lor istPflichtfeld(x))
+\label{eq:fol_quantors1}
+\end{equation}
+\caption{Prädikatenlogik erster Stufe: All-Quatnor}
+\end{figure}
+
+\begin{figure}
+\begin{equation}
+\exists x\exists y. Website(x) \land name(x, y)
+\label{eq:fol_quantors2}
+\end{equation}
+\caption{Prädikatenlogik erster Stufe: Existenz-Quantor}
+\end{figure}
+
+Somit lassen sich wesentlich mächtigere Aussagen treffen, die mit der Aussagenlogik allein nicht möglich sind.
+Dies hat allerdings auch Asuwirkungen auf die Laufzeit des Schlussfolgerns.
+Das Entscheidungsverfahren für die Prädikatenlogik ist unentscheidbar. 
+\\
+
+Eine entscheidbare Untermenge der Prädikatenlogik erster Stufe bieten die Beschreibungslogiken.
+Im Wesentlichen enthält eine Beschreibungslogik die Operatoren der Aussagenlogik (Negation, und, oder), ein- und zweistellige Prädikate sowie eine eingeschränkte Quantifizierung.
+Sie umfassen Individuen (Objekte), Rollen (2-stellige Prädikate) und Konzepte (Klassen), wobei keine Klassen von Klassen möglich sind.
+Normalerweie wird die Wissensbasis dabei in 2 Teile separiert. 
+Das Terminoligische Wissen (\textit{TBox}) beschreibt die Struktur möglicher Welten. 
+Es stellt Begriffe zur Beschreibung von Sachverhalten bereit. 
+So definiert es das Vokabular in einem Anwendungsbereich. 
+Das Grundvokabular besteht aus Konzepten (einstellige Prädikate) und Rollen (zweistellige Prädikate). 
+Das Assertionales Wissen beschreibt die Sachverhalte, die in einer bestimmten Welt gelten. 
+Es existieren Annahmen (assertions) über einzelne Objekte ausgedrückt mit
+Hilfe des Grundvokabulars.
+
+Die Syntax ist stark an die Prädikatenlogik angelehnt. 
+Es gibt jedoch wesentliche Unterschiede. 
+Hervorzuheben ist der Wegfall der Implikation \(\to\). 
+Während in der Prädikatenlogik auch Rollenaxiome rechterhand der Implikation stehen kann, sind bei Beschreibungslogiken nur Konzepte in Subsumptionen möglich \(C_1 \sqsubseteq C_2\).
+Nur ein Teil der Prädikatenlogik ist demnach adäquat in eine Beschreibungslogik zu übersetzen, man spricht in diesem Fall von DL-safe Regeln. 
+Eine Auflistung der Syntax und der Entsprechung in Prädikatenlogik sowie OWL finden Sie in \ref{table:description_logic}
+\\
+Mit dem RL-Profil aus OWL 2 (\cite{owl2rl}) gibt es eine Sprache, die die gleiche Mächtigkeit wie die Beschreibungslogik (ALC...) besitzt und demnach für das Reasoning in entscheidbarer Komplexität bestens geeignet ist.
+Sie hat ein gute Balance zwischen Ausdrucksfähigkeit und Berechenbarkeits-/Verarbeitungseigenschaften.
+OWL 2 ist zu dem Empfehlung des W3C und es existieren bereits einige Reasoner-Implementierungen. 
+Die bekanntesten derzeit sind Fact++, Hermit, KAON2 und Pellet.
+
+Axiome der Beschreibungslogik, Prädikatenlogik in OWL 2 RL
+
+Die exemplarisch genannten Regeln für die beschriebenen Logiken lassen sich somit in OWL 2 RL wie folgt ausdrücken.
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/propositional_logic_rule.ttl}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/propositional_logic_infered.ttl}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/description_logic_rule.ttl}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/description_logic_infered.ttl}
+
+\section{Implementierung}
+
+\subsection{Anpassungen und Erweiterung des OWL-Converters}
+
+In der Bachelor-Arbeit \cite{Brieger} wurde bereits untersucht inwieweit das Analyse-Tool \textit{AbRUPt} \cite{url_abrupt} verwendet werden kann um eine objektive Beurteilung über die Benutzerfreundlichkeit einer Webseite geben zu können. 
+Die Arbeit zeigt gute Ansätze und setzt auf die Konvertierung der erhobenen Daten in ein OWL-Dokument. 
+Mit einem anschließenden Projekt können mit einem durchdachten Regelsystem Schlussfolgerungen gezogenwerden. 
+Das Programm ist als HTML-Dienst gestaltet und kann lediglich die Webseiten-Daten aus \textit{AbRUPt} umwandeln, die Integration der Webseiten-Besucherdaten ist noch nicht integriert. 
+Auch die Integration in nachfolgende Projekte erweist sich durch den wenig modularen Aufbau als eher schwierig. 
+Mit Einbezug der Ergebnisse aus \cite{Martin} konnte eine Konzept für eine sinnvolle Aufbereitung der Daten gezeigt werden. 
+Es ist OWL-Converter entstanden, der erhobene \textit{AbRUPt}-Daten von einem XML-Format in ein OWL-Dokument transformiert.
+
+\#TODO:warum eigentlich wdm-service?
+\\
+
+Einige wichtige Aspekte wurden in dieser Arbeit geändert. 
+Die Ontologie für den \textit{wdm-service} wurde von Grund auf intuitiver gestaltet und um die Konzepte der Webseiten-Besucherdaten erweitert (Fig. onto-Graph). 
+Dabei wurde ebenso auf sinnvolle Konsistenzeigenschaften sowie Inferenz-Regeln zurückgegriffen, die auf Usabilty-Probleme schlussfolgern. (Abschnit Regeln)
+Ein Problem ergab sich für die Eindeutigkeit von Webseiten-Elementen, die nicht kontextbasiert benannt wurden. 
+Mit dem an \textit{REST} angelehnten URI-Aufbau ergeben sich global einheitlich URIs.
+Dabei wird der Kontext in die URI-Struktur jeweils eingebettet. 
+Ein Formular-Element kann somit auf mehreren Webseiten mit gleicher Id, Name und sonstigen Attributen koexistieren und wird nicht zu dem selben OWL-Element konvertiert. 
+Beispielsweise liegt dann das Input-Textelement des Namens für ein Kontaktformular innerhalb von Formular (Form = \textit{kontaktformular}), Seitenstatus (State = \textit{state5}), Seiten-URL (Page = \textit{http://www.rikscha−mainz.de/Kontakt}) und der zugehörigen Website (Website = \textit{http://www.rikscha−mainz.de}).
+Das sieht zunächst nicht sehr lesbar aus, ist aber unvermeidbar aufgrund möglicher großer Datenbestände. 
+\lstinputlisting[breaklines=true,language=ttl, caption=Nested URIs]{listings/unique_nested_uris.ttl}
+ 
+\#TODO: Erweiterung Struktur um Problem-Klasse
+
+\subsection{Das abrupt-Gem (Converter-Lib + Binary)}
+Für die Neugestaltung des Konvertierung-Tools fiel die Wahl der Technolgie auf \textit{RubyGems}, dem offiziellen Paketsystem von Ruby . 
+Zum einen ist die Unterstützung für RDF/OWL durch \cite{ruby-rdf} ausgezeichnet und zum Anderen erweisen sich noch weitere wesentliche Vorteile:
+\begin{itemize}
+\item{Benutzung durch Kommandozeilentool}
+\item{Modularer Aufbau}
+\item{Ausgezeichnete Unittest-Unterstützung}
+\item{Wiederverwendbarkeit durch Einbindung als RubyGem Bibliothek oder des Kommandozeilentools}
+\item{Flexibilität der Eingabe und Ausgabe (bestimmte Services, nur Abrupt/ohne Benutzerdaten, tutrle, rdfxml, n3}
+\end{itemize}
+
+\#TODO: Grundstruktur/Vokabular als Ausgangsbasis, eigenes mit Protege entwicketes OWL-Dok
+- Regeln einzelne OWL-Dokumente
+- Converter modular aufgebaut (jeder Service readability, ... eigene Klasse)
+- JSON-Schema für die Datentypsicherheit
+- Webseiten-Benutzerdaten
+- Kommandozeilentool help (Params, output)
+
+\newpage
+
+\section{Schließen auf Probleme mit Inferenz-Regeln}
+Die formale Beschreibungssprache OWL 2 ist eine Empfehlung des W3C vom 11. Dezember 2012 für die Beschreibung von Ontologien. 
+Primär geht es darum Modellierungen einer Domäne vorzunehmen, sodass Mensch und Maschine die Bedeutung verarbeiten können. 
+OWL 2 basiert technisch auf RDF und RDFS und geht dabei über die Ausdrucksmächtigkeit wiet hinaus. 
+Es is somit auch dokumentenbasiert, was die Erstellung und Verteilung gegenüber einem Binärformat enorm vereinfacht. 
+Um die richtige Balance zwischen Ausdrucksstärke und Entscheidbarkeit bzw. Performance zu gewährleisten gibt es 3 verschiedene Sprachebenen. 
+Hier wird der Fokus auf die 2. Sprachebene OWL 2 DL gelegt, für die widerrum 3 Profile existieren. 
+Das OWL 2 RL Profil ist auf Anwendungen, die ein skalierbares Reasoning verlangen, ohne dabei zu viel Ausdruckskraft zu verlieren, ausgerichtet. 
+Die Ausdrucksmächtigkeit entspricht dabei direkt der Beschreibungslogiken. 
+Je nach Anwendung der Axiome ergibt sich das jeweilige Profil, es wird nicht für das Dokumenten vorab definiert. 
+Man ist daher darauf bedacht auf gewisse OWL-Axioma zu verzichten um nicht in das ungewünschte Profil reinzurutschen.
+\begin{table}[h]
+\begin{tabular}{|l|l|l|}
+\hline
+Prädikatenlogik erster Stufe & Beschreibungslogik ACL & OWL 2 RL \\ \hline
+$ C_1 \sqcap ... \sqcap C_n $ & $ C_1 \sqcap ... \sqcap C_n $ & \textit{intersectionOf} \\ \hline
+$ C_1 \sqcup ... \sqcup C_n $ & $ C_1 \sqcup ... \sqcup C_n $ & \textit{unionOf} \\ \hline
+$ \neg C $ & $ \neg C $ & \textit{complementOf} \\ \hline
+$ \{a_1\} \sqcup ... \sqcup \{a_n\} $ & $ \{a_1\} \sqcup ... \sqcup \{a_n\} $ & \textit{oneOf} \\ \hline
+$ \forall P.C $ & $ \forall P.C $ & \textit{allValuesFrom} \\ \hline
+$ \exists P.C $ & $ \exists P.C $ & \textit{someValuesFrom} \\ \hline
+$ \geq n P $ & $ \geq n P $ & \textit{minCardinality} \\ \hline
+$ \leq n P $ & $ \leq n P $ & \textit{maxCardinality} \\ \hline
+$ C_1 \sqsubseteq C_2 $ & $ C_1 \sqsubseteq C_2 $ & \textit{subClassOf} \\ \hline
+$ C_1 \equiv C_2 $ & $ C_1 \equiv C_2 $ & \textit{equivalentClass} \\ \hline
+$ C_1 \sqsubseteq \neg C_2 $ & $ C_1 \sqsubseteq \neg C_2 $ & \textit{disjointWith} \\ \hline
+$ \{a_1\} \sqsubseteq \{a_2\} $ & $ \{a_1\} \sqsubseteq \{a_2\} $ & \textit{sameIndividualAs} \\ \hline
+\end{tabular}
+\label{table:description_logic}
+\caption{Syntax der Beschreibungslogik und Entsprechung in der Prädikatenlogik sowie in OWL 2 RL}
+\end{table}
+
+Eine vernünftige Unterteilung der Axiome ist in \cite{owl2rif} gegeben. 
+
+
+\subsection{Inkonsistenz-Regeln}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/inconsistency_rule.ttl}
+
+\subsection{Produktions-Regeln}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/production_rule.ttl}
+
+\subsection{Listen-Regeln}
+\subsection{Datentyp-Regeln}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Regel xx]{listings/datatype_rule.ttl}
+
+\section{Zusammenfassung \& Ausblick}
+alter Converter:
+
+- ~ 2000 Zeilen, kein Testcode
+
+- in nur 4 Klassen
+
+- Konfigurationen hartgecodet, schlecht wartbar
+\\
+neuer Converter:
+
+- nur 800 Zeilen inkl. Crawlr (beta), Testcode
+
+- Vokabular (T-Box) ausgelagert
+
+- höchstens 130 Zeilen pro Klasse
+
+- Rubygem: Kommandozeilentool, aber auch Code einbettbar in Ruby Web-Projekt
+
+\section{Fazit}
+
+\nocite{url_dl_primer}
+
+\bibliography{literature}
+\bibliographystyle{alpha}
+
+\end{document}