Discussion :

[Nibel_m]

Bonjour,

Le langage OWL propose trois sous langages d'expressivité croissante à savoir, OWL lite, OWL_DL et OWL-Full.

La plupart des ontologies OWL sont représentées par la syntaxe RDF/XML ou bien N3.

Sachant que OWL-DL correspond bien à la logique de description en particulier à la famille SHOIN, y- a t- il alors des outils permettant de convertir des ontologies OWL en logique de description .
et peut on trouver des éditeurs permettant de représenter une ontologie directement en SHOIN.

Merci par avance.

[April Fool]

Le langage OWL propose trois sous langages d'expressivité croissante à savoir, OWL lite, OWL_DL et OWL-Full.

La norme actuelle est OWL 2 qui propose 5 sous langages d'expressivité variable*: OWL 2 EL, OWL 2 QL, OWL 2 RL, OWL 2 DL et OWL 2 Full. OWL Lite est une hérésie qui n'aurait jamais dû exister. Mais ça n'a rien à voir avec la question posée.

y- a t- il alors des outils permettant de convertir des ontologies OWL en logique de description .

À mon avis la question est mal posée. Une ontologie OWL (2) DL est une ontologie en logique de description. Il n'y a donc aucune conversion à faire ni aucun outil à utiliser. En revanche, on peut vouloir passer d'une syntaxe à une autre, comme par exemple passer d'une représentation en RDF/XML, Turtle, OWL/XML, Manchester Syntax, Functional Syntax ou même en LaTeX avec la syntaxe abstraite habituelle des logiques de description, vers une autre de ces syntaxes.

Si tu veux convertir ton fichier en une jolie syntaxe de matheux utilisant les symboles ⊑, ⊓, ⊔, ∃, ∀, etc (ce que je soupçonne que tu veux faire), tu as la possibilité d'exporter ton ontologie sous Protégé 4 en LaTeX.

[Nibel_m]

merci bien pour la réponse.
Oui. En fait, j'aurais dû dire une transformation de syntaxe !