Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fact++ 1.6.5 fails to work with Protege 5.1.0 on Windows 10 #638

Open
csnyulas opened this issue Apr 18, 2017 · 13 comments
Open

Fact++ 1.6.5 fails to work with Protege 5.1.0 on Windows 10 #638

csnyulas opened this issue Apr 18, 2017 · 13 comments
Labels
Status: Needs Triage Should be the default status for issues that have been acknowledged, but not yet processed.

Comments

@csnyulas
Copy link
Member

csnyulas commented Apr 18, 2017

Issue reported in this thread on the Protege-User mailing list:
http://protege-project.136.n4.nabble.com/Re-Welcome-to-the-quot-protege-user-quot-mailing-list-td4667592.html

Some key excerpts from the emails:

I have been working with Protégé 5.1 for some time and everything was great.
At the moment I decided to update to Fact++ 1.6.5 everything went wrong.
I could not open Protégé after restart (suggested to update Fact++). The error
I am getting is that MS C++ libraries are missing and after that the editor will not
open (I am running .dat file). I tried EVERYTHING -- deleting old versions, downloading
new ones, including JRE because I read somewhere about possible java corruption).
I am teaching Sem Web Tech class and very shortly my students will need Protégé
for their project. I am very worried that something like this can happen to them and
I have no clue how to help.

and from a follow-up

 I run Windows 10 Home – no virtual machine or OS emulator.
