-
Notifications
You must be signed in to change notification settings - Fork 24
ElkProtege
A plugin is available for using ELK in the Protégé ontology editor.
The plugin requires Protégé 4.1 or later to run. To install, simply download and unzip the most recent version of the elk-protege package from the download section, and place the file org.semanticweb.elk.jar in the plugins directory of your Protégé installation.
Protégé interacts with ELK by calling OWL API functions. Since not all of these functions are supported at the moment, errors might be issued when using some advanced reasoning task. Please see the page about supported reasoning tasks for further information.
In order to minimize the number of error messages, it is recommended to switch off some of the inference types. Please go to Reasoner > Configure > Displayed Inferences and uncheck:
- Disjoint Classes in Displayed Class Inferences
- All Displayed Object Property Inferences
- All Displayed Data Property Inferences
- Everything except Types in Displayed Individual Inferences
Also, ELK supports only certain OWL constructors as described on the page about supported OWL features. ELK will issue warnings about unsupported features during ontology loading.
- About ELK
- ELK User Pages
- ELK Developer Pages
- Feedback