Protege Proof-Based Explanation
Protege Proof-Based Explanation is Copyright (c) 2014 - 2021
Live Ontologies Project
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
ABOUT:
This is a plug-in that adds proof-based explanation facilities to the Protege
Desktop ontology editor. It registers as an extension to the Protege
explanation services and defines an extension point using which OWL proofs can
be provided by other Protege plug-ins. The main functionality of this plug-in
is displaying, navigating, and updating those proofs in the user interface.
For further information see:
https://github.com/liveontologies/protege-proof-explanation
REQUIREMENTS:
Protege Proof-Based Explanation is tested to work with Protege 5.5.0. It may work
with other versions of Protege.
INSTALLATION:
To install, place ALL jar files inside the archive
protege-proof-explanation-0.2.0-SNAPSHOT.zip
to the plugins folder of the Protege installation. The plug-in supports Protege
Auto Update feature which can be used for upgrading to newer versions according
to the instructions here:
http://protegewiki.stanford.edu/wiki/EnablePluginAutoUpdate