As I said in my original call-for-help message, I have been working with Protégé 5.1.0 for some time with NO problems at all. The problem happened when I undated to Fact++ 1.6.5 (originally Protégé came with Fact++ 1.6.4). I use Pellet, but I wanted to check out the new Fact++, so I click update and after closing Protégé for the update to take place, I was never able to open it again. Just to note that I deleted old versions (including Protégé 5.0.0 -- Protege 5.0.0 gives me the same problem) downloaded new ones, same with jre, I tried the platform independent version, etc. – always the same “non-sense” result. So, here is the latest (today's) attempt to download and start Protégé (old downloads deleted).
You are asking about files with “fact” in their names – only one in the bin directory, called maven-artifact, which is a jar file 54 KB.

When I run .bat file this is what happens: (please note that I inserted in this log error messages as I am getting them)

 

C:\Program Files (x86)\Protege-5.1.0>setlocal

C:\Program Files (x86)\Protege-5.1.0>cd /d C:\Program Files (x86)\Protege-5.1.0\

C:\Program Files (x86)\Protege-5.1.0>jre\bin\java -Xmx500M -Xms200M -Xss16M -XX:CompileCommand=exclude,javax/swing/text/GlyphView,getBreakSpot -DentityExpansionLimit=100000000 -Dlogback.configurationFile=conf/logback-win.xml -Dfile.encoding=utf-8 -Dorg.protege.plugin.dir=plugins -classpath bundles/guava.jar;bundles/logback-classic.jar;bundles/logback-core.jar;bundles/slf4j-api.jar;bin/org.apache.felix.main.jar;bin/protege-launcher.jar org.protege.osgi.framework.Launcher
CompilerOracle: exclude javax/swing/text/GlyphView.getBreakSpot
********************************************************************************
**                                  Protege                                   **
********************************************************************************

----------------- Initialising and Starting the OSGi Framework -----------------
FrameworkFactory Class: org.apache.felix.framework.FrameworkFactory

The OSGi framework has been initialised
------------------------------- Starting Bundles -------------------------------
Starting bundle org.protege.common
Starting bundle org.eclipse.equinox.common
Starting bundle org.eclipse.equinox.supplement
Starting bundle org.eclipse.equinox.registry
Starting bundle org.protege.editor.core.application
Starting bundle org.apache.commons.io
Starting bundle com.google.guava
Not starting bundle com.google.inject.assistedinject explicitly because it is a fragment bundle.
Not starting bundle com.google.inject.multibindings explicitly because it is a fragment bundle.
Starting bundle com.google.inject
Starting bundle org.jsr-305
Starting bundle jul.to.slf4j
Starting bundle log4j.over.slf4j
Starting bundle ch.qos.logback.classic
Starting bundle ch.qos.logback.core
Starting bundle org.apache.servicemix.bundles.aopalliance
Starting bundle org.apache.servicemix.bundles.javax-inject
Starting bundle org.eclipse.equinox.common
Starting bundle org.eclipse.equinox.registry
Starting bundle org.eclipse.equinox.supplement
Starting bundle org.semanticweb.owl.owlapi
Starting bundle org.protege.common
Starting bundle org.protege.editor.core.application
Starting bundle org.protege.editor.owl
Starting bundle slf4j.api
Starting bundle cellfie
Starting bundle code-generation
Starting bundle existentialquery
Starting bundle uk.ac.manchester.cs.owl.explanation
Starting bundle org.protege.ontograf
Starting bundle org.coode.dlquery
Starting bundle org.semanticweb.hermit
Starting bundle org.coode.browser
Starting bundle org.coode.owlviz
Starting bundle org.protege.owl.rdf
Starting bundle org.protege.editor.owl.rdf
Starting bundle swrltab-plugin
Starting bundle com.clarkparsia.protege.plugin.pellet
Starting bundle org.exquisite.protege
Starting bundle org.semanticweb.elk
Starting bundle uk.ac.manchester.cs.owl.factplusplus
The OSGi framework has been started
------------------------------------ Protege -----------------------------------

Protege Desktop
Version 5.1.0, Build


----------------------------------- Platform -----------------------------------
Java: JVM 1.8.0_40-b26  Memory: 466M
Language: en, Country: US
Framework: Apache Software Foundation (1.7)
OS: windows8 (6.3)
Processor: x86-64


------------------------------------ Plugins -----------------------------------
Plugin: Cellfie Protege 5.0+ Plugin (2.1.0)
Plugin: OWL Code Generation Plug-in (2.0.0)
Plugin: Existential Query (2.0.0)
Plugin: Explanation Workbench (3.0.0)
Plugin: OntoGraf (2.0.3)
Plugin: DL Query (4.0.1)
Plugin: HermiT (1.3.8.413)
Plugin: Browser View (OWLDoc) (3.0.3)
Plugin: OWLViz (5.0.3)
Plugin: OWLAPI RDF Library (2.0.2)
Plugin: Protege SPARQL Plugin (2.0.1)
Plugin: SWRLTab Protege 5.0+ Plugin (1.0.3)
Plugin: Pellet Reasoner Plug-in (2.2.0)
Plugin: Ontology Debugger (0.1.2.BETA)
Plugin: ELK Reasoner Protege Plug-in (0.4.3)
Plugin: Factplusplus Plug-in (1.6.5)

Feb 27, 2017 5:35:50 PM java.util.prefs.WindowsPreferences <init>
WARNING: Could not open/create prefs root node Software\JavaSoft\Prefs at root 0x80000002. Windows RegCreateKeyEx(...) returned error code 5.
Creating and setting up empty (default) editor kit
OWL API Version: 4.2.6.20160910-2108
Loading default configuration parameters for class org.semanticweb.elk.reasoner.config.ReasonerConfiguration
Cannot generate ontology catalog for ontology at http://www.semanticweb.org/ioana/ontologies/2017/1/untitled-ontology-13
-------------------------- Generated Diagnosis Model ---------------------------
Ontology: OntologyID(OntologyIRI(<http://www.semanticweb.org/ioana/ontologies/2017/1/untitled-ontology-13>) VersionIRI(<null>))
Generated in 46 ms
0 Possibly Faulty Formulas
0 Correct Formulas
0 Entailed Examples
0 Not-Entailed Examples
--------------------------------------------------------------------------------

 

THE FOLLOWING ERROR WINDOW POPS UP AT THIS POINT:

MISSING LIBRARIES OR PLATFORM NOT SUPPPORTED
FACT++ REQUIRES PLATFORM SPECIFIC LIBRARIES
WHICH CANNOT BE FOUND

WHEN I CLICK OK THIS WINDOW CLOSES AND THE PROTEGE LOG CONTINUES AS FOLLOWS:

 


java:102)
          java.lang.Thread.run(Thread.java:745)
    (Listeners should be removed in the plugin dispose method!)
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction$$Lambda$59/1677217031 ***
    Possible culprit (trace from when listener was added):
          org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction.initialise(AbstractOntologySelectionStrategyAction.java:47)
          org.protege.editor.owl.ui.action.ImportsClosureOntologyStrategyAction.initialise(ImportsClosureOntologyStrategyAction.java:27)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31)
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114)
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106)
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55)
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47)
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129)
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488)
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432)
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109)
          org.protege.editor.core.ProtegeApplication.lambda$start$11(ProtegeApplication.java:90)
          org.protege.editor.core.ProtegeApplication$$Lambda$24/1976931298.frameworkEvent(Unknown Source)
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836)
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786)
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099)
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55)
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102)
          java.lang.Thread.run(Thread.java:745)
    (Listeners should be removed in the plugin dispose method!)
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu$$Lambda$57/436590799 ***
    Possible culprit (trace from when listener was added):
          org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu.initialise(AbstractByRendererMenu.java:34)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31)
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114)
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106)
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55)
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47)
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129)
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488)
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432)
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109)
          org.protege.editor.core.ProtegeApplication.lambda$start$11(ProtegeApplication.java:90)
          org.protege.editor.core.ProtegeApplication$$Lambda$24/1976931298.frameworkEvent(Unknown Source)
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836)
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786)
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099)
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55)
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102)
          java.lang.Thread.run(Thread.java:745)
    (Listeners should be removed in the plugin dispose method!)
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.renderer.menu.RenderByProperty$$Lambda$58/1386820222 ***
    Possible culprit (trace from when listener was added):
          org.protege.editor.owl.ui.renderer.menu.RenderByProperty.initialise(RenderByProperty.java:82)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31)
          org.protege.editor.core.ui.menu.MenuBuilder.buildDynamicMenu(MenuBuilder.java:146)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:110)
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106)
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55)
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47)
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129)
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488)
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432)
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109)
          org.protege.editor.core.ProtegeApplication.lambda$start$11(ProtegeApplication.java:90)
          org.protege.editor.core.ProtegeApplication$$Lambda$24/1976931298.frameworkEvent(Unknown Source)
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836)
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786)
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099)
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55)
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102)
          java.lang.Thread.run(Thread.java:745)
    (Listeners should be removed in the plugin dispose method!)
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction$$Lambda$59/1677217031 ***
    Possible culprit (trace from when listener was added):
          org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction.initialise(AbstractOntologySelectionStrategyAction.java:47)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169)
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31)
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114)
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135)
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106)
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137)
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55)
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47)
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139)
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129)
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488)
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432)
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109)
          org.protege.editor.core.ProtegeApplication.lambda$start$11(ProtegeApplication.java:90)
          org.protege.editor.core.ProtegeApplication$$Lambda$24/1976931298.frameworkEvent(Unknown Source)
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836)
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786)
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099)
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55)
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102)
          java.lang.Thread.run(Thread.java:745)
    (Listeners should be removed in the plugin dispose method!)

