---
# System prepended metadata

title: FAQ TD Reasoner – IA03
tags: [' FAQ', IA03]

---

---
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)


    
