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

Question

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

• doit toujours être un Anonymous Noeud (pas rdf: about = ». ..") par exemple < mon: FamousQuote/>
• est abstraite et une instance de cette classe devrait toujours utiliser un subClass

(édité ici :)

• qu'un DatatypeProperty doit correspondre à une expression régulière?

Merci

Answer 1

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

• Il n'y a aucun moyen dans OWL 1.1 de savoir si un noeud est anonyme ou non. OWL 2 ne semble pas le supporter non plus (via un owl:Restriction, par exemple).
• Pour l'exigence de classe abstraite, this post sur la liste de diffusion Protege a quelques idées sur la façon de procéder.
• OWL 1.1 DatatypeProperties ne prend pas en charge la "validation" d'un objet d'instruction donné. OWL 2 a datatype facets (y compris xsd:pattern) que vous pourriez potentiellement utiliser.

Mise à jour: Vous pourrez peut-être utiliser SPIN pour interroger la structure graphique et son contenu afin de déduire de nouveaux triplets.