An error was thrown: java.lang.UnsatisfiedLinkError: C:\Users\Evgueni\AppData\Local\Temp\ProtegeCache-e2b80694-f0ed-44e2-905b-9d993353402c\bundle36\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
org.semanticweb.owlapi.model.OWLRuntimeException: java.lang.UnsatisfiedLinkError: C:\Users\Evgueni\AppData\Local\Temp\ProtegeCache-e2b80694-f0ed-44e2-905b-9d993353402c\bundle36\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
        at uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory.getReasonerFactory(FaCTPlusPlusFactory.java:84) ~[na:na]
        at org.protege.editor.owl.model.inference.ReasonerInfoComparator.compare(ReasonerInfoComparator.java:9) ~[na:na]
        at org.protege.editor.owl.model.inference.ReasonerInfoComparator.compare(ReasonerInfoComparator.java:5) ~[na:na]
        at java.util.TimSort.countRunAndMakeAscending(TimSort.java:351) ~[na:1.8.0_40]
        at java.util.TimSort.sort(TimSort.java:216) ~[na:1.8.0_40]
        at java.util.Arrays.sort(Arrays.java:1512) ~[na:1.8.0_40]
        at java.util.ArrayList.sort(ArrayList.java:1454) ~[na:1.8.0_40]
        at java.util.Collections.sort(Collections.java:175) ~[na:1.8.0_40]
        at org.protege.editor.owl.model.OWLWorkspace.rebuildReasonerMenu(OWLWorkspace.java:565) ~[na:na]
        at org.protege.editor.owl.model.OWLWorkspace.initialiseExtraMenuItems(OWLWorkspace.java:431) ~[na:na]
        at org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:141) ~[protege-editor-core.jar:na]
        at org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) ~[protege-editor-core.jar:na]
        at org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) ~[protege-editor-core.jar:na]
        at org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) ~[protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) ~[protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) ~[protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) [protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) [protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) [protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeApplication.lambda$start$11(ProtegeApplication.java:90) [protege-editor-core.jar:na]
        at org.protege.editor.core.ProtegeApplication$$Lambda$24/1976931298.frameworkEvent(Unknown Source) [protege-editor-core.jar:na]
        at org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) [org.apache.felix.main.jar:na]
        at org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) [org.apache.felix.main.jar:na]
        at org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) [org.apache.felix.main.jar:na]
        at org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) [org.apache.felix.main.jar:na]
        at org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) [org.apache.felix.main.jar:na]
        at java.lang.Thread.run(Thread.java:745) [na:1.8.0_40]
Caused by: java.lang.UnsatisfiedLinkError: C:\Users\Evgueni\AppData\Local\Temp\ProtegeCache-e2b80694-f0ed-44e2-905b-9d993353402c\bundle36\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
        at java.lang.ClassLoader$NativeLibrary.load(Native Method) ~[na:1.8.0_40]
        at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1937) ~[na:1.8.0_40]
        at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1835) ~[na:1.8.0_40]
        at java.lang.Runtime.loadLibrary0(Runtime.java:870) ~[na:1.8.0_40]
        at java.lang.System.loadLibrary(System.java:1122) ~[na:1.8.0_40]
        at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.<clinit>(FaCTPlusPlus.java:19) ~[na:na]
        at uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory.getReasonerFactory(FaCTPlusPlusFactory.java:75) ~[na:na]
        ... 26 common frames omitted


AT THIS POINT ANOTHER ERROR WINDOW POPS UP which is HUGE, so when I click OK 
THIS IS THE LAST I SEE -- then Prorege dies -- the editor never opens.
@csnyulas
Copy link
Member Author

Is this happening also with Protege 5.2.0?

@csnyulas
Copy link
Member Author

@slovrenc
Copy link

Yes, the same is with Protege 5.2.0. I tried to download it directly and it is the same. Fact++ 1.6.4 works fine.

@csnyulas
Copy link
Member Author

Unfortunately, I don't have access to a machine running Windows 10 to test for this. :(
Can someone else reproduce this problem with Protege 5.2 and Fact++ 1.6.5 on Windows 10?
If this is really a problem, maybe @tsarkov, or someone else from the Fact++ team [1], could take a look at it.

[1] http://owl.man.ac.uk/factplusplus/

@slovrenc
Copy link

Oh, I am sorry, I forgot to mention that I use Windows 8.1.

@csnyulas
Copy link
Member Author

I don't have Windows 8.1 either. Can anyone can reproduce this?

@hauschke
Copy link

hauschke commented Nov 22, 2017

Yes I can. At first I reveive the following error when starting up:

"Missing libraries or platform not supported"
"FaCT++ requires platform specific libraries which cannot be fount. Supported platforms are OS X, Windows and Linus"

Then "An error has occured":

org.semanticweb.owlapi.model.OWLRuntimeException: java.lang.UnsatisfiedLinkError: C:\Users\$Username\AppData\Local\Temp\ProtegeCache-38a01423-c30f-4272-b683-ad1db8c923d9\bundle44\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
	at uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory.getReasonerFactory(FaCTPlusPlusFactory.java:84)
	at org.protege.editor.owl.model.inference.ReasonerInfoComparator.compare(ReasonerInfoComparator.java:9)
	at org.protege.editor.owl.model.inference.ReasonerInfoComparator.compare(ReasonerInfoComparator.java:5)
	at java.util.TimSort.binarySort(TimSort.java:292)
	at java.util.TimSort.sort(TimSort.java:217)
	at java.util.Arrays.sort(Arrays.java:1512)
	at java.util.ArrayList.sort(ArrayList.java:1454)
	at java.util.Collections.sort(Collections.java:175)
	at org.protege.editor.owl.model.OWLWorkspace.rebuildReasonerMenu(OWLWorkspace.java:565)
	at org.protege.editor.owl.model.OWLWorkspace.initialiseExtraMenuItems(OWLWorkspace.java:431)
	at org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:141)
	at org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55)
	at org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47)
	at org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44)
	at org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139)
	at org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129)
	at org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488)
	at org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432)
	at org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109)
	at org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90)
	at org.protege.editor.core.ProtegeApplication$$Lambda$24/1697110307.frameworkEvent(Unknown Source)
	at org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836)
	at org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786)
	at org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099)
	at org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55)
	at org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102)
	at java.lang.Thread.run(Thread.java:745)
Caused by: java.lang.UnsatisfiedLinkError: C:\Users\$Username\AppData\Local\Temp\ProtegeCache-38a01423-c30f-4272-b683-ad1db8c923d9\bundle44\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
	at java.lang.ClassLoader$NativeLibrary.load(Native Method)
	at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1937)
	at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1835)
	at java.lang.Runtime.loadLibrary0(Runtime.java:870)
	at java.lang.System.loadLibrary(System.java:1122)
	at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.<clinit>(FaCTPlusPlus.java:19)
	at uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory.getReasonerFactory(FaCTPlusPlusFactory.java:75)
	... 26 more

I'm using Windows 8.1 Pro (64 bit), JRE 1.8.0_151, Protege 5.24.

@tsarkov
Copy link
Contributor

tsarkov commented Nov 26, 2017 via email

@hauschke
Copy link

How can I generate this (on Windows)? Wen I try to start Protege, I get masses of error messages, so that everything potentially useful is not accessible.

@tsarkov
Copy link
Contributor

tsarkov commented Nov 29, 2017 via email

@hauschke
Copy link

Thanks for your help. Output of log.txt:

C:\Tools\Protege-5.2.0>setlocal

C:\Tools\Protege-5.2.0>cd /d C:\Tools\Protege-5.2.0\ 

C:\Tools\Protege-5.2.0>jre\bin\java -Xmx500M -Xms200M -Xss16M -XX:CompileCommand=exclude,javax/swing/text/GlyphView,getBreakSpot -DentityExpansionLimit=100000000 -Dlogback.configurationFile=conf/logback-win.xml -Dfile.encoding=utf-8 -Dorg.protege.plugin.dir=plugins -classpath bundles/guava.jar;bundles/logback-classic.jar;bundles/logback-core.jar;bundles/slf4j-api.jar;bin/org.apache.felix.main.jar;bin/maven-artifact.jar;bin/protege-launcher.jar org.protege.osgi.framework.Launcher  
CompilerOracle: exclude javax/swing/text/GlyphView.getBreakSpot
******************************************************************************** 
**                                  Protege                                   ** 
******************************************************************************** 
 
----------------- Initialising and Starting the OSGi Framework ----------------- 
FrameworkFactory Class: org.apache.felix.framework.FrameworkFactory 
 
