abrupt 0.0.2 → 1.0.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 0add5487871d04392709d71b7423fab98c4ba287
-  data.tar.gz: 052e630933996838bd150d205c8390d0c978a38d
+  metadata.gz: 582de82907913af777a1bf2c35ccd82918d66454
+  data.tar.gz: 54c49d2a91bb8e91148ef7a75190a49c7ed33315
 SHA512:
-  metadata.gz: 7c4d1021885d1c1ec78cabad8116e40a3d61230b4e2280ba26f1a728f2f17679e214229ef16d1f1ac36e5aceb21206806a95f857ff8a30a668fa11913516019e
-  data.tar.gz: 856a890befc37a1b7313f1a1300cae8abcf40415e6fdde21e265d4323aca6025f0fcee28915680af2d73fd97146304a60a3022a78e43282597d84eaec1490f18
+  metadata.gz: c6a4a584197c07c8a16bbbbbfccb6b827c741d946848dbd00c553ea951a68ea5d933bdc3d3baa07c3ea8dacb6ff1d625fea8020d4d557c6bc096eb5caed6b33f
+  data.tar.gz: 33a07d4e899c761cf956f8ac7b74d019a81f703c33a124a00bcb1c18e2b6e61e3ba2c9bcdf17c5d8f057e8fba1869bce5fb48215d9462419e4d84e52eff74d6c

data/README.md

@@ -52,7 +52,7 @@ abrupt -h
 
   AUTHOR:
 
-    Manuel Dudda <manuelddudda@redpeppix.de>
+    Manuel Dudda <dudda@paij.com>
 
   SOURCE CODE:
 

data/assets/rules/datatypes/cax-complexity.ttl

@@ -0,0 +1,40 @@
+@prefix : <http://wba.cs.hs-rm.de/AbRUPt/> .
+@base <http://wba.cs.hs-rm.de/AbRUPt/> .
+@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 :Problem;
+    owl:onProperty :aTagWithLowContrast;
+    owl:someValuesFrom [
+        a rdfs:Datatype;
+        owl:onDatatype xsd:integer;
+        owl:withRestrictions ([ xsd:minInclusive 1])
+    ]
+] .
+
+[
+    a owl:Restriction;
+    rdfs:subClassOf :Problem;
+    owl:onProperty :textNodesWithLowContrast;
+    owl:someValuesFrom [
+        a rdfs:Datatype;
+        owl:onDatatype xsd:integer;
+        owl:withRestrictions ([ xsd:minInclusive 1])
+    ]
+] .
+
+[
+    a owl:Restriction;
+    rdfs:subClassOf :Problem;
+    owl:onProperty :paragrahpsWithTooLongLines;
+    owl:someValuesFrom [
+        a rdfs:Datatype;
+        owl:onDatatype xsd:integer;
+        owl:withRestrictions ([ xsd:minInclusive 1])
+    ]
+] .

data/assets/schema/v1/complexity.json

@@ -19,15 +19,15 @@
                             "properties": {
                                 "A_tag_With_Low_Contrast": {
                                     "description": "",
-                                    "type": "string"
+                                    "type": "integer"
                                 },
                                 "TextNodes_With_Low_Contrast": {
                                     "description": "",
-                                    "type": "string"
+                                    "type": "integer"
                                 },
                                 "paragrahps_with_too_long_lines": {
                                     "description": "",
-                                    "type": "string"
+                                    "type": "integer"
                                 }
                             }
                         }

data/assets/voc/tbox.ttl

@@ -485,6 +485,36 @@
 #################################################################
 
 
+###  http://wba.cs.hs-rm.de/AbRUPt/aTagWithLowContrast
+
+:aTagWithLowContrast rdf:type owl:DatatypeProperty ;
+                     
+                     rdfs:domain :Page ;
+                     
+                     rdfs:range xsd:integer .
+
+
+
+###  http://wba.cs.hs-rm.de/AbRUPt/paragrahpsWithTooLongLines
+
+:paragrahpsWithTooLongLines rdf:type owl:DatatypeProperty ;
+                            
+                            rdfs:domain :Page ;
+                            
+                            rdfs:range xsd:integer .
+
+
+
+###  http://wba.cs.hs-rm.de/AbRUPt/textNodesWithLowContrast
+
+:textNodesWithLowContrast rdf:type owl:DatatypeProperty ;
+                          
+                          rdfs:domain :Page ;
+                          
+                          rdfs:range xsd:integer .
+
+
+
 ###  http://wba.cs.hs-rm.de/AbRUPt/bigwords
 
 :bigwords rdf:type owl:DatatypeProperty ;
@@ -565,16 +595,6 @@
 
 
 
-###  http://wba.cs.hs-rm.de/AbRUPt/contrast
-
-:contrast rdf:type owl:DatatypeProperty ;
-          
-          rdfs:domain :Page ;
-          
-          rdfs:range xsd:string .
-
-
-
 ###  http://wba.cs.hs-rm.de/AbRUPt/datetime
 
 :datetime rdf:type owl:DatatypeProperty ;

data/bin/abrupt

@@ -9,7 +9,7 @@ class AbruptApp
   def run
     program :name, 'Abrupt'
     program :version, Abrupt::VERSION
-    program :help, 'Author', 'Manuel Dudda <manuelddudda@redpeppix.de>'
+    program :help, 'Author', 'Manuel Dudda <dudda@paij.com>'
     program :help, 'Source Code', 'https://github.com/manuel84/abrupt'
     program :description, 'Automated Reasoning for Web Usability Problems'
 

data/doc/paper/listings/abrupt_usage.sh

@@ -0,0 +1 @@
+abrupt convert website_data.xml visitor_data.xml --output out.ttl --format turtle

data/doc/paper/listings/add_visit_duration.rb

@@ -6,4 +6,4 @@ def add_visit_duration
   return unless leavetime || enterteime # maybe no recognized leavetime
   visit_duration = (leavetime - enterteime).to_f # in seconds
   add_data_property('visitDuration', visit_duration)
-end
+end

data/doc/paper/listings/datatype_rule2.ttl

@@ -0,0 +1,32 @@
+[
+    a owl:Restriction;
+    rdfs:subClassOf :Problem;
+    owl:onProperty :aTagWithLowContrast;
+    owl:someValuesFrom [
+        a rdfs:Datatype;
+        owl:onDatatype xsd:integer;
+        owl:withRestrictions ([ xsd:minInclusive 1])
+    ]
+] .
+
+[
+    a owl:Restriction;
+    rdfs:subClassOf :Problem;
+    owl:onProperty :textNodesWithLowContrast;
+    owl:someValuesFrom [
+        a rdfs:Datatype;
+        owl:onDatatype xsd:integer;
+        owl:withRestrictions ([ xsd:minInclusive 1])
+    ]
+] .
+
+[
+    a owl:Restriction;
+    rdfs:subClassOf :Problem;
+    owl:onProperty :paragrahpsWithTooLongLines;
+    owl:someValuesFrom [
+        a rdfs:Datatype;
+        owl:onDatatype xsd:integer;
+        owl:withRestrictions ([ xsd:minInclusive 1])
+    ]
+] .

data/doc/paper/listings/inconsistency_rule_domain.ttl

@@ -0,0 +1 @@
+abrupt:hasPage rdfs:range abrupt:Website .

data/doc/paper/literature.bib

@@ -19,44 +19,152 @@
   bibsource = {dblp computer science bibliography, http://dblp.org}
 }
 
