OWL: classes abstraites, noeuds anonymes, expressions régulières

Question

Lors de la définition d'un ontologies OWL en utilisant, est-il un moyen de dire qu'une classe

• doit toujours être un nœud Anonymous (Pas rdf: about = "..."), par exemple
• est abstraite et une instance de cette classe doit toujours utiliser un subClass

(édité ici:)

• que DatatypeProperty doit correspondre à une expression régulière?

Merci

Answer 1

OWL (en général) est d'environ inférences étant donné un ensemble de RDF, pas de validation (en particulier en ce qui concerne la structure).

• Il n'y a aucun moyen OWL 1.1 de savoir si un nœud est anonyme ou non. OWL 2 ne semble pas soutenir ce soit (via un owl:Restriction, par exemple).
• Pour l'exigence de classe abstraite, ce poste sur la liste de diffusion Protege a quelques idées sur la façon de le faire.
• OWL 1.1 DatatypeProperties ne supporte pas la « validation » de l'objet d'une déclaration donnée. OWL 2 a facettes de types de données ( y compris xsd:pattern) que vous pouvez éventuellement utiliser.

Mise à jour: Vous pouvez être en mesure d'utiliser SPIN pour interroger la structure graphique et contenu afin de déduire de nouveaux triplets.

Answer 2

Définition d'une classe comme abstraite en utilisant la syntaxe suivante OWL

A subClassOf (unionOf [B, C]) et (disjoints [B, C])