Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] java.lang.UnsatisfiedLinkError: askDataProperties

reinhard schwab reinhard.schwab at aon.at
Thu Apr 9 13:24:22 PDT 2009


yes, it is a 64 bit linux box.

the version numbering is confusing me.

uk.ac.manchester.cs.owl.factplusplus-v1.2.3.jar

./META-INF/MANIFEST.MF:Bundle-Version: 1.2.0

you claim it to be 1.2.2

and

reinhard at thord:>grep -R "1.2.3" .
Übereinstimmungen in Binärdatei
./lib/native/64bit/libFaCTPlusPlusJNI.jnilib.
Übereinstimmungen in Binärdatei ./lib/native/64bit/FaCTPlusPlusJNI.dll.
Übereinstimmungen in Binärdatei
./lib/native/32bit/libFaCTPlusPlusJNI.jnilib.
Übereinstimmungen in Binärdatei ./lib/native/32bit/libFaCTPlusPlusJNI.so.
Übereinstimmungen in Binärdatei ./lib/native/32bit/FaCTPlusPlusJNI.dll.
reinhard at thord:>grep -R "1.2.0" .
Übereinstimmungen in Binärdatei ./lib/native/64bit/libFaCTPlusPlusJNI.so.
Übereinstimmungen in Binärdatei ./lib/native/32bit/libFaCTPlusPlusJNI.so.
./META-INF/MANIFEST.MF:Bundle-Version: 1.2.0
reinhard at thord:>grep -R "1.2.2" .
Übereinstimmungen in Binärdatei ./lib/native/32bit/FaCTPlusPlusJNI.dll.
reinhard at thord:>grep -R "1.2.1" .

if i can help in testing, please let me know.

reinhard

