Diese Mindmap wird von semAuth wie folgt in html und F-Logic umgesetzt:

Schema: Klassen-Baum; Relationen incl. Domain, Range; Sub-Relationen

Tier Frosch Mensch Prinzessin Prinz erkennt Prinzessin

ex#Frosch :: ex#Tier . turtle: ex#Frosch rdfs:subClassOf ex#Tier . ex#Prinzessin :: ex#Mensch . turtle: ex#Prinzessin rdfs:subClassOf ex#Mensch . ex#Prinz :: ex#Mensch . turtle: ex#Prinz rdfs:subClassOf ex#Mensch . ex#Prinz [ ex#erkennt *=> ex#Prinzessin ] . ex#Prinzessin [] .

Schema: Sub-Relationen

Mensch kennt erobert erkennt liebt

ex#kennt << ex#erobert . ex#kennt << ex#erkennt . ex#kennt << ex#liebt .

Instanz-Graph

Pauline verliert Paulines_goldene_Kugel Paulines_goldene_Kugel holt Wilhelm Frosch

ex#Pauline [ ex#verliert -> ex#Paulines_goldene_Kugel ] . ex#Wilhelm [ ex#holt -> ex#Paulines_goldene_Kugel ] . ex#Wilhelm : ex#Frosch .

Hierarchie von SKOS:Concepts auf Instanzebene

Soziales [skos:broader] Küssen Frösche küssen Spiel Kugeln versenken Sport Tauchen nach goldenen Kugeln tauchen Werfen Frösche werfen

ex#'Küssen' [ skos#broader -> ex#Soziales ] . ex#'Frösche küssen' : skos#Concept [ skos#broaderTransitive -> ex#'Küssen' : skos#Concept ] . c( ex#'Frösche küssen' ) :: c( ex#'Küssen' ) . ex#'Kugeln versenken' : skos#Concept [ skos#broaderTransitive -> ex#Spiel : skos#Concept ] . c( ex#'Kugeln versenken' ) :: c( ex#Spiel ) . ex#Tauchen : skos#Concept [ skos#broaderTransitive -> ex#Sport : skos#Concept ] . c( ex#Tauchen ) :: c( ex#Sport ) . ex#'nach goldenen Kugeln tauchen' : skos#Concept [ skos#broaderTransitive -> ex#Tauchen : skos#Concept ] . c( ex#'nach goldenen Kugeln tauchen' ) :: c( ex#Tauchen ) . ex#Werfen : skos#Concept [ skos#broaderTransitive -> ex#Sport : skos#Concept ] . c( ex#Werfen ) :: c( ex#Sport ) . ex#'Frösche werfen' : skos#Concept [ skos#broaderTransitive -> ex#Werfen : skos#Concept ] . c( ex#'Frösche werfen' ) :: c( ex#Werfen ) .