-@manual{url_abrupt,
+@manual{abrupt,
 	AUTHOR = {Hochschule RheinMain},
 	YEAR = {2014},
 	TITLE = {Automated Reasoning for Web Usability Problems},
 	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},
+    AUTHOR = {Bendiken, Arto AND Lavender, Ben AND Kellogg, Gregg},
     YEAR = {2015},
-    TITLE = {ruby-rdf/rdf},
+    TITLE = {{ruby-rdf}},
     ADDRESS = {http://rubygems.org/gems/rdf},
 }
 
+@article{rdf-raptor,
+    AUTHOR = {Bendiken, Arto AND Fieber, John},
+    YEAR = {2014},
+    TITLE = {{rdf-raptor}},
+    ADDRESS = {https://rubygems.org/gems/rdf-raptor},
+}
+
 @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},
+    TITLE = {{OWL 2 Web Ontology Language 
+Profiles}},
+    EDITION = {2},
+    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},
+    TITLE = {{OWL 2 RL in RIF}},
+    EDITION = {2},
+    ADDRESS = {http://www.w3.org/TR/rif-owl-rl}
+}
+
+@article{swrl,
+    AUTHOR = {{W3C}},
+    YEAR = {2004},
+    TITLE = {{SWRL: A Semantic Web Rule Language 
+Combining OWL and RuleML}},
+    ADDRESS = {http://www.w3.org/Submission/SWRL/},
+}
+
+@article{owl2,
+    AUTHOR = {{W3C}},
+    YEAR = {2004},
+    TITLE = {{OWL Web Ontology Language 
+Reference}},
+    ADDRESS = {http://www.w3.org/TR/owl-ref/},
 }
 
+@article{sparql,
+    AUTHOR = {{W3C}},
+    YEAR = {2008},
+    TITLE = {{SPARQL Query Language for RDF}},
+    ADDRESS = {http://www.w3.org/TR/rdf-sparql-query/},
+}
+
+@inproceedings{rest,
+ author = {Fielding, Roy T. and Taylor, Richard N.},
+ title = {{Principled Design of the Modern Web Architecture}},
+ booktitle = {{Proceedings of the 22Nd International Conference on Software Engineering}},
+ series = {ICSE '00},
+ year = {2000},
+ isbn = {1-58113-206-9},
+ location = {Limerick, Ireland},
+ pages = {407--416},
+ numpages = {10},
+ url = {http://doi.acm.org/10.1145/337180.337228},
+ doi = {10.1145/337180.337228},
+ acmid = {337228},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {WWW, software architectural style, software architecture},
+} 
+
 @article{lesbarkeit,
     AUTHOR = {Schopp, Jürgen F.},
     YEAR = {2003},
-    TITLE = {Faktoren der Lesbarkeit},
+    TITLE = {{Faktoren der Lesbarkeit}},
     ADDRESS = {http://people.uta.fi/~trjusc/tt-lesbk.htm},
-}    
+}    
+
+@inproceedings{hybrid_reasoning,
+ author = {Song, Weihong and Spencer, Bruce and Du, Weichang},
+ title = {{Hybrid Reasoning for Ontology Classification}},
+ booktitle = {{Proceedings of the 24th Canadian Conference on Advances in Artificial Intelligence}},
+ series = {Canadian AI'11},
+ year = {2011},
+ isbn = {978-3-642-21042-6},
+ location = {St. John's, Canada},
+ pages = {372--376},
+ numpages = {5},
+ url = {http://dl.acm.org/citation.cfm?id=2018192.2018236},
+ acmid = {2018236},
+ publisher = {Springer-Verlag},
+ address = {Berlin, Heidelberg}
+} 
+
+@inproceedings{web_forms,
+    AUTHOR = {Martin, Ludger},
+    TITLE = {A RESTful Web Service to Estimating Time Requirements
+for Web Forms},
+    BOOKTITLE = {International Journal of Knowledge and Web Intelligence},
+    VOLUME = {5},
+    NUMBER = {1},
+    PAGES = {62 -- 75},
+    YEAR = {2014}
+}
+
+@inproceedings{subject,
+    AUTHOR = {Martin, Ludger},
+    TITLE = {{Subject Classification of Web Pages}},
+    BOOKTITLE = {{International Conference WWW/Internet 2012}}, 
+    YEAR = {2012},
+    PAGES = {298 -- 306},
+    ISBN = {978-989-8533-09-8}
+}
+
+@inproceedings{readability,
+    AUTHOR = {{Martin, Ludger and Gottron, Thomas}},
+    TITLE = {{Readability and the Web}},
+    BOOKTITLE = {Future Internet},
+    PAGES = {238 -- 252},
+    YEAR = {2012}
+}
+
+@book{foundations,
+	AUTHOR = {Hitzler, Pascal AND Krötzsch, Markus AND Rudolph, Sebastian},
+	YEAR = {2009},
+	TITLE = {{Foundations of Semantic Web Technologies}},
+	EDITION = {},
+	ISBN = {978-1-420-09051-2},
+	PUBLISHER = {CRC Press},
+	ADDRESS = {Boca Raton, Fla}
+}
+
+@book{web_primer,
+	AUTHOR = {Antoniou, Grigoris AND Groth, Paul AND Harmelen, Frank Van},
+	YEAR = {2012},
+	TITLE = {{A Semantic Web Primer}},
+	EDITION = {3},
+	ISBN = {978-0-262-01828-9},
+	PUBLISHER = {MIT Press},
+	ADDRESS = {Cambridge},
+}    

data/doc/paper/main.tex

@@ -30,6 +30,10 @@
 \usepackage{url}
 
 \usepackage{listings}
+\usepackage{chngcntr}
+\AtBeginDocument{\counterwithout{lstlisting}{section}}
+
+
 
 \usepackage{xcolor}  
 \definecolor{grey}{rgb}{0.5,0.5,0.5}
@@ -74,10 +78,8 @@ tabsize=2,
 \newcommand{\keywords}[1]{\par\addvspace\baselineskip
 \noindent\keywordname\enspace\ignorespaces#1}
 
-
 \begin{document}
 
-
 \mainmatter  % start of an individual contribution
 
 % first the title is needed
@@ -101,8 +103,7 @@ tabsize=2,
 % 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\\
+Campus Unter den Eichen 5, 65195 Wiesbaden, Deutschland\\
 \mailsa\\
 \url{https://github.com/manuel84/abrupt}}
 
@@ -122,55 +123,84 @@ Campus Unter den Eichen 5
 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.
+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 durchdachten Regelsystems in der semantischen Ontologiesprache OWL 2 RL ensteht ein System, welches automatisiert Folgerungen auf Usability-Probleme ermöglicht.
 \end{abstract}
 
+\newpage
 
 \section{Einleitung}
 Die Gestaltungsvielfalt von Webseiten hat sich seit der Freigabe des Internets für die kommerzielle Nutzung (ca. 1990) rasant weiterentwickelt. 
 Anfangs bot nur eine kleine Anzahl von Institutionen, Firmen, Regierungen spärliche Informationen meist im Form von einfachen Texten an. 
 Mittlerweile gehört die Webseite zum Aushängeschild eines jeden Unternehmens. 
 Das Aussehen muss dabei häufig zur Unternehmensphilosphie passen, das sogenannte Cooperate Design sorgt für eine visuelle Identität, um sich von anderen Unternehmen zu unterschieden. 
-Dazu gehören Schriftbild, Farben, Logos, und vieles mehr.
+Dazu gehören Schriftbild, Farben, Logos und vieles mehr.
 Des Weiteren wurden jede Menge Web-Dienste entwickelt, die den Webseiten mehr Interaktivität einräumen. 
-Viele Webanwendungen ähneln komplexer Software, die eine grafische Benutzeroberfläche im Browser zur Verfügung stellen.
-Für die Benutzerfreundlichkeit gibt es eine DIN-Norm, die folgende Anforderungen an die Software stellt.
+Webanwendungen ähneln komplexer Software, die eine grafische Benutzeroberfläche im Browser zur Verfügung stellen.
+Für die Benutzerfreundlichkeit gibt es eine ISO-Norm, die folgende Anforderungen an die Software stellt:
+
+\begin{quote}
 Die Gebrauchstauglichkeit einer Software ist von ihrem Nutzungskontext (beinhalten den Benutzer, die Arbeitsaufgabe, die Arbeitsmittel wie z.B. Hardware oder Software sowie die physische und soziale Umgebung) abhängig, in dem sie eingesetzt wird. 
 Im Teil 11 der ISO 9241 werden drei Leitkriterien für die Gebrauchstauglichkeit einer Software bestimmt:
+
 \begin{itemize}
-\item{Effektivität zur Lösung einer Aufgabe,}
-\item{Effizienz der Handhabung des Systems,}
-\item{Zufriedenheit der Nutzer einer Software.}
+
+    \item{Effektivität zur Lösung einer Aufgabe}
+    \item{Effizienz der Handhabung des Systems}
+    \item{Zufriedenheit der Nutzer einer Software}
+    
 \end{itemize}
-Hier wird deutlich, dass es keine objektive Bestimmung von Gebrauchstauglichkeit gibt, sondern diese stark vom Nutzungskontext abhängt. 
+
+\end{quote}
+
+Es wird deutlich, dass es keine objektive Bestimmung von Gebrauchstauglichkeit gibt, sondern diese stark vom Nutzungskontext abhängt. 
 Insbesondere spielt die Zielgruppe dabei eine Rolle. 
-Handelt es sich um ein jüngeres Publikum, die man mit einfacher Sprache zu erreichen versucht oder um Fachpublikum, für die komplexere Texte unabdingbar sind?
+Handelt es sich um ein jüngeres Publikum, das man mit einfacher Sprache zu erreichen versucht oder um ein Fachpublikum, für die komplexere Texte unabdingbar sind?
 Welche kulturellen Gegebenheiten sind zu beachten? 
-Das Farbverständnis der Chinesen beispielweise weicht der westlichen Welt stark ab, so ist weiß die Farbe der Trauer.
+Das Farbverständnis der Chinesen beispielweise weicht von der westlichen Welt stark ab, so ist weiß die Farbe der Trauer.
 Ob eine Software dementsprechend gebrauchstauglich ist oder nicht, ist demnach nur subjektiv von Menschen bewertbar.
 Dennoch gibt es auch Merkmale, die allgemeingültig als mögliche Probleme eingestuft werden können:
+
 \begin{itemize}
-\item{Schlechte Kontrastverhältnisse}
-\item{Seiten ohne/mit zu vielen Links}
-\item{Unausgeglichenes Bild/Text-Verhältnis}
-\item{Diskrepanzen zwischen erwarteter und tatsähcliher Eingabezeit in Formularen}
-\item{Texte mit schlechtem Lesbarkeitsindex anhand \cite{lesbarkeit}}
-\item{Inkonsistenzen in der HTML-Struktur}
+
+    \item{Schlechte Kontrastverhältnisse}
+    \item{Seiten ohne/mit zu vielen Links}
+    \item{Unausgeglichenes Bild/Text-Verhältnis}
+    \item{Diskrepanzen zwischen erwarteten und tatsächichen Formular-Eingabezeiten}
+    \item{Texte mit schlechtem Lesbarkeitsindex anhand \cite{lesbarkeit}}
+    \item{Inkonsistenzen in der HTML-Struktur}
+    
 \end{itemize}
-Der Online-Service AbRUPt (\cite{url_abrupt}) von der Hochschule RheinMain bietet die Möglichkeit viele dieser Merkmale über eine Web-Schnittstelle zu erfassen. 
-Mit der Bachelor-Thesis \cite{Brieger} wurde gezeigt, wie man diese Schnittstelle anwendet und daraus ein Konstrukt für eine mögliche Datenauswertung entwickelt.
-Diese Arbeit beschäftigt sich mit der Weiterentwicklung des darin beschrieben Converters und dessen Datenuswertung (Abb. \ref{fig:converter}).
+
+Der Online-Service AbRUPt \cite{abrupt} von der Hochschule RheinMain bietet die Möglichkeit, viele dieser Merkmale über eine Web-Schnittstelle zu erfassen. 
+In \cite{Brieger} wurde gezeigt, wie man diese Schnittstelle anwendet und daraus ein Konstrukt für eine mögliche Datenauswertung entwickelt.
+Diese Arbeit beschäftigt sich mit der Weiterentwicklung des darin beschriebenen Converters und dessen Datenauswertung (Abb. \ref{fig:converter}).
+
 \begin{figure}
-\caption{Funktionsweise des Converters}
 \centering
 \includegraphics[width=0.7\textwidth]{figures/converter}
+\caption{Funktionsweise des Converters}
 \label{fig:converter}
 \end{figure}
+
 Die Daten liegen zunächst im XML-Format vor und werden in OWL konvertiert.
 Mittels OWL-basierter Regeln wird überprüft, ob eine aussagekräftige Datenauswertung möglich ist.
-Es wird dabei besonderer Wert auf das OWL-Profil {}"RL{}" gelegt, um Performance-Schwachstellen zu vermeiden.
-Das OWL 2-RL Profil basiert auf dem funiderten Grundlagen der Beschreibungslogiken (\ref{sec:desclogic}.
+Es wird dabei besonderer Wert auf das OWL-Profil "{}RL"{} gelegt, um Performance-Schwachstellen zu vermeiden.
+Das "{}OWL 2 RL"{}-Profil basiert auf den fundierten Grundlagen der Beschreibungslogiken (\ref{sec:desclogic}).
+
+\section{Gliederung}
+\label{sec:structure}
+
+Im Abschnitt \ref{sec:logic} werden die theoretischen Grundlagen für das "{}OWL 2 RL"{}-Profil aufgearbeitet. 
+Um zu verstehen, wie sich eine Beschreibungslogik (\ref{sec:desclogic}) von der Aussagenlogik (\ref{sec:aussagenlogik}) abhebt, werden kurze Beispiele gezeigt, wie sie auch in der Anwendung existieren könnten.
+Abschnitt \ref{sec:prediactelogic} zeigt, dass mächtigere Aussagen mit der Prädikatenlogik möglich sind und welche Einschränkungen in der Entscheidbarkeit daraus entstehen.
+Insgesamt stellt die Implementierung (\ref{sec:implementation}) des Converters eine Erweiterung vorheriger Arbeiten dar.
+Welche Anpassungen dabei vorgenommen wurden, wird in Abschnitt \ref{sec:customization} beschrieben, welche Technologien in \ref{sec:technology}.
+Der wesentliche Bestandteil der Erweiterung besteht aus der Regelerstellung für das Schließen auf Probleme (\ref{sec:reasoning}).
+Die Regeln sind in Inkonsistenz- (\ref{sec:rule_inconsistency}), Produktions- (\ref{sec:rule_production}), Listen- (\ref{sec:rule_list}) und Datentyp-Regeln (\ref{sec:rule_datatype}) unterteilt.
+Einige Herausforderungen können nur durch den Einsatz von Erweiterungen, beschrieben in \ref{sec:rule_extensions}, gelöst werden.
+Verbundene Arbeiten werden in Abschnitt \ref{sec:related_work} erwähnt.
+Abschließend wird das Projekt in \ref{sec:conclusion} zusammengefasst, ein Ausblick gewährt sowie ein persönliches Fazit gezogen.
 
 \newpage
 \section{Logik und Berechenbarkeit}
@@ -178,12 +208,12 @@ Das OWL 2-RL Profil basiert auf dem funiderten Grundlagen der Beschreibungslogik
 
 Es gibt verschiedene Arten von formalen Logiken, die sich in ihrer Struktur und Mächtigkeit unterscheiden.
 Für triviale Anwendungsfälle reicht meistens die Verknüpfung von strukturlosen Elementaraussagen aus.
-Komplexere Aussagen lassen sich nur mit mächtigeren Logiken ausdrücken, für dessen automatiserten Schlussfolgerungen allerdings auch größere Auwände entstehen.
+Komplexere Aussagen lassen sich nur mit mächtigeren Logiken ausdrücken, für dessen automatiserten Schlussfolgerungen allerdings auch größere Aufwände entstehen.
 
 \subsection{Aussagenlogik}
 \label{sec:aussagenlogik}
 
-Mit der Aussagenlogik lassen sich in ihrer Mächtigkeit beschränkte 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.
+Mit der Aussagenlogik lassen sich in ihrer Mächtigkeit beschränkte Formeln aufstellen \cite[p. 6,373]{foundations}. Sie entsprechen in der Programmierung dem Datentyp \textit{Boolean}, also Elementaraussagen, die verknüpft und negiert erscheinen und deren Wahrheitsgehalt \textit{wahr} oder \textit{falsch} ist.
 
 \begin{figure}
 \begin{align}
@@ -198,22 +228,22 @@ A \to C &= \textnormal{Die Checkbox hat den Namen \textit{agb}, also ist sie ein
 \caption{Aussagenlogische Formeln}
 \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)\). 
+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 \to C) \land B\). 
 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. 
+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.
+Damit verdeutlicht sich einfach, dass das Schlussfolgern über die aussagenlogischen Formeln ein entscheidbares Problem darstellt.
 \\
 
 \subsection{Prädikatenlogik}
 \label{sec:prediactelogic}
 
-Eine Erweiterung der Aussagenlogik stellt die Prädikatenlogik dar.
+Eine Erweiterung der Aussagenlogik stellt die Prädikatenlogik dar \cite[p. 6,367--373]{foundations}.
 In der Prädikatenlogik werden Elementaraussagen hinsichtlich ihrer Struktur untersucht.
 Mit Prädikaten können Eigenschaften über Individuen festgelegt werden. 
-Die Anzahl der Stellen im Prädikat ist dabei nicht beschränkt, so können mit 1-stelligen Prädikaten Zugehörikeiten \eqref{eq:fol_predicate1}, mit 2-stelligen Rolleneigenschaften \eqref{eq:fol_predicate1} modelliert werden  
+Die Anzahl der Stellen im Prädikat ist dabei nicht beschränkt, so können mit 1-stelligen Prädikaten Zugehörikeiten \eqref{eq:fol_predicate1}, mit 2-stelligen Rolleneigenschaften \eqref{eq:fol_predicate1} modelliert werden.  
 Quantoren geben an, von wie vielen Individuen eine Aussage erfüllt wird, so kann die Aussage über die Existenz eines Individuums getroffen werden \eqref{eq:fol_quantors}.
 % \renewcommand{\figurename}{Fig.}
 \begin{figure}
@@ -248,7 +278,7 @@ Das Entscheidungsverfahren für die Prädikatenlogik ist unentscheidbar.
 \subsection{Beschreibungslogiken}
 \label{sec:desclogic}
 
-Eine entscheidbare Untermenge der Prädikatenlogik erster Stufe bieten die Beschreibungslogiken.
+Eine entscheidbare Untermenge der Prädikatenlogik erster Stufe bieten die Beschreibungslogiken \cite{foundations}.
 Im Wesentlichen enthält eine Beschreibungslogik die Operatoren der Aussagenlogik (\(\land, \lor, \neg\)), ein- und zweistellige Prädikate sowie eine eingeschränkte Quantifizierung.
 Sie umfassen Individuen (Objekte), Rollen (2-stellige Prädikate) und Klassen (1-stellige Prädikate), wobei keine Metamodellierung (Klassen von Klassen) möglich ist.
 Normalerweise wird die Wissensbasis dabei in 2 Teile separiert, \textit{TBox} und \textit{ABox}. 
@@ -257,86 +287,96 @@ Es stellt Begriffe zur Beschreibung von Sachverhalten bereit.
 So definiert es das Vokabular in einem Anwendungsbereich. 
 Das Grundvokabular besteht aus den Klassen (einstellige Prädikate) und Rollendefinitionen (zweistellige Prädikate). 
 Das Assertionale Wissen beschreibt die Sachverhalte, die in einer bestimmten Welt gelten. 
-Es existieren Annahmen (assertions) über einzelne Objekte ausgedrückt mit
+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 können (\eqref{eq:fol_predicate1}), sind bei Beschreibungslogiken nur Klassen 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. 
+Während in der Prädikatenlogik auch Rollenaxiome rechterhand der Implikation stehen können \eqref{eq:fol_predicate1}, sind bei Beschreibungslogiken nur Klassen 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 (\(\mathcal{SHOIN}(D))\) 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. 
+OWL 2 ist zudem Empfehlung des W3C und es existieren bereits einige Reasoner-Implementierungen. 
 Die bekanntesten derzeit sind Fact++, Hermit, KAON2 und Pellet.
 
 
 \section{Implementierung}
+\label{sec:implementation}
 
-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. 
+\cite{Brieger} untersuchte, inwieweit das Analyse-Tool \cite{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 Dienst mit HTML-Oberfläche gestaltet und kann lediglich die Webseiten-Daten aus \textit{AbRUPt} umwandeln, die Integration der Webseiten-Besucherdaten ist noch nicht berücksichtigt. 
+Das Programm ist als Dienst mit HTML-Oberfläche gestaltet und kann lediglich die Webseiten-Daten aus AbRUPt umwandeln, die Integration der Webseiten-Besucherdaten ist noch nicht berücksichtigt. 
 Auch die Integration in nachfolgende Projekte erweist sich durch den wenig modularen Aufbau als eher schwierig. 
-Mit Einbezug der Ergebnisse aus \cite{Martin} konnte ein 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.
+Mit Einbezug der Ergebnisse aus \cite{web_forms} konnte ein Konzept für eine sinnvolle Aufbereitung der Daten gezeigt werden. 
+Es ist ein OWL-Converter entstanden, der erhobene AbRUPt-Daten von einem XML-Format in ein OWL-Dokument transformiert.
 
 \subsection{Anpassungen und Erweiterung des OWL-Converters}
+\label{sec:customization}
 
 Einige wichtige Aspekte wurden gegenüber dieser Arbeit geändert. 
-Die Ontologie für den \textit{AbRUPt-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)
+Die Ontologie für den AbRUPt-Service wurde von Grund auf intuitiver gestaltet und um die Konzepte der Webseiten-Besucherdaten erweitert (\ref{fig:onto}). 
+Dabei wurde ebenso auf sinnvolle Konsistenzeigenschaften sowie Inferenz-Regeln zurückgegriffen, die auf Usabilty-Probleme schlussfolgern (\ref{sec:reasoning}).
 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. 
+Mit dem an \textit{REST} \cite{rest} angelehnten URI-Aufbau ergeben sich global einheitlich URIs.
+Dabei wird der Kontext in die URI-Struktur jeweils eingebettet (Listing \ref{listing:nested_uris}). 
+Ein Formular-Element kann somit auf mehreren Webseiten mit gleicher Id, mit gleichen Name und sonstigen Attributen koexistieren und wird nicht zu dem selben OWL-Element konvertiert.
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Nested URIs, label=listing:nested_uris]{listings/unique_nested_uris.ttl}
+ 
 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}
  
 Für die Einstufung von Problemen gibt es die Klasse \textit{Problem}. 
-Durch geeignete Abfragen, bspw. mit Sparql (sparql-ref), kann nach dem Reasoning die Liste aller möglichen Probleme abgerufen werden. 
+Durch geeignete Abfragen, bspw. mit SPARQL \cite{sparql}, kann nach dem Reasoning die Liste aller möglichen Probleme abgerufen werden. 
 Wie bereits angesprochen können dabei Elemente dazugehören, die aus einem subjektiven Erscheinungsbild annehmbar als Problem ignoriert werden können.
 
-\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 \cite{ruby-rdf} für RDF/OWL ausgezeichnet und zum Anderen erweisen sich noch weitere wesentliche Vorteile:
+\subsection{Eingesetzte Technologien}
+\label{sec:technology}
+
+Für die Neugestaltung des Konvertierungs-Tools fiel die Wahl der Technolgie auf \textit{RubyGems}, dem offiziellen Paketsystem von Ruby. 
+Zum einen ist die Unterstützung durch ruby-rdf \cite{ruby-rdf} für RDF/OWL ausgezeichnet und zum anderen erweisen sich noch weitere wesentliche Vorteile:
+
 \begin{itemize}
-\item{Benutzung durch Kommandozeilentool}
-\item{Modularer Aufbau}
-\item{Ausgezeichnete Komponententest-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}
+    \item{Benutzung durch Kommandozeilentool}
+    \item{Modularer Aufbau}
+    \item{Ausgezeichnete Komponententest-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}
 
 Das terminologische Wissen (TBox) ist in einem OWL-Dokument gesichert, sodass es separat mit Protege entwickelt und in die Software einfach eingebunden wird. 
 Da es sich ausschließlich um statische Inhalte handelt, erweist sich dies als sinnvoll. 
 Zur Hervorhebung und Veranschaulichung von nicht-trivialen Regeln existieren weitere OWL-Dokumente, die als Ordnerinhalte der Software hinzugefügt werden. 
-Mit dem Befehl \cite{ruby-rdf} lässt sich Konvertierung starten. 
-Zunächst werden die statischen Inhalten in ein RDF-Repsoitory geladen. 
+Mit dem Befehl in Listing \ref{listing:cli} lässt sich die Konvertierung starten. 
+Zunächst werden die statischen Inhalte in ein RDF-Repsoitory geladen. 
 Das Assertionale Wissen (ABox) entsteht aus der Transformation der Eingabedaten. 
-Die Eingabedaten liegen in der Regel in 2 XML-Dokumenten vor - den Website- und den Besucher-Daten.
+Die Eingabedaten liegen in der Regel in zwei XML-Dokumenten vor -- den Website- und den Besucher-Daten.
 Für jeden Kontentyp existiert eine Schema-Datei, die für die nötige Datentypkonvertierung sorgt. 
-Dadurch werden aus den XML-Rohdaten die nötigen Werte umgewandelt, bspw. Integer, Date, Decimal, ...
+Dadurch werden aus den XML-Rohdaten die nötigen Werte umgewandelt, bspw. Integer, Date, Decimal ...
 Anschließend erstellt eine zugewiesene Transformater-Klasse aus den XML-Daten die RDF-Statements zu dem RDF-Repository hinzu. 
 Der Aufbau der Software ist somit sehr modular, individuell anpassbar, durch Oberklassen generisch und übersichtlich.
 
 \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 Weltanschauung (Domäne) vorzunehmen, sodass Mensch und Maschine die Bedeutung verarbeiten können. 
+\label{sec:reasoning}
+
+Die formale Beschreibungssprache OWL 2 ist eine Empfehlung des W3C \cite{owl2} vom 11. Dezember 2012 für die Beschreibung von Ontologien. 
+Primär geht es darum, Modellierungen einer Weltanschauung (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 weit hinaus. 
 Es ist 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 - Lite, DL und Full. 
-In dieser Arbeit wird der Fokus auf die 2. Sprachebene OWL 2 DL gelegt, für welche es 3 Profile existiert. 
-Das OWL 2 RL Profil ist auf Anwendungen, die ein skalierbares Reasoning verlangen, ohne dabei zu viel Ausdruckskraft zu verlieren, ausgerichtet. 
+Um die richtige Balance zwischen Ausdrucksstärke und Entscheidbarkeit bzw. Performance zu gewährleisten, gibt es 3 verschiedene Sprachebenen -- Lite, DL und Full. 
+In dieser Arbeit wird der Fokus auf die 2. Sprachebene OWL 2 DL gelegt, für welche 3 Profile existieren. 
+Das "{}OWL 2 RL"{}-Profil ist auf Anwendungen ausgerichtet, die ein skalierbares Reasoning verlangen, ohne dabei zu viel Ausdruckskraft zu verlieren. 
 Die Ausdrucksmächtigkeit entspricht dabei der Beschreibungslogiken \(\mathcal{SHOIN}(D)\). 
 Je nach Anwendung der Axiome ergibt sich das jeweilige Profil, es wird nicht für das Dokument definiert. 
-Man ist daher darauf bedacht auf gewisse OWL-Axiome zu verzichten um nicht in ein ungewünschtes Profil zu gelangen.
+Man ist daher darauf bedacht, auf gewisse OWL-Axiome zu verzichten, um nicht in ein ungewünschtes Profil zu gelangen.
+
 \begin{table}[h]
 \begin{tabular}{|l|l|l|}
 \hline
@@ -358,13 +398,29 @@ $ \{a_1\} \sqsubseteq \{a_2\} $ & $ \{a_1\} \sqsubseteq \{a_2\} $ & \textit{same
 \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. 
-
+Eine vernünftige Unterteilung der Axiome ist in \cite{web_primer}   gegeben. 
+Dort werden "{}OWL 2 RL"{}-Regeln in RIF \cite{owl2rif} beschrieben.
 
 \subsection{Inkonsistenz-Regeln}
+\label{sec:rule_inconsistency}
 
 Für Rollenaxiome können mittels einfacher Regeln Definitions- und Wertebereich festgelegt werden. 
-Für den Wertebereich, also der Festlegung der Klassenzugehörigkeit des 2. Parameters von Rollen ergibt sich Formel \eqref{eq:dl_range} sowie dessen Darstellung in OWL 2 RL (Listing \ref{range_owl}).
+Als Definitionsbereich wird die Klassenzugehörigkeit des 1. Parameters von Rollen bestimmt.
+Im Beispiel de s Rollenaxioms \textit{hasPage} wird definiert, dass Seiten immer zu einer Website geören (Abb. \ref{eq:dl_domain}, Listing \ref{domain_owl}).
+
+\newpage
+
+\begin{figure}
+\begin{equation}
+\exists\ hasPage\ Thing \sqsubseteq\ Website
+\label{eq:dl_domain}
+\end{equation}
+\caption{Beschreibungslogik: Definitionsbereich-Regel für Rollen}
+\end{figure}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Definitionsbereich-Regel für Rollen in OWL 2 RL,label=domain_owl]{listings/inconsistency_rule_domain.ttl}
+
+Für den Wertebereich, also die Festlegung der Klassenzugehörigkeit des 2. Parameters von Rollen, ergibt sich Formel \ref{eq:dl_range} sowie dessen Darstellung in OWL 2 RL (Listing \ref{range_owl}).
 
 \begin{figure}
 \begin{equation}
@@ -374,9 +430,10 @@ Für den Wertebereich, also der Festlegung der Klassenzugehörigkeit des 2. Para
 \caption{Beschreibungslogik: Wertebereich-Regel für Rollen}
 \end{figure}
 
-\lstinputlisting[breaklines=true,language=ttl, caption=Wertebereich-Regel für Rollen in OWL 2 RL,label=range_owl]{listings/inconsistency_rule.ttl}
+\lstinputlisting[breaklines=true,language=ttl, caption=Wertebereich-Regel für Rollen in OWL 2 RL,label=range_owl]{listings/inconsistency_rule_range.ttl}
 
 \subsection{Produktions-Regeln}
+\label{sec:rule_production}
 
 Durch Inferenzen entstehen neue Klassenzugehörigkeiten. 
 Aus Einbahnstraßenseiten (Seiten ohne Links) entstehen Problemfälle (Listing \ref{production_owl}). 
@@ -390,8 +447,12 @@ State\ \sqcap \leq 0\ hasLink.Link \sqsubseteq Problem
 
 \lstinputlisting[breaklines=true,language=ttl, caption=Produktionsregel in OWL 2 RL,label=production_owl]{listings/production_rule.ttl}
 
+\newpage
+
 \subsection{Listen-Regeln}
-Durch Listenregeln können Sammlungen genutzt werden um Restriktionen aufzubauen oder durch Kettenregeln Hilfsrollen zu aktivieren (\eqref{eq:dl_list}, Listing \ref{list_owl}).
+\label{sec:rule_list}
+
+Durch Listenregeln können Sammlungen genutzt werden, um Restriktionen aufzubauen oder durch Kettenregeln Hilfsrollen zu aktivieren (Abb. \ref{eq:dl_list}, Listing \ref{list_owl}).
 
 \begin{figure}
 \begin{equation}
@@ -404,8 +465,10 @@ hasPage \circ hasState \sqsubseteq hasStateThorugh
 \lstinputlisting[breaklines=true,language=ttl, caption=Kettenregl in OWL 2 RL,label=list_owl]{listings/list_rule.ttl}
 
 \subsection{Datentyp-Regeln}
+\label{sec:rule_datatype}
+
 Als mächtigstes Werkzeug erweisen sich die Datentypregeln, die es erlauben, aus Zahlenbereichseinschränkungen und Datentypdefinitionen Probleme abzuleiten. 
-Der Lesbarkeitsindex einer Seite sollte einen definierten Wert nicht überschreiten um nicht als zu komplex zu gelten (\eqref{eq:dl_datatype}, Listing \ref{datatype_owl}).
+Der Lesbarkeitsindex einer Seite sollte einen definierten Wert nicht überschreiten, um nicht als zu komplex zu gelten (Abb. \ref{eq:dl_datatype}, Listing \ref{datatype_owl}).
 
 
 \begin{figure}
@@ -413,93 +476,130 @@ Der Lesbarkeitsindex einer Seite sollte einen definierten Wert nicht überschrei
 readability \geq 8.0\ Datatype(\textit{xsd:decimal}) \sqsubseteq Problem
 \label{eq:dl_datatype}
 \end{equation}
-\caption{Beschreibungslogik: Datentypregel}
+\caption{Beschreibungslogik: Datentypregel für Lesbarkeitsindex}
 \end{figure}
 
 \lstinputlisting[breaklines=true,language=ttl, caption=Datentypregel in OWL 2 RL,label=datatype_owl]{listings/datatype_rule.ttl}
 
+Für die obere Schranke von HTML-Ankern mit niedriegen Kontrastverhältnissen empfiehlt es sich keine dieser Art darzustellen.
+Dementsprechend ist die Anzahl auf kleiner als 1 beschränkt.
+Alle Werte darüber stellen ein Probelm dar (Abb. \ref{eq:dl_datatype2}, Listing \ref{datatype_owl2}).
+Gleiches gilt für Textknoten mit niedrigen Kontrast und Paragraphen mit zu vielen Zeilen.
+
+\newpage
+
+\begin{figure}
+\begin{equation}
+\begin{aligned}
+aTagWithLowContrast \geq 1\ Datatype(\textit{xsd:integer}) \sqsubseteq Problem \\
+textNodesWithLowContrast \geq 1\ Datatype(\textit{xsd:integer}) \sqsubseteq Problem \\
+paragrahpsWithTooLongLines \geq 1\ Datatype(\textit{xsd:integer}) \sqsubseteq Problem
+\label{eq:dl_datatype2}
+\end{aligned}
+\end{equation}
+\caption{Beschreibungslogik: Datentypregel für Kontrastverhältnisse}
+\end{figure}
+
+\lstinputlisting[breaklines=true,language=ttl, caption=Datentypregeln in OWL 2 RL,label=datatype_owl2]{listings/datatype_rule2.ttl}
+
 \subsection{Erweiterungen}
-Die Implementierung durch einen Regelsatz mit OWL 2 RL ist eine ansehnliche Vorgehensweise für das Auffinden von Problemen. 
+\label{sec:rule_extensions}
+
+Die Implementierung durch einen Regelsatz mit OWL 2 RL \cite{owl2rl} ist eine ansehnliche Vorgehensweise für das Auffinden von Problemen. 
 Für viele Anwendungsfälle muss man dennoch auf Erweiterungen zurückgreifen. 
 Die Beschreibungslogik \(\mathcal{SHOIN}(D)\) weist zwar eine vernünftige Mächtigkeit auf, lässt dabei gegenüber konventioneller Programmiersprachen die Arithmetik völligst außer Acht. 
-So ist es nicht möglich Summen über Elemente, Durchschnittswerte, Minima und Maxima zu ermitteln. 
+So ist es nicht möglich, Summen über Elemente, Durchschnittswerte, Minima und Maxima zu ermitteln. 
 In konventionellen Datenbanken gilt die Annahme der Weltabgeschlossenheit (Closed World Assumption), man kann aus den vorhandenen Daten ableiten, welche Daten nicht vorhanden sind. 
 Das größte Element ist also direkt ablesbar, weil kein anderes größeres Element dieses übersteigt. 
-In der Wissensdatenbank beschrieben durch OWL 2 gilt diese Annahme nicht. 
-Durch die fundierte Basis der Prädikatenlogik arbeitet OWL 2 RL auf der Annahme einer offenen Welt (Open World Assumption). 
-Dies bedeutet, dass alles was nicht explizit als wahr beweisen werden kann, nicht automatisch als falsch bezeichnet wird. 
+In der Wissensdatenbank, beschrieben durch OWL 2, gilt diese Annahme nicht. 
+Durch die fundierte Basis der Prädikatenlogik arbeitet OWL 2 RL auf der Annahme einer offenen Welt (Open World Assumption, \cite[p. 194]{foundations}). 
+Alles, was nicht explizit als wahr bewiesen werden kann, kann nicht automatisch als falsch bezeichnet werden. 
 Das größte Element ist also nicht direkt ablesbar, weil ein anderes größeres (abgeleitetes) Element dieses übersteigen könnte. 
 Eine Summe über alle Besucherzeiten kann nicht erfasst werden, wenn davon ausgegangen werden kann, dass neue Besuche hinzukommen können.
-Das Überwinden dieses Problems stellt eine große Herausforderung dar, für die zur Zeit lediglich Lösungsansätze existieren. 
+Das Überwinden dieses Problems stellt eine große Herausforderung dar, für die zurzeit lediglich Lösungsansätze existieren. 
 
-In vielen Punkten geradlinig und elegant ist die Kombination aus OWL und RuleML -- SWRL. 
-SWRL ist eine vom W3C entwickelte Spezifikation für eine Regelsprache in OWL mit einer großen Einschränkung, sie ist unentscheidbar. 
-Mittels sogenannter DL-safe Regeln, also Regeln, welche die Einrschänkungen der Beschreibungslogiken einhalten, bietet SWRL die Entscheidbarkeit von OWL 2 RL (PTime) und die Mächtigkeit der Beschreibungslogiken inkl. arithmetischer Funktionen. 
+In vielen Punkten geradlinig und elegant ist die Kombination aus OWL und RuleML -- SWRL \cite{swrl}. 
+SWRL ist eine vom W3C entwickelte Spezifikation für eine Regelsprache in OWL 2 \cite{owl2} mit einer großen Einschränkung, sie ist unentscheidbar. 
+Mittels sogenannter "{}DL-safe"{}-Regeln, also Regeln, welche die Einrschänkungen der Beschreibungslogiken einhalten, bietet SWRL die Entscheidbarkeit von OWL 2 RL (PTime) und die Mächtigkeit der Beschreibungslogiken inkl. arithmetischer Funktionen. 
 
-SWRL ist kein direkter Bestandteil von OWL 2 RL und funktioniert als Sprach-Erweiterung. 
+SWRL ist kein direkter Bestandteil von OWL 2 und funktioniert als Sprach-Erweiterung. 
 Sie wird dennoch von vielen Reasonern unterstützt.
 
 Will man ohne Erweiterung für OWL 2 RL auskommen, müssen Vorkehrungen bereits in der Vorverarbeitung getroffen werden, die die Einschränkungen der offenen Weltannahme aushebeln. 
-Auf gängige Arithmetik \(+, -, *, / AVG(), SUM() \) kann in der unterliegenden Programmiersprache zurückgegriffen werden.
+Auf gängige Arithmetik \(+, -, *, / AVG(), SUM() \) kann auf die zugrundeliegenden Programmiersprache zurückgegriffen werden.
 Dabei werden die eingelesen Daten in der Vorverarbeitung somit als abgeschlossen angenommen.
-Die Besuchsdauer einer Seite wird durch einfache Differenz (Listing 1.6) ermittelt und als weiteres Wissen der ABox hinzugefügt.
+Die Besuchsdauer einer Seite wird durch einfache Differenz (\ref{listing:visit_duration}) ermittelt und als weiteres Wissen der ABox hinzugefügt.
+
+\lstinputlisting[breaklines=true,language=Ruby, caption=Erweiterung der TBox in der Vorverarbeitung,label=listing:visit_duration]{listings/add_visit_duration.rb}
+
+\section{Related Work}
+\label{sec:related_work}
+
+Diese Arbeit baut zu großen Teilen auf \cite{Brieger} auf. 
+Dort wird bereits ein OWL-Converter für die Daten aus dem AbRUPt-Service bereitgestellt.
+Eine Beschreibung für die Daten aus Readability, Subject, Input, Complexity, Picture und Link ist dort ebenso gegeben sowie die Funktionsweise des Crawlers und Analyzers.
+Die Readability-Berechnung basiert auf \cite{readability}. 
+Dort wird anhand beliebter Webseiten eine Formel für den Lesbarkeitsindex von Texten erforscht.
+Eine übersichtliche Gestaltung für relevante Faktoren dieses Indexes bietet \cite{lesbarkeit}.
+In \cite{subject} ist die Funktionsweise zur Klassifizierung von Themengebieten eines Textes erläutert.
+Durch geeignete Filter und Selektion von Wörtern und deren Häufigkeit kann mittels dem Datenbestand von Wikipedia eine aussagekräftige Auswahl an Schlagwörtern vorhergesagt werden.
+Für die Feststellung von Diskrepanzen zwischen erwareteter und tatsächlicher Bearbeitungsdauer von Web-Formularen liefert \cite{web_forms} zeitliche Richtwerte.
+Durch Analysen ergeben sich erwartete Bearbeitungszeiten kategorisiert nach Eingabetyp und Eingabegerät, bspw. Input-Elemente auf mobilen Endgeräten oder Desktop-PCs.
+Für das Schlussfolgern ist die Wahl eines geeigneten Reasoners nicht getroffen.
+Eine Übersicht sowie Ansätze für Hybrid-Lösungen aus Tableau und Resolution gibt \cite{hybrid_reasoning}.
 
-\lstinputlisting[breaklines=true,language=Ruby, caption=Erweiterung der TBox in der Vorverarbeitung,label=list_rb]{listings/add_visit_duration.rb}
 
-\section{Zusammenfassung \& Ausblick}
+\section{Zusammenfassung}
+\label{sec:conclusion}
+
 Die Struktur des Converters wurde im Wesentlichen überarbeitet.
 Es wurde viel Wert auf die intuitive Verwirklichung des Grundvokabulars der AbRUPt-Ontologie gelegt (Abb. \ref{fig:onto}).
 
 \begin{figure}
-\caption{Funktionsweise des Converters}
 \centering
 \includegraphics[width=0.7\textwidth]{figures/tbox}
+\caption{Funktionsweise des Converters}
 \label{fig:onto}
 \end{figure}
 
 Außerdem wurde der Graph um die Konzepte der Besucherdaten erweitert.
-Der vorherige Converte war wenig modular und umfasste ca. 2000 Zeilen in nur 4 Dateien.
-Die Konfiguration war im Code eingebettet, sodass der Code insgesamt nciht sehr gut wartbar ist.
-Die Neuimplementierung sieht einen wesentlichen modulareren Aufbau vor, sodass Anpassungen in der Vorverarbeitung effizient einsetzbar ist.
-Sie berücksichtigt außerdem die Transformation der Daten in die korrekten Datentypen (Integer, Decimal, Boolean, ...).
-Das Grundvokabular ist komplett separat entwickelt und wird in die Konvertierung miteinbezogen.
+Der vorherige Converter war wenig modular und umfasste ca. 2000 Zeilen in nur 4 Dateien.
+Die Konfiguration war im Code eingebettet, sodass der Code insgesamt nicht sehr gut wartbar ist.
+Die Neuimplementierung sieht einen wesentlichen modulareren Aufbau vor, sodass Anpassungen in der Vorverarbeitung effizient einsetzbar sind.
+Sie berücksichtigt außerdem die Transformation der Daten in die korrekten Datentypen (Integer, Decimal, Boolean ...).
+Das Grundvokabular ist komplett separat entwickelt und wird in die Konvertierung mit einbezogen.
 Dadurch ist der Zugriff vereinfacht und mittels eigener Entwicklungstools die Ontologie als Graph darstellbar.
 Trotz der vielen Anpassungen und Erweiterungen umfasst der Quellcode nun gerade mal ca. 900 Zeilen und 15 Klassen inkl. rudimentären Testcode.
-Man kann das Tool mittels Kommandozeiletool ausführen oder in ein Ruby-Projekt als Bibliothek einbinden.
-
-
-
-
-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}
-\# TODO
-Die Implementierung durch einen Regelsatz ist eine ansehnliche Vorgehensweise für das Auffinden von Problemen. 
-Es generiert aus dem vorhandenen Wissen neues Wissen und setzt dabei auf einen unkonventionellen Programmieransatz. 
-Das Wissen und die Regeln sind deskriptiv in einem Dokument beschrieben. 
-
-
-
-\begin{itemize}
-    \item{Regeln und Wissen sind deskriptiv in einem Dokument beschrieben}
-    \item{}    
-\end{itemize}
+Man kann das Tool mittels Kommandozeilentool (\ref{listing:cli}) ausführen oder in ein Ruby-Projekt als Bibliothek einbinden.
+
+\lstinputlisting[breaklines=true,language=Bash, caption=Beispielnutzung des Kommandozeilentools,label=listing:cli]{listings/abrupt_usage.sh}
+
+Die Implementierung durch einen Regelsatz ist eine anschauliche Vorgehensweise für das Auffinden von Problemen. 
+Ohne die Vorverarbeitung des Converters sind der Arbeit allerdings aufgrund der Open World Assumption Grenzen gesetzt.
+Für das Überwinden der Grenzen, die in einer offenen Weltannahme entstehen, müssen die Eingabedaten vor der Konvertierung als geschlossen angenommen werden, um vernünftiges Hilfswissen zu generieren.
+Nur so ist man mit OWL 2 RL in der Lage, mit einem Regelsatz auf Probleme zu schließen.
+Die Generierung von Regeln ist nicht immer ganz einfach, da mit der Beschreibungslogik eine abgespeckte Mächtigkeit zur Verfügung steht. 
+Diese zwingen den Entwickler oft zu einer bestimmten Vorgehensweise.
+Anders als in konventionellen Programmierparadigmen gibt es nur wenige Lösungswege.
+Dafür ist das Regelwerk Bestandteil des OWL-Dokuments und ist als solches für Mensch und Maschine lesbar und einfach austauschbar.
+Man spart und verteilt Rechenzeit, da das Schlussfolgern, die eigentliche Programmausführung, auf dem jeweiligen Rechner stattfinden kann.
+Theoretisch ist sogar eine Parallelisierung möglich.
+Der Converter muss in der Regel mit großen Dateien umgehen können.
+In der Entwicklung wurden Webseitendaten mit über 300 KB und Besucherdaten  mit über 2 MB verwendet.
+Durch das Umwandeln und Ergänzen der Daten in das OWL-Dokument entsteht darus eine turtle-Datei mit über 30 MB.
+Dies entspricht einer Vergrößerung der Daten um den Faktor 15.
+Dementsprechend ist die momentane Verarbeitungszeit auch sehr lange.
+Der Flaschenhals liegt bei der Serialisierung des RDF-Graphen durch die Ruby-Bibliothek "{}rdf-raptor"{} \cite{rdf-raptor}.
+Das Regelwerk ist noch relativ bescheiden und ausbaufähig.
+Für die Datentyp-Regeln fehlen noch Schwellwerte.
+Diese zu definieren ist nicht trivial, da Texte kontextbezogen unterschiedliche Ansprüche hervorbringen.
+Die Inkonsitenz-Regeln dagegen bieten bereits eine weitgehende Abdeckung. 
+In \cite{Brieger} wurde bereits eine Web-Benutzeroberfläche (GUI) gestaltet, die den (alten) Converter anwendet.
+Für die neuen Erweiterungen, insbesondere den Einfluss der Besucherdaten, ist diese GUI noch nicht vorbereitet.
+Eine Konfigurationsmaske für die kontextbezogenen Schwellwerte wäre denkbar.
+Das Reasoning über das Dokument ist im Projekt nicht berücksichtigt und wird derzeit über properitäre Software vollzogen.
+Eine Hybrid-Lösung könnte eine geeignete Wahl sein, um die jeweiligen Vorteile der Klassifizierungs-Strategien zu nutzen.
+Um die Software zu einem Gesamtprodukt zu komplettieren, besteht die Herausforderung der Vereinigung von Crawler, Converter, Reasoner und einer Eingabe- und Ausgabemaske.
 
 \nocite{url_dl_primer}
 

data/lib/abrupt/transformation/base.rb

@@ -113,11 +113,7 @@ module Abrupt
       end
 
       def resolve_uri_part(name)
-        if @uri.empty?
-          "#{class_name}/#{name}"
-        else
-          "#{@uri.join('/')}"
-        end
+        @uri.empty? ? "#{class_name}/#{name}" : "#{@uri.join('/')}"
       end
 
       def resolve_uri(name = nil)
@@ -126,18 +122,20 @@ module Abrupt
       end
 
       def add_individual(name = @values[:name], klass = nil)
-        klass ||= @uri.empty? ? class_name : @uri.first
+        klass ||= (@uri.empty? ? class_name : @uri.first).to_s.camelize
         uri = resolve_uri(name)
         @result << Statement.new(uri, RDF.type, VOC[klass])
         @result << Statement.new(resolve_parent_uri, VOC["has#{klass}"], uri)
       end
 
       def add_data_property(type, value, name = @values[:name])
+        type = type.to_s.camelize(:lower)
         @result << Statement.new(resolve_uri(name), VOC[type], value)
       end
 
       def add_object_property(parent_uri, type, child_uri)
         parent_uri = RDF::URI(parent_uri) if parent_uri.is_a?(String)
+        type = type.to_s.camelize
         @result << Statement.new(parent_uri, VOC["has#{type}"], child_uri)
       end
     end

data/lib/abrupt/transformation/website/complexity.rb

@@ -11,9 +11,19 @@ module Abrupt
           # flatten vicram complexity
           @values[keyname][:vicramComplexity] =
               @values[keyname][:vicram].delete(:complexity)
+          add_contrast_properties
           @values[keyname].delete :vicram
           super
         end
+
+        def add_contrast_properties
+          contrast = @values[keyname][:contrast]
+          return unless contrast && contrast[:_1]
+          contrast[:_1].each do |type, value|
+            add_data_property(type, value)
+          end
+          @values[keyname].delete :contrast
+        end
       end
     end
   end

data/lib/abrupt/version.rb

@@ -3,5 +3,5 @@
 # The version number of the abprubt gem
 # @abstract
 module Abrupt
-  VERSION = '0.0.2'
+  VERSION = '1.0.0'
 end

data/spec/factories/crawled_hashes.rb

@@ -37,9 +37,9 @@ FactoryGirl.define do
                            :complexity =>
                                { :contrast =>
                                      { :_1 =>
-                                           { :A_tag_With_Low_Contrast => "0",
-                                             :TextNodes_With_Low_Contrast => "0",
-                                             :paragrahps_with_too_long_lines => "0" } },
+                                           { :A_tag_With_Low_Contrast => 0,
+                                             :TextNodes_With_Low_Contrast => 0,
+                                             :paragrahps_with_too_long_lines => 0 } },
                                  :vizweb =>
                                      { :numberOfLeaves => 1,
                                        :textArea => "0",
@@ -360,9 +360,9 @@ FactoryGirl.define do
                            :complexity =>
                                { :contrast =>
                                      { :_1 =>
-                                           { :A_tag_With_Low_Contrast => "0",
-                                             :TextNodes_With_Low_Contrast => "0",
-                                             :paragrahps_with_too_long_lines => "0" } },
+                                           { :A_tag_With_Low_Contrast => 1,
+                                             :TextNodes_With_Low_Contrast => 1,
+                                             :paragrahps_with_too_long_lines => 0 } },
                                  :vizweb =>
                                      { :numberOfLeaves => 17,
                                        :textArea => "0.0074666341145833",

data/spec/fixtures/rikscha_Result_min.xml

@@ -448,8 +448,8 @@
       <complexity>
         <contrast>
           <_1>
-            <A_tag_With_Low_Contrast>0</A_tag_With_Low_Contrast>
-            <TextNodes_With_Low_Contrast>0</TextNodes_With_Low_Contrast>
+            <A_tag_With_Low_Contrast>1</A_tag_With_Low_Contrast>
+            <TextNodes_With_Low_Contrast>1</TextNodes_With_Low_Contrast>
             <paragrahps_with_too_long_lines>0</paragrahps_with_too_long_lines>
           </_1>
         </contrast>

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: abrupt
 version: !ruby/object:Gem::Version
-  version: 0.0.2
+  version: 1.0.0
 platform: ruby
 authors:
 - Manuel Dudda
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2015-03-04 00:00:00.000000000 Z
+date: 2015-03-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rest-client
@@ -308,6 +308,7 @@ files:
 - Rakefile
 - abrupt.gemspec
 - assets/rules/datatypes/cax-RequiredFormElement.ttl
+- assets/rules/datatypes/cax-complexity.ttl
 - assets/rules/datatypes/cax-readability.ttl
 - assets/rules/datatypes/cax-required.ttl
 - assets/rules/list/prp-hasState.ttl
@@ -322,11 +323,16 @@ files:
 - assets/schema/v1/subject.json
 - assets/voc/tbox.ttl
 - bin/abrupt
+- doc/paper/figures/converter.png
+- doc/paper/figures/tbox.png
+- doc/paper/listings/abrupt_usage.sh
 - doc/paper/listings/add_visit_duration.rb
 - doc/paper/listings/datatype_rule.ttl
+- doc/paper/listings/datatype_rule2.ttl
 - doc/paper/listings/description_logic_infered.ttl
 - doc/paper/listings/description_logic_rule.ttl
-- doc/paper/listings/inconsistency_rule.ttl
+- doc/paper/listings/inconsistency_rule_domain.ttl
+- doc/paper/listings/inconsistency_rule_range.ttl
 - doc/paper/listings/limitations.ttl
 - doc/paper/listings/list_rule.ttl
 - doc/paper/listings/production_rule.ttl
@@ -334,6 +340,7 @@ files:
 - doc/paper/listings/propositional_logic_rule.ttl
 - doc/paper/listings/unique_nested_uris.ttl
 - doc/paper/literature.bib
+- doc/paper/main.pdf
 - doc/paper/main.tex
 - doc/poster/Poster.key
 - doc/poster/Poster.pdf
@@ -402,7 +409,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.4.5
+rubygems_version: 2.4.3
 signing_key: 
 specification_version: 4
 summary: Tools for the AbRUPt project.