Discussion :

[sarahm]

bonsoir,
je travaille sur une ontologie sur protégé 4.X et j'ai un un DataType "date",je n'ai pas trouvé le type date dans la liste des dataType j'ai trouvé que "DateTime" alors j'ai ajouté le type "date" avec l'URi du W3C quand j'ai activé le raisonneur il dit qu'il ne support pas ce type et il m'affiche erreur sur l'individu et c'est le même problème pour "integer" quand je mets des numéro il m'affiche erreur j'ai résolu le problème en le remplaçant par "plainLiteral"
SVp pouvez vous m'aider et me dire comment dois je écrire ma date?
Cordialement

[April Fool]

Au sujet du type xsd:date, quelqu'un avait déjà posé la question, et voici la réponse :

C'est normal, une ontologie OWL 2 DL (ce que HermiT manipule) ne peut pas utiliser le type xsd:date. Les types supportés par OWL 2 DL sont indiqués dans la section Datatype Maps de la spécification structurelle de OWL 2. Pour les dates, on ne peut utiliser que xsd:dateTime et xsd:dateTimeStamp.

Ca veut dire qu'il faut écrire ses dates comme ça (par exemple pour le 13/05/2012) : "2012-13-05T00:00:00" (00:00:00 correspond à l'heure, en l'occurrence minuit).

Pour le type integer, comment ajoutes-tu ton entier ? En principe, tu sélectionnes un individu dans l'onglet "Individuals", puis tu ajoutes une "Data property assertion", dans la fenêtre qui s'ouvre tu choisis ta "Datatype property" et tu écris ton entier à droite, puis tu sélectionnes le type "integer" dans la liste en bas.

j'ai résolu le problème en le remplaçant par "plainLiteral"

Est-ce que tu fais référence au type rdf:PlainLiteral ? Si tu as sélectionné ce type, c'est que tu l'as fait dans l'onglet "Data Properties" et du coup, je crois comprendre le problème. Si ta propriété a un "range" égal à "integer", il faut malgré tout indiquer le type "integer" explicitement lors de la création de la valeur.

[sarahm]

Bonsoir,
En fait j'ai consulté tous les référentiels du W3C mais l'explication n'est pas très clair c'est pour cette raison que j'ai créé cette discussion et pour le type integer j'ai créé un DataType et mis comme range integer et après je l'ai relié avec l'individu avec dataInsertion
Voilà en tout cas merci pour vos réponses.