diff --git a/Bachelorkolloquium.tex b/Bachelorkolloquium.tex index 4340d1f..4a740a3 100644 --- a/Bachelorkolloquium.tex +++ b/Bachelorkolloquium.tex @@ -182,32 +182,32 @@ car:23 carOnt:hasNickname "Alf"^^xsd:string . \begin{frame}[fragile]{Beispiel für eine TBox} Definition der Klassen \texttt{Car}, \texttt{CarModel} und \texttt{Driver} in RDFS: \begin{lstlisting} -carOnt:Car rdf:type rdfs:class . -carOnt:CarModel rdf:type rdfs:class . -carOnt:Driver rdf:type rdfs:class . +:Car rdf:type rdfs:class . +:CarModel rdf:type rdfs:class . +:Driver rdf:type rdfs:class . -carOnt:drives rdf:type rdf:Property . -carOnt:drives rdfs:domain carOnt:Driver . -carOnt:drives rdfs:range carOnt:Car . +:drives rdf:type rdf:Property . +:drives rdfs:domain :Driver . +:drives rdfs:range :Car . -carOnt:isCarModel rdf:type rdf:Property . -carOnt:isCarModel rdfs:domain carOnt:Car . -carOnt.isCarModel rdfs:range carOnt:CarModel . +:isCarModel rdf:type rdf:Property . +:isCarModel rdfs:domain :Car . +.isCarModel rdfs:range :CarModel . \end{lstlisting} \end{frame} \begin{frame}[fragile]{Beispiel für eine ABox} Beschreibung eines PKW und dessen Fahrer mit Hilfe der Terminologie aus der vorherigen TBox: \begin{lstlisting} -car:0 rdf:type carOnt:Car . -car:0 carOnt:isCarModel carModel:0 . +car:0 rdf:type :Car . +car:0 :isCarModel carModel:0 . -carModel:0 rdf:type carOnt:CarModel . -carModel:0 carOnt:maximumMotorRPM 4300 . +carModel:0 rdf:type :CarModel . +carModel:0 :maximumMotorRPM 4300 . -driver:0 rdf:type carOnt:Driver . -driver:0 carOnt:drives car:0 . -driver:0 carOnt:hasName "Max Mustermann"^^xsd:string . +driver:0 rdf:type :Driver . +driver:0 :drives car:0 . +driver:0 :hasName "Max Mustermann"^^xsd:string . \end{lstlisting} \end{frame} @@ -224,23 +224,23 @@ Dazu folgt nun ein Beispiel \begin{frame}[fragile]{Beispiel: Reasoning} Gegeben sei folgende ABox: \begin{lstlisting} -:a carOnt:drives :b . +:a :drives :b . \end{lstlisting} Führt man nun Reasoning mit Hilfe dieser TBox durch: \begin{lstlisting} -carOnt:Vehicle rdf:type rdfs:class . -carOnt:Car rdf:type rdfs:class . -carOnt:Car rdfs:subclassOf carOnt:Vehicle . +:Vehicle rdf:type rdfs:class . +:Car rdf:type rdfs:class . +:Car rdfs:subclassOf :Vehicle . -carOnt:drives rdf:type rdf:Property . -carOnt:drives rdfs:domain carOnt:Driver . -carOnt:drives rdfs:range carOnt:Car . +:drives rdf:type rdf:Property . +:drives rdfs:domain :Driver . +:drives rdfs:range :Car . \end{lstlisting} So ergibt sich daraus folgendes, zusätzliches Wissen: \begin{lstlisting} -:a rdf:type carOnt:Driver . -:b rdf:type carOnt:Car . -:b rdf:type carOnt:Vehicle . +:a rdf:type :Driver . +:b rdf:type :Car . +:b rdf:type :Vehicle . \end{lstlisting} \end{frame}