OWL: Abstrakte Klassen, anonyme Knoten, Reguläre Ausdrücke

Question

Wenn Sie eine Ontology mit OWL zu definieren, ist es eine Möglichkeit zu sagen, dass eine Klasse

• sollte immer ein Anonymous Knoten (Kein rdf: about = "..."), z.B.
• ist abstrakt und jede Instanz dieser Klasse sollte immer eine Subklasse verwenden

(herausgegeben hier:)

• , dass ein Datatypeproperty sollte einen regulären Ausdruck?

Danke

Answer 1

OWL (im Allgemeinen) ist über eine Reihe von Folgerungen RDF gegeben, nicht über die Validierung (insbesondere im Hinblick auf Struktur).

• Es gibt keine Möglichkeit in OWL 1.1 zu wissen, ob ein Knoten anonym ist oder nicht. OWL 2 scheint nicht diese entweder zu unterstützen (über einen owl:Restriction, zum Beispiel).
• Für die abstrakte Klasse Anforderung, diesen Beitrag auf der Protege-Mailingliste hat einige Ideen, wie dies zu tun.
• OWL 1.1 DatatypeProperties nicht unterstützen „Validierung“ ein Objekt gegeben Aussage. OWL 2 hat Datentyp Facetten ( einschließlich xsd:pattern), die Sie könnten möglicherweise verwenden.

Update: Unter Umständen können Sie SPIN verwenden, um die Graphstruktur und Inhalte abfragen um neue Tripel zu schließen.

Answer 2

definiert als abstrakte Klasse folgende OWL-Syntax

A subClassOf (unionOf [B, C]) und (disjunkte [B, C])