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