Tuesday, March 6, 2012

Semantic in Bullets - OWL semantics


  • ALC and OWL DL
    • Klassen, Rollen und Individuen
    • owl:Thing, owl:Nothing
    • Klasseninklusion, -disjunktion, -äquivalenz
    • owl:complementOf, owl:intersectionOf, owl:unionOf
    • rdfs:domain, rdfs:range
  • SHOIN(D)
    • owl:sameAs, owl:differentFrom → erweitert mit a=b (schon in DL)
    • owl:oneOf, owl:hasValue
    • Kardinalitätsrestriktion
    • Rollenkonstruktoren: rdfs:subPropertyOf, inverse, transitiv, symetrisch Rollen
    • beliebig komplexes Schachteln