Skip to content

Instantly share code, notes, and snippets.

@NobodysNightmare
Created December 13, 2011 09:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save NobodysNightmare/1471322 to your computer and use it in GitHub Desktop.
Save NobodysNightmare/1471322 to your computer and use it in GitHub Desktop.
SemWeb Ü8A1
a)
I_s = hpi:Person -> hPer
hpi:LangsamerVT -> hLVT
hpi:Autophobiker -> hAP
hpi:Gustav -> hGus
hpi:fährt -> hFähr
hpi:Fahrzeug -> hFZ
hpi:Fahrrad -> hFR
hpi:hatBauteil -> hHBT
hpi:hatOptionalesBauteil -> hHOBT
hpi:hatNotwendigesBauteil -> hHNBT
hpi:Bauteil -> hBT
hpi:Rad -> hR
hpi:Vorderrad -> hVR
rdf:type -> rT
rdfs:subClassOf ->rSCO
rdfs:domain -> rD
rdfs:range -> rR
rdfs:subPropertyOf -> rSPO
rdfs:ContainerMembershipProperty -> rCMP
I_L = leer
A = leer
IR = {hPer, hLVT, hAP, hGus, hFähr, hFZ, hFR, hHBT, hHOBT, hHNBT, hBT, hR, hVR, rT, rSCO, rD, rR, rSPO, rCMP}
IP = {hFähr, hHBT, hHOBT, hHNBT, rT, rSCO, rD, rR, rSPO}
LV = {}
I_Ext = hFähr -> {<hGus, hFR>}
hHBT -> {}
hHOBT -> {}
hHNBT -> {<hFR, hVR>}
rT -> {<hGus, hAP>, <hFR, hFZ>, <hVR, hBT>, <hHBT, rCMP>}
rSCO -> {<hAP, hLVT>, <hLVT, hP>, <hR, hBT>}
rD -> {<hFähr, hP>, <hHBT, hFZ>}
rR -> {<hFähr, hFZ>, <hHBT, hBT>, <hHNBT, hR>}
rSPO -> {<hHOBT, hHBT>, <hHNBT, hHBT>}
b)
_:1 hpi:fährt hpi:Fahrrad
hpi:fährt rdf:type rdf:Property
hpi:Vorderrad rdf:type hpi:Rad
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment