ontopProQuestPreferences - ConstantB/ontop-spatial GitHub Wiki
-ontopPro- integrates the Quest OWLAPI 3 reasoner into Protégé 4.x. Quest works in the same way as any OWL reasoners work, however, it provides extra functionalities that makes it an attractive alternative for a wide range of scenarios.
In order to be enable Quest in Protégé 4.1, you need to start it first by doing as follows:
- Select the "Reasoner" in the menu bar,
- Select "Quest x.x (ontop)" as the reasoner,
- And immediately click "Start reasoner"
Note that changes in the mappings or ontology are not detected automatically by Quest. If you change any of these, you need to rerun the reasoner by doing synchronization as follows:
- Select the "Reasoner" in menu bar,
- Click on "Synchronize reasoner".
- Select the "Reasoner" in menu bar,
- Click on "None"
- Restart Quest by selecting again "Quest x.x (ontop)" and "Start reasoner".
There is a couple of features that is available in Quest but not to the other OWL reasoners. Users can configure some of the features using the preference window: "File" > "Preferences...". In the preference window select "Quest" tab.
NOTE: Any changes in the configuration require you to restart Quest.
Users may enable/disable the reasoning step to gain better performance in special case, e.g., when querying RDF data.
- Virtual RDF Graph mode. In this mode, Quest will not import any data from the data source. All reasoning will be done on-the-fly by means of query-rewriting. Quest computes the answers from your query over the ontology and generates one single SQL query to be executed through a database system. Currently, Quest allows a single data source only.
- Classic RDF Graph mode. In this mode, Quest will read individual assertions from the OWL file as well as "extract" individual assertions from the mappings of your OBDA model.
For a full description of Virtual and Classic ABox mode, please refer to this document.