--- tags: IA03, FAQ --- # FAQ TD Reasoner – IA03 ## OWLViz ### Où se trouve l'installation de OWLViz ? Si vous ne le voyez pas c'est qu'a priori il est déjà installé... ### Tout est condensé en haut à gauche de la fenêtre pour moi sur OWLViz Il faut installer Graphviz directement en passant par https://graphviz.org/download/ ou via votre gestionnaire de paquets favoris (scoop/chocolatery sous windows ; brew sur macOS ; apt/rpm/etc. sur Linux) Puis il faut que la commande `dot` soit accessible depuis un terminal puis il faut relancer Protégé, voire windows... ### Ça ne marche toujours pas sur Windows 10... Apparement OWLViz ne trouve pas l'application `dot` Graphviz s'installe par défaut dans Programmes et non Programs Files (x86). Aller dans file -> preferences, il y a un onglet OWLViz dans lequel on peut modifier le chemin d'accès... ## DL expressivity ### Je n'ai pas vu DL expressivity dans la fenêtre Ontology metrics Vous devez utiliser Protégé 5.2 pour avoir cette fonctionnalité, elle n'apparaît plus dans la version 5.5 ### Que représente l'expressivité de telle ou telle logique ? Vous pouvez utiliser comme premier pointeur le cours, le site http://www.cs.man.ac.uk/~ezolin/dl et Wikipédia https://en.wikipedia.org/wiki/Description_logic ## Les reasoners ### Quelles sont les différences entre les différents reasoners ? Chacun est capable de traiter une expressivité qui lui est propre. Ils sont, suivant les cas, plus ou moins efficaces. ## SPARQL ### Quels sont les plugins à installer ? Un seul plugin : SNAP SPARQL. Pour le lancer, il faut cliquer sur window -> view -> Query Views -> SNAP SPARQL Query et cliquer quelque part dans l'onglet DL Query ### Ça marche pas... 1. avez-vous bien lancer le reasoner ? 2. vérifier vos préfixes 3. êtes-vous bien dans la fenêtre SNAP SPARQL (qui est dans DL Query) et pas dans la fenêtre SPARQL (qui elle n'utilise pas les reasoners)