The OSGi framework has been initialised 
Found duplicate plugin/bundle.  Using the latest version, swrltab-plugin-2.0.5.jar and ignoring the previous version, swrltab-plugin-1.0.3.jar. 
------------------------------- Starting Bundles ------------------------------- 
Starting bundle org.protege.common 
Starting bundle org.eclipse.equinox.common 
Starting bundle org.eclipse.equinox.supplement 
Starting bundle org.eclipse.equinox.registry 
Starting bundle org.protege.editor.core.application 
Starting bundle org.apache.commons.io 
Starting bundle com.google.guava 
Not starting bundle com.google.inject.assistedinject explicitly because it is a fragment bundle. 
Not starting bundle com.google.inject.multibindings explicitly because it is a fragment bundle. 
Starting bundle com.google.inject 
Starting bundle org.jsr-305 
Starting bundle jul.to.slf4j 
Starting bundle log4j.over.slf4j 
Starting bundle ch.qos.logback.classic 
Starting bundle ch.qos.logback.core 
Starting bundle org.apache.servicemix.bundles.aopalliance 
Starting bundle org.apache.servicemix.bundles.javax-inject 
Starting bundle org.eclipse.equinox.common 
Starting bundle org.eclipse.equinox.registry 
Starting bundle org.eclipse.equinox.supplement 
Starting bundle org.semanticweb.owl.owlapi 
Starting bundle org.protege.common 
Starting bundle org.protege.editor.core.application 
Starting bundle org.protege.editor.owl 
Starting bundle slf4j.api 
Starting bundle cellfie 
Starting bundle code-generation 
Starting bundle csv-export-plugin 
Starting bundle cz.cvut.kbss.owlhierarchy 
Starting bundle de.tu-dresden.inf.lat.jcel 
Starting bundle existentialquery 
Starting bundle uk.ac.manchester.cs.owl.explanation 
Starting bundle it.unibz.inf.ontop.protege 
Starting bundle oaf-protege 
Starting bundle org.protege.ontograf 
Starting bundle org.coode.dlquery 
Starting bundle org.exquisite.protege 
Starting bundle org.odase.protege.plugin.individualPropertiesContextualAssertions 
Starting bundle org.odase.protege.propertiesInDomainClass 
Starting bundle org.protege.editor.owl.rdf 
Starting bundle org.protege.oboeditor 
Starting bundle org.protege.owl.rdf 
Starting bundle org.semanticweb.hermit 
Starting bundle org.coode.browser 
Starting bundle org.coode.owlviz 
Starting bundle ROWL 
Starting bundle snap-sparql-query-plugin 
Starting bundle swrltab-plugin 
Starting bundle uk.ac.manchester.cs.owl.factplusplus 
Starting bundle com.clarkparsia.protege.plugin.pellet 
Starting bundle org.coode.change 
Starting bundle org.coode.matrix 
Starting bundle org.protege.editor.owl.diff 
Starting bundle org.semanticweb.elk 
Starting bundle OWLAx 
The OSGi framework has been started 
 
------------------------------------ Protege ----------------------------------- 
Protege Desktop 
Version 5.2.0, Build  
 
 
----------------------------------- Platform ----------------------------------- 
Java: JVM 1.8.0_40-b26  Memory: 466M 
Language: de, Country: DE 
Framework: Apache Software Foundation (1.7)  
OS: windows8 (6.3) 
Processor: x86-64
 
 
------------------------------------ Plugins ----------------------------------- 
Plugin: Cellfie Protege 5.0+ Plugin (2.1.0) 
Plugin: OWL Code Generation Plug-in (2.0.0) 
Plugin: CSV Export Plugin (1.0.0) 
Plugin: OWL Hierarchy Protege Plugin (0.1.0) 
Plugin: jcel (0.24.0) 
Plugin: Existential Query (2.0.0) 
Plugin: Explanation Workbench (3.0.0) 
Plugin: Ontop OBDA Protégé plugin (1.18.1) 
Plugin: OAF Protege Plugin (1.0.0) 
Plugin: OntoGraf (2.0.3) 
Plugin: DL Query (4.0.1) 
Plugin: Ontology Debugger (0.1.4.BETA) 
Plugin: Individual Properties Contextual Assertions (1.0.1) 
Plugin: Properties in the Domain Class View (1.0.1) 
Plugin: SPARQL Query Plugin (2.0.2) 
Plugin: OBO Annotations Editor (0.4.0) 
Plugin: OWLAPI RDF Library (2.0.3) 
Plugin: HermiT (1.3.8.413) 
Plugin: Browser View (OWLDoc) (3.0.3) 
Plugin: OWLViz (5.0.3) 
Plugin: ROWL Protege 5.0+ Plugin (1.6.0) 
Plugin: snap-sparql-query-plugin (5.0.1) 
Plugin: SWRLTab Protege 5.0+ Plugin (2.0.5) 
Plugin: Factplusplus Plug-in (1.6.5) 
Plugin: Pellet Reasoner Plug-in (2.2.0) 
Plugin: Change Tracker (2.0.2) 
Plugin: matrix (4.0.0) 
Plugin: OWL Difference (6.0.2) 
Plugin: ELK Reasoner Protege Plug-in (0.4.3) 
Plugin: OWLAx Protege 5.0+ Plugin (1.1.0) 
 