Nick Drummond schrieb:
> Aha,
>
> Just spotted you are on a 64bit linux machine.
> Unfortunately, FaCT++ binaries for 64bit linux are a bit behind the
> rest of the platforms - the author has no convenient build environment
> for them.
>
> I will let the developer know (he is away for a few days over Easter
> so it will be next wekk I'm afraid).
>
> Nick
>
>
> 2009/4/9 reinhard schwab <reinhard.schwab at aon.at
> <mailto:reinhard.schwab at aon.at>>
>
>     hi nick,
>
>     i have these jars in my plugins folder
>
>     reinhard at thord:>ls -l Protege_4.0_beta_109/plugins/
>     insgesamt 8000
>     -rw-r--r-- 1 reinhard users 1263731 27. Feb 17:51 com.owldl.pellet.jar
>     -rw-r--r-- 1 reinhard users   22854  4. Apr 12:25
>     de.tubs.cs.ifis.owlpropviz.jar
>     -rw-r--r-- 1 reinhard users   24506 27. Feb 17:51
>     org.coode.dlquery.jar
>     -rw-r--r-- 1 reinhard users  294971 27. Feb 17:51 org.coode.owlviz.jar
>     -rw-r--r-- 1 reinhard users 1548880 27. Feb 17:51
>     org.protege.editor.owl.jar
>     -rw-r--r-- 1 reinhard users 1653322 27. Feb 17:51
>     org.semanticweb.owl.owlapi.jar
>     -rw-r--r-- 1 reinhard users 3347514  3. Apr 22:06
>     uk.ac.manchester.cs.owl.factplusplus-v1.2.3.jar
>
>     i have only renamed the Protege directory,  added the build version,
>     when i have installed it.
>     nothing changed else.
>     i have other versions of Protege too
>
>     diplomarbeit-wachsmann.pdf  Protege_4.0_beta_109
>     Protege_3.2                 Protege_4.0_svn
>     Protege_3.2_src             protege_plugin_for_ontology_extraction.pdf
>     Protege_3.3.1               protege_plugin_for_ontology_extraction.txt
>     Protege_3.3.1_src           protege_problem1.pro
>     <http://protege_problem1.pro>
>     Protege_3.4_beta            protege-src-3.3.1.zip
>     Protege_3.4_beta_src        protege-src-3.4.zip
>     Protege_4.0_alpha           tmp
>
>
>     reinhard
>
>     Nick Drummond schrieb:
>     > Hi Reinhard,
>     >
>     > Have you accidentally replaced the fact++ plugin in your p4
>     > installation with an old version?
>     > The one that comes bundled is Version 1.2.2 (14 January 2009) - your
>     > trace is reporting 1.2.0.
>     > An old version would cause this issue.
>     >
>     > Nick
>     >
>     > 2009/4/9 reinhard schwab <reinhard.schwab at aon.at
>     <mailto:reinhard.schwab at aon.at>
>     > <mailto:reinhard.schwab at aon.at <mailto:reinhard.schwab at aon.at>>>
>     >
>     >     hi,
>     >
>     >     i get this error with Protege_4.0_beta_109.
>     >     i'm using Fact++ as reasoner.
>     >     when i open the individuals view, and click on an
>     individual, the
>     >     stacktrace
>     >     of this error is printed to the console.
>     >
>     >     here is the full log
>     >
>     >     reinhard at thord:>sh run.sh
>     >     Starting Protege 4 OWL Editor (Version 4.0.109)
>     >     Platform:
>     >        Java: JVM 1.5.0_17-b04 Memory: 1216M
>     >        Language: de, Country: DE
>     >        Framework: Eclipse (1.4.0)
>     >        OS: Linux (2.6.27.19-3.2-default)
>     >        Processor: amd64
>     >     Installed plugin OWLPropViz Plug-in
>     >     Installed plugin Factplusplus Plug-in
>     >     Installed plugin The OWL API
>     >     Installed plugin DL Query Tab
>     >     Installed plugin owleditor
>     >     Installed plugin Owlviz Plug-in
>     >     Installed plugin Pellet Reasoner
>     >     Using OWL API version 2.2.1.1042
>     >     Rebuilding entity indices...
>     >     ... rebuilt in 10 ms
>     >     loading file:///home/reinhard/ontology/owl/rpm.owl from
>     >     file:/home/reinhard/ontology/owl/rpm.owl
>     >     Setting active ontology to
>     file:/home/reinhard/ontology/owl/rpm.owl
>     >     Rebuilding entity indices...
>     >     ... rebuilt in 22 ms
>     >     ... active ontology changed
>     >     FaCT++.Kernel: Reasoner for the SROIQ(D) Description Logic
>     >     Copyright (C) Dmitry V. Tsarkov, 2002-2008. Version 1.2.0 (25
>     >     September
>     >     2008)
>     >     FaCT++ classified in 40ms
>     >     Error logged
>     >     java.lang.UnsatisfiedLinkError: askDataProperties
>     >            at
>     >    
>     uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.askDataProperties(Native
>     >     Method)
>     >            at
>     >    
>     uk.ac.manchester.cs.factplusplus.owlapi.Reasoner.getDataPropertyRelationships(Reasoner.java:479)
>     >            at
>     >    
>     org.semanticweb.owl.util.OWLReasonerMediator.getDataPropertyRelationships(OWLReasonerMediator.java:413)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.OWLDataPropertyAssertionAxiomFrameSection.refillInferred(OWLDataPropertyAssertionAxiomFrameSection.java:58)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.AbstractOWLFrameSection.setRootObject(AbstractOWLFrameSection.java:206)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.AbstractOWLFrame.refill(AbstractOWLFrame.java:94)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.AbstractOWLFrame.setRootObject(AbstractOWLFrame.java:86)
>     >            at
>     >    
>     org.protege.editor.owl.ui.framelist.OWLFrameList2.setRootObject(OWLFrameList2.java:304)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.OWLIndividualPropertyAssertionsViewComponent.updateView(OWLIndividualPropertyAssertionsViewComponent.java:41)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLIndividualViewComponent.updateView(AbstractOWLIndividualViewComponent.java:34)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLIndividualViewComponent.updateView(AbstractOWLIndividualViewComponent.java:16)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLSelectionViewComponent.updateViewContentAndHeader(AbstractOWLSelectionViewComponent.java:189)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLSelectionViewComponent$1.selectionChanged(AbstractOWLSelectionViewComponent.java:67)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.fireSelectionChanged(OWLSelectionModelImpl.java:100)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.updateSelectedObject(OWLSelectionModelImpl.java:88)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.setSelectedObject(OWLSelectionModelImpl.java:76)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.setSelectedEntity(OWLSelectionModelImpl.java:111)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLSelectionViewComponent.setSelectedEntity(AbstractOWLSelectionViewComponent.java:122)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.OWLIndividualListViewComponent$1.valueChanged(OWLIndividualListViewComponent.java:58)
>     >            at
>     javax.swing.JList.fireSelectionValueChanged(JList.java:1317)
>     >            at
>     >    
>     javax.swing.JList$ListSelectionHandler.valueChanged(JList.java:1331)
>     >            at
>     >    
>     javax.swing.DefaultListSelectionModel.fireValueChanged(DefaultListSelectionModel.java:187)
>     >            at
>     >    
>     javax.swing.DefaultListSelectionModel.fireValueChanged(DefaultListSelectionModel.java:157)
>     >            at
>     >    
>     javax.swing.DefaultListSelectionModel.setValueIsAdjusting(DefaultListSelectionModel.java:619)
>     >            at javax.swing.JList.setValueIsAdjusting(JList.java:1671)
>     >            at
>     >    
>     javax.swing.plaf.basic.BasicListUI$Handler.mouseReleased(BasicListUI.java:2363)
>     >            at
>     >    
>     java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:232)
>     >            at
>     >    
>     java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:231)
>     >            at
>     >    
>     java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:231)
>     >            at
>     java.awt.Component.processMouseEvent(Component.java:5517)
>     >            at
>     >     javax.swing.JComponent.processMouseEvent(JComponent.java:3135)
>     >            at java.awt.Component.processEvent(Component.java:5282)
>     >            at java.awt.Container.processEvent(Container.java:1966)
>     >            at
>     java.awt.Component.dispatchEventImpl(Component.java:3984)
>     >            at
>     java.awt.Container.dispatchEventImpl(Container.java:2024)
>     >            at java.awt.Component.dispatchEvent(Component.java:3819)
>     >            at
>     >    
>     java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4212)
>     >            at
>     >    
>     java.awt.LightweightDispatcher.processMouseEvent(Container.java:3892)
>     >            at
>     >    
>     java.awt.LightweightDispatcher.dispatchEvent(Container.java:3822)
>     >            at
>     java.awt.Container.dispatchEventImpl(Container.java:2010)
>     >            at java.awt.Window.dispatchEventImpl(Window.java:1791)
>     >            at java.awt.Component.dispatchEvent(Component.java:3819)
>     >            at java.awt.EventQueue.dispatchEvent(EventQueue.java:463)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
>     >            at
>     >     java.awt.EventDispatchThread.run(EventDispatchThread.java:110)
>     >     Uncaught Exception in thread AWT-EventQueue-0
>     >     java.lang.UnsatisfiedLinkError: askDataProperties
>     >            at
>     >    
>     uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.askDataProperties(Native
>     >     Method)
>     >            at
>     >    
>     uk.ac.manchester.cs.factplusplus.owlapi.Reasoner.getDataPropertyRelationships(Reasoner.java:479)
>     >            at
>     >    
>     org.semanticweb.owl.util.OWLReasonerMediator.getDataPropertyRelationships(OWLReasonerMediator.java:413)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.OWLDataPropertyAssertionAxiomFrameSection.refillInferred(OWLDataPropertyAssertionAxiomFrameSection.java:58)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.AbstractOWLFrameSection.setRootObject(AbstractOWLFrameSection.java:206)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.AbstractOWLFrame.refill(AbstractOWLFrame.java:94)
>     >            at
>     >    
>     org.protege.editor.owl.ui.frame.AbstractOWLFrame.setRootObject(AbstractOWLFrame.java:86)
>     >            at
>     >    
>     org.protege.editor.owl.ui.framelist.OWLFrameList2.setRootObject(OWLFrameList2.java:304)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.OWLIndividualPropertyAssertionsViewComponent.updateView(OWLIndividualPropertyAssertionsViewComponent.java:41)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLIndividualViewComponent.updateView(AbstractOWLIndividualViewComponent.java:34)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLIndividualViewComponent.updateView(AbstractOWLIndividualViewComponent.java:16)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLSelectionViewComponent.updateViewContentAndHeader(AbstractOWLSelectionViewComponent.java:189)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLSelectionViewComponent$1.selectionChanged(AbstractOWLSelectionViewComponent.java:67)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.fireSelectionChanged(OWLSelectionModelImpl.java:100)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.updateSelectedObject(OWLSelectionModelImpl.java:88)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.setSelectedObject(OWLSelectionModelImpl.java:76)
>     >            at
>     >    
>     org.protege.editor.owl.model.selection.OWLSelectionModelImpl.setSelectedEntity(OWLSelectionModelImpl.java:111)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.AbstractOWLSelectionViewComponent.setSelectedEntity(AbstractOWLSelectionViewComponent.java:122)
>     >            at
>     >    
>     org.protege.editor.owl.ui.view.OWLIndividualListViewComponent$1.valueChanged(OWLIndividualListViewComponent.java:58)
>     >            at
>     javax.swing.JList.fireSelectionValueChanged(JList.java:1317)
>     >            at
>     >    
>     javax.swing.JList$ListSelectionHandler.valueChanged(JList.java:1331)
>     >            at
>     >    
>     javax.swing.DefaultListSelectionModel.fireValueChanged(DefaultListSelectionModel.java:187)
>     >            at
>     >    
>     javax.swing.DefaultListSelectionModel.fireValueChanged(DefaultListSelectionModel.java:157)
>     >            at
>     >    
>     javax.swing.DefaultListSelectionModel.setValueIsAdjusting(DefaultListSelectionModel.java:619)
>     >            at javax.swing.JList.setValueIsAdjusting(JList.java:1671)
>     >            at
>     >    
>     javax.swing.plaf.basic.BasicListUI$Handler.mouseReleased(BasicListUI.java:2363)
>     >            at
>     >    
>     java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:232)
>     >            at
>     >    
>     java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:231)
>     >            at
>     >    
>     java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:231)
>     >            at
>     java.awt.Component.processMouseEvent(Component.java:5517)
>     >            at
>     >     javax.swing.JComponent.processMouseEvent(JComponent.java:3135)
>     >            at java.awt.Component.processEvent(Component.java:5282)
>     >            at java.awt.Container.processEvent(Container.java:1966)
>     >            at
>     java.awt.Component.dispatchEventImpl(Component.java:3984)
>     >            at
>     java.awt.Container.dispatchEventImpl(Container.java:2024)
>     >            at java.awt.Component.dispatchEvent(Component.java:3819)
>     >            at
>     >    
>     java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4212)
>     >            at
>     >    
>     java.awt.LightweightDispatcher.processMouseEvent(Container.java:3892)
>     >            at
>     >    
>     java.awt.LightweightDispatcher.dispatchEvent(Container.java:3822)
>     >            at
>     java.awt.Container.dispatchEventImpl(Container.java:2010)
>     >            at java.awt.Window.dispatchEventImpl(Window.java:1791)
>     >            at java.awt.Component.dispatchEvent(Component.java:3819)
>     >            at java.awt.EventQueue.dispatchEvent(EventQueue.java:463)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
>     >            at
>     >    
>     java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
>     >            at
>     >     java.awt.EventDispatchThread.run(EventDispatchThread.java:110)
>     >
>     >
>     >
>     >     regards
>     >     reinhard
>     >     _______________________________________________
>     >     p4-feedback mailing list
>     >     p4-feedback at lists.stanford.edu
>     <mailto:p4-feedback at lists.stanford.edu>
>     <mailto:p4-feedback at lists.stanford.edu
>     <mailto:p4-feedback at lists.stanford.edu>>
>     >     https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>     >
>     >
>     >
>     ------------------------------------------------------------------------
>     >
>     > _______________________________________________
>     > p4-feedback mailing list
>     > p4-feedback at lists.stanford.edu
>     <mailto:p4-feedback at lists.stanford.edu>
>     > https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>     >
>
>     _______________________________________________
>     p4-feedback mailing list
>     p4-feedback at lists.stanford.edu <mailto:p4-feedback at lists.stanford.edu>
>     https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>   




More information about the p4-feedback mailing list