OWL-Klassen und Restriktionen pragmatisch modellieren

Restriktionen beschreiben Klassen

Eine OWL-Restriktion ist eine anonyme Klassenbeschreibung. `someValuesFrom` beschreibt Individuen mit mindestens einem passenden Eigenschaftswert.

Das Axiom erzeugt unter Open World Semantics keinen Fehler, nur weil ein Wert im aktuellen Graphen fehlt.

Äquivalenz ist stärker als Unterklasse

`owl:equivalentClass` erlaubt Schlüsse in beide Richtungen. `rdfs:subClassOf` überträgt Zugehörigkeit nur zur allgemeineren Klasse.

Eine vorschnelle Äquivalenz kann unerwartet viele Individuen klassifizieren.

Reasoner-Test mit Gegenbeispielen

Testen Sie positive Instanz, unvollständige Instanz und widersprüchliche Instanz. Prüfen Sie abgeleitete Typen sowie Inkonsistenzen separat.

Dokumentieren Sie das verwendete OWL-Profil und den Reasoner.

Aktiver Kunde als definierte Klasse

Die äquivalente Klasse verlangt mindestens einen aktiven Vertrag. Ein Reasoner kann passende Individuen als aktive Kunden klassifizieren.

ex:AktiverKunde owl:equivalentClass [
  a owl:Restriction ;
  owl:onProperty ex:hatVertrag ;
  owl:someValuesFrom ex:AktiverVertrag
] .

ex:kunde17 ex:hatVertrag ex:vertrag9 .
ex:vertrag9 a ex:AktiverVertrag .

Eigenständiges Modellierungsbeispiel. Präfixe werden im umgebenden Beispielkontext vorausgesetzt.

Im Ontologie-Pfad weiterlesen

• Ontologie, Vokabular und Taxonomie unterscheiden
• RDFS domain und range ohne Nebenwirkungen
• NodeShape und PropertyShape mit Beispiel
• Alle Ontologie- und SHACL-Beiträge