Creating and setting up empty (default) editor kit 
OWL API Version: 4.2.8.20170104-2310 
Loading default configuration parameters for class org.semanticweb.elk.reasoner.config.ReasonerConfiguration 
Cannot generate ontology catalog for ontology at http://www.semanticweb.org/$USER/ontologies/2017/10/untitled-ontology-7 
-------------------------- Generated Diagnosis Model --------------------------- 
Ontology: OntologyID(OntologyIRI(<http://www.semanticweb.org/$USER/ontologies/2017/10/untitled-ontology-7>) VersionIRI(<null>)) 
Generated in 0 ms 
0 Possibly Faulty Formulas 
0 Correct Formulas 
0 Entailed Examples 
0 Not-Entailed Examples 
-------------------------------------------------------------------------------- 
---------------------------- Disposing of Workspace ---------------------------- 
Saved tab state for 'Active Ontology' tab 
Saved tab state for 'Individual Hierarchy Tab' tab 
Saved tab state for 'Entities' tab 
Saved tab state for 'DL Query' tab 
Saved tab state for 'Individuals by class' tab 
Saved workspace 
Disposed of 'Active Ontology' tab 
Disposed of 'Individual Hierarchy Tab' tab 
Disposed of 'Entities' tab 
Disposed of 'DL Query' tab 
Disposed of 'Individuals by class' tab 
Disposed of workspace 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.renderer.menu.RenderByProperty$$Lambda$60/654717322 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.renderer.menu.RenderByProperty.initialise(RenderByProperty.java:82) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildDynamicMenu(MenuBuilder.java:146) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:110) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.action.RemoveAllDisjointAxiomsAction$$Lambda$57/670172853 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.action.RemoveAllDisjointAxiomsAction.initialise(RemoveAllDisjointAxiomsAction.java:72) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu$$Lambda$59/537240543 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu.initialise(AbstractByRendererMenu.java:34) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu$$Lambda$59/537240543 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu.initialise(AbstractByRendererMenu.java:34) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction$$Lambda$61/1879227908 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction.initialise(AbstractOntologySelectionStrategyAction.java:47) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu$$Lambda$59/537240543 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.renderer.menu.AbstractByRendererMenu.initialise(AbstractByRendererMenu.java:34) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction$$Lambda$61/1879227908 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction.initialise(AbstractOntologySelectionStrategyAction.java:47) 
          org.protege.editor.owl.ui.action.ImportsClosureOntologyStrategyAction.initialise(ImportsClosureOntologyStrategyAction.java:27) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
*** WARNING BADLY BEHAVING LISTENER: org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction$$Lambda$61/1879227908 *** 
    Possible culprit (trace from when listener was added):  
          org.protege.editor.owl.ui.action.AbstractOntologySelectionStrategyAction.initialise(AbstractOntologySelectionStrategyAction.java:47) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:169) 
          org.protege.editor.core.ui.menu.MenuActionPluginJPFImpl.newInstance(MenuActionPluginJPFImpl.java:31) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildInnerMenu(MenuBuilder.java:159) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:114) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildCompositeMenu(MenuBuilder.java:135) 
          org.protege.editor.core.ui.menu.MenuBuilder.addMenu(MenuBuilder.java:106) 
          org.protege.editor.core.ui.menu.MenuBuilder.buildMenu(MenuBuilder.java:64) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createMenuBar(WorkspaceFrame.java:165) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:137) 
          org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) 
          org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) 
          org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) 
          org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) 
          org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) 
          org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) 
          org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) 
          org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) 
          org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) 
          org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) 
          org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) 
          org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) 
          org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) 
          org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) 
          java.lang.Thread.run(Thread.java:745) 
    (Listeners should be removed in the plugin dispose method!) 
 
