Semantic in Bullets - OWL
- OWL
- Klassen, Properties, Instanzen
- Open World Assumption
- No Unique Name Assumption
- Fragment von FOL
- OWL Lite < OWL DL < OWL Full
- OWL Lite SHIF(D)
- keine Aufzählung, Kardinalität, Disjunkheit → ExpTime
- OWL DL SHOIN(D) bzw. SHROIQ(D)
- entscheidbar, vollständig, korrekt
- Typentrennung: rdfs:Class/Property nicht erlaubt
- Konkrete Rollen nicht transitiv
- NExpTime
- OWL Full
- OWL + RDFS
- Schachtelung
- Unentscheidbar
- keine Typentrennung owl:Thing rdfs:Resource
- Mighty
- Disjunktheit von Klassen, Inverse Properties
- Verschiedenheit von Instanzen, Klassenbeschreibungen
- Syntax
- owl:class, Thing, Nothing
- abstrakte Rollen (Object Properties) owl:ObjectProperty, rdfs:domain, rdfs:range
- konkrete Rollen (Datatype Properties) owl:DatatypeProperty &xsd,string
- owl:disjointWith, rdfs:subClassOf, owl:equivalentWith, owl:sameAs, owl:differentFrom
- owl:oneOf (abgeschlossene Klasse)
- Klassenkonstruktoren owl:intersectionOf, owl:unionOf owl:complementof (kombiniert mit subClassOf, owl:equivalentClass)
- Rolleneinschränkungen: owl:hasValue, owl:allValuesFrom, owl:cardinality (min/max) → rdfs:subClassOf[ a owl:Restriktion; owl:onProperty :testeMich; owl:allValuesFrom :Class].
- Rolleneigenschaften
- rdfs:subPropertyOf, owl:inverseOf
- rdf:type TransitiveProperty, SymmetricProperty, FunctionalProperty
- Terminologische OWL Anfragen
- Klassenäquivalenz, Disjunktheit von Klassen
- Widerspruchsfreiheit
- Klassenkonsistenz = Äquivalent zu owl:Nothing
- Assertionale Anfragen
- Instanzüberprüfung
- Klassenextension (alle Instanzen einer Klasse)
- Rollenüberprüfung (2 Instanzen verknüpft)
- Rollenextension