An error was thrown: java.lang.UnsatisfiedLinkError: C:\Users\$USER\AppData\Local\Temp\ProtegeCache-f6a46058-34d8-467c-a1bf-51d43a7b3324\bundle44\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries 
org.semanticweb.owlapi.model.OWLRuntimeException: java.lang.UnsatisfiedLinkError: C:\Users\$USER\AppData\Local\Temp\ProtegeCache-f6a46058-34d8-467c-a1bf-51d43a7b3324\bundle44\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
	at uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory.getReasonerFactory(FaCTPlusPlusFactory.java:84) ~[na:na]
	at org.protege.editor.owl.model.inference.ReasonerInfoComparator.compare(ReasonerInfoComparator.java:9) ~[na:na]
	at org.protege.editor.owl.model.inference.ReasonerInfoComparator.compare(ReasonerInfoComparator.java:5) ~[na:na]
	at java.util.TimSort.binarySort(TimSort.java:292) ~[na:1.8.0_40]
	at java.util.TimSort.sort(TimSort.java:217) ~[na:1.8.0_40]
	at java.util.Arrays.sort(Arrays.java:1512) ~[na:1.8.0_40]
	at java.util.ArrayList.sort(ArrayList.java:1454) ~[na:1.8.0_40]
	at java.util.Collections.sort(Collections.java:175) ~[na:1.8.0_40]
	at org.protege.editor.owl.model.OWLWorkspace.rebuildReasonerMenu(OWLWorkspace.java:565) ~[na:na]
	at org.protege.editor.owl.model.OWLWorkspace.initialiseExtraMenuItems(OWLWorkspace.java:431) ~[na:na]
	at org.protege.editor.core.ui.workspace.WorkspaceFrame.createUI(WorkspaceFrame.java:141) ~[protege-editor-core.jar:na]
	at org.protege.editor.core.ui.workspace.WorkspaceFrame.<init>(WorkspaceFrame.java:55) ~[protege-editor-core.jar:na]
	at org.protege.editor.core.ui.workspace.WorkspaceManager.addWorkspace(WorkspaceManager.java:47) ~[protege-editor-core.jar:na]
	at org.protege.editor.core.editorkit.EditorKitManager.addEditorKit(EditorKitManager.java:44) ~[protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:139) ~[protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeManager.createAndSetupNewEditorKit(ProtegeManager.java:129) ~[protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeApplication.createAndSetupDefaultEditorKit(ProtegeApplication.java:488) [protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeApplication.startApplication(ProtegeApplication.java:432) [protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeApplication.reallyStart(ProtegeApplication.java:109) [protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeApplication.lambda$start$12(ProtegeApplication.java:90) [protege-editor-core.jar:na]
	at org.protege.editor.core.ProtegeApplication$$Lambda$24/584171306.frameworkEvent(Unknown Source) [protege-editor-core.jar:na]
	at org.apache.felix.framework.util.EventDispatcher.invokeFrameworkListenerCallback(EventDispatcher.java:836) [org.apache.felix.main.jar:na]
	at org.apache.felix.framework.util.EventDispatcher.fireEventImmediately(EventDispatcher.java:786) [org.apache.felix.main.jar:na]
	at org.apache.felix.framework.util.EventDispatcher.run(EventDispatcher.java:1099) [org.apache.felix.main.jar:na]
	at org.apache.felix.framework.util.EventDispatcher.access$000(EventDispatcher.java:55) [org.apache.felix.main.jar:na]
	at org.apache.felix.framework.util.EventDispatcher$1.run(EventDispatcher.java:102) [org.apache.felix.main.jar:na]
	at java.lang.Thread.run(Thread.java:745) [na:1.8.0_40]
Caused by: java.lang.UnsatisfiedLinkError: C:\Users\$USER\AppData\Local\Temp\ProtegeCache-f6a46058-34d8-467c-a1bf-51d43a7b3324\bundle44\version0.0\bundle.jar-lib\0\lib\native\64bit\FaCTPlusPlusJNI.dll: Can't find dependent libraries
	at java.lang.ClassLoader$NativeLibrary.load(Native Method) ~[na:1.8.0_40]
	at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1937) ~[na:1.8.0_40]
	at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1835) ~[na:1.8.0_40]
	at java.lang.Runtime.loadLibrary0(Runtime.java:870) ~[na:1.8.0_40]
	at java.lang.System.loadLibrary(System.java:1122) ~[na:1.8.0_40]
	at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.<clinit>(FaCTPlusPlus.java:19) ~[na:na]
	at uk.ac.manchester.cs.factplusplus.protege.FaCTPlusPlusFactory.getReasonerFactory(FaCTPlusPlusFactory.java:75) ~[na:na]
	... 26 common frames omitted
------------------------------- Auto-update Check ------------------------------ 
Auto-update last performed: Wed Nov 22 11:22:48 CET 2017 
Auto-update has not been performed today.  Running it. 
 
------------------------------ Running Auto-update ----------------------------- 
 
--- Searching for plugins --- 
Checking https://raw.githubusercontent.com/protegeproject/autoupdate/master/update-info/5.0.0/plugins.repository 
    Processing https://raw.githubusercontent.com/protegeproject/autoupdate/master/update-info/5.0.0/plugins.repository as a plugin registry 
        Checking https://raw.githubusercontent.com/protegeproject/cellfie-plugin/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/co-ode-owl-plugins/change-tracker/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/csv-export-plugin/master/src/main/resources/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/dlquery/master/update-info/protege-5/update.properties 
        Checking http://elk.semanticweb.org/maven/latest/elk-distribution/resources/p5.update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/existentialquery/master/update-info/protege-5/update.properties 
        Checking https://bitbucket.org/dtsarkov/factplusplus/downloads/config.autoupdate.Protege-5.0.txt 
        Checking https://raw.githubusercontent.com/julianmendez/jcel/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/co-ode-owl-plugins/matrix/master/etc/update.matrix.properties 
        Checking https://raw.githubusercontent.com/protegeproject/ontograf/master/update-info/protege-5/update.properties 
        Checking http://isbi.aau.at/ontodebug/update.properties 
        Checking https://kbss.felk.cvut.cz/tools/owlhierarchy/update.properties 
        Checking https://github.com/ontop/ontop/raw/master/ontop-protege/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/rdf-library/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/owl-diff/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/co-ode-owl-plugins/owldoc/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/owlviz/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/plugins.repository 
            Processing https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/plugins.repository as a plugin registry 
                Checking https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/autoupdate/master/snap-sparql-query/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/sparql-query-plugin/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/protegeproject/swrltab-plugin/master/update-info/protege-5/update.properties 
        Checking https://raw.githubusercontent.com/md-k-sarker/OWLAx/master/update.properties 
        Checking https://raw.githubusercontent.com/md-k-sarker/ROWL/master/update.properties 
        Checking https://raw.githubusercontent.com/owlcollab/protege-obo-plugin/master/update.properties 
        Checking https://raw.githubusercontent.com/onor13/odase.protege.plugins.repository/master/odase.plugins.repository 
            Processing https://raw.githubusercontent.com/onor13/odase.protege.plugins.repository/master/odase.plugins.repository as a plugin registry 
                Checking https://raw.githubusercontent.com/onor13/odase.protege.plugin.propertiesInDomainClass/master/update.properties 
                Checking https://raw.githubusercontent.com/onor13/odase.protege.plugin.individualPropertiesContextualAssertions/master/update.properties 
        Checking https://raw.githubusercontent.com/NJITSABOC/oaf-protege/OAFSummarizationPlugin/update-info/protege-5/update.properties 
 
### Excluding compile: javax.swing.text.GlyphView::getBreakSpot
----------------------- Downloading and Installing Plugin ---------------------- 
Downloading the IndividualPropertiesContextualAssertions plugin (Version 1.0.1) 
Downloading the IndividualPropertiesContextualAssertions plugin from: https://github.com/onor13/odase.protege.plugin.individualPropertiesContextualAssertions/releases/download/v1.0.1/org.odase.protege.plugin.individualPropertiesContextualAssertions-1.0.1.jar 
The IndividualPropertiesContextualAssertions plugin has been downloaded to C:\Users\HAUSCH~1\AppData\Local\Temp\org.odase.protege.individualPropertiesContextualAssertions3365850100610589134.jar 
Copied the IndividualPropertiesContextualAssertions plugin to org.odase.protege.individualPropertiesContextualAssertions-1.0.1.jar in the plugins directory 
Installing the IndividualPropertiesContextualAssertions plugin 
The IndividualPropertiesContextualAssertions plugin requires a restart of Protégé (Reason: Bundle symbolic name and version are not unique: org.odase.protege.plugin.individualPropertiesContextualAssertions:1.0.1) 
 
----------------------- Downloading and Installing Plugin ---------------------- 
Downloading the Ontology Abstraction Framework (OAF) plugin (Version 1.1.0) 
Downloading the Ontology Abstraction Framework (OAF) plugin from: https://github.com/NJITSABOC/oaf-protege/releases/download/1.1.0-Beta/oaf-protege-1.1.0.jar 
The Ontology Abstraction Framework (OAF) plugin has been downloaded to C:\Users\HAUSCH~1\AppData\Local\Temp\oaf-protege5519244518966845255.jar 
Copied the Ontology Abstraction Framework (OAF) plugin to oaf-protege-1.1.0.jar in the plugins directory 
The Ontology Abstraction Framework (OAF) plugin requires a restart of Protégé 

@matthewhorridge matthewhorridge added the Status: Needs Triage Should be the default status for issues that have been acknowledged, but not yet processed. label Jan 15, 2019
@rwynne
Copy link

rwynne commented May 14, 2019

I was looking into a similar plugin issue.

I have Protege v5.5.0-beta7 installed. The default plugins.repository file is owned by protegeproject, and read at startup. Fact++ looks for its update instructions at config.autoupdate.Protege-5.0.

This file was last edited 12/31/16. The owner of the file has the download set to Fact++ 1.6.5 (uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.jar). I did my install with the auto-update menu. The Fact++ 1.6.5 reasons the latest SNOMED CT OWL2 EL++ in roughly 70 minutes.

The issue I'm seeing is, afterwards, it's seemingly not possible to select the classes tab drop-down of 'Asserted' to 'Inferred'. I see this with Elk, too, however the dialogues are fairly quick to prompt the user. With the reasoner on the stack, it takes a good while for Fact++ to dispose/destruct/GC. Didn't calculate the wait, but it was longer than 20 minutes.

(There is a git repo in the same directory of my OWL, so I'm unsure if all the '[GitRepo] Git repository detected:' messages have anything to do with a slowdown.)

------------------------------- Running Reasoner -------------------------------
FaCT++.Kernel: Reasoner for the SROIQ(D) Description Logic, 64-bit
Copyright (C) Dmitry Tsarkov, 2002-2016. Version 1.6.5 (31 December 2016)
Pre-computing inferences:
    - class hierarchy
    - class assertions
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
Ontologies processed in 4211990 ms by FaCT++
GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git
[GitRepo] On branch: master
[GitRepo] Git repository detected: C:\DataProjects\snomed-owl-toolkit\.git

@linforestzhang
Copy link

A working solution:
Installing the FaCT++ reasoner plugin for Protégé 5.5.0 on Windows
https://github.com/emmo-repo/EMMO/blob/master/doc/installing_factplusplus.md

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Status: Needs Triage Should be the default status for issues that have been acknowledged, but not yet processed.
Projects
None yet
Development

No branches or pull requests

7 participants