Selecting individual when Fact++ is switched on crashes P4 beta

classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Selecting individual when Fact++ is switched on crashes P4 beta

Rinke Hoekstra-4
Hi,

I was filing a possible bug to the Pellet mailinglist, and thought  
'why not check it first with Fact++'?

Well... Fact++ seemed to be showing the expected inferences, but  
crashes P4 beta when I select the individual called 's1' in [1].

It is repeatable.

There's nothing in the P4 logs, but my console says:

25-08-08 11:13:47 [0x0-0x75075].Protege[1121] FaCT++.Kernel: Reasoner  
for the SROIQ(D) Description Logic
25-08-08 11:13:47 [0x0-0x75075].Protege[1121] Copyright (C) Dmitry V.  
Tsarkov, 2002-2008. Version 1.1.12 (02 June 2008)
25-08-08 11:13:48 [0x0-0x75075].Protege[1121] /Users/drummond/Work/CO-
ODE/Code/FaCTPlusPlus/FaCTPlusPlus/Kernel/tSaveStack.h:57: failed  
assertion `this->last >= depth'
25-08-08 11:13:51 com.apple.launchd[107] ([0x0-0x75075].Protege[1121])  
Exited abnormally: Abort trap

Cheers,

        Rinke

[1] http://www.leibnizcenter.org/ontostore/process-example.owl

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------




_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Selecting individual when Fact++ is switched on crashes P4 beta

Nick Drummond
Hmm, seems ok on my mac.

What plugins/views do you have up and running when you select this individual?

Nick

On Mon, Aug 25, 2008 at 10:17 AM, Rinke Hoekstra <[hidden email]> wrote:
Hi,

I was filing a possible bug to the Pellet mailinglist, and thought
'why not check it first with Fact++'?

Well... Fact++ seemed to be showing the expected inferences, but
crashes P4 beta when I select the individual called 's1' in [1].

It is repeatable.

There's nothing in the P4 logs, but my console says:

25-08-08 11:13:47 [0x0-0x75075].Protege[1121] FaCT++.Kernel: Reasoner
for the SROIQ(D) Description Logic
25-08-08 11:13:47 [0x0-0x75075].Protege[1121] Copyright (C) Dmitry V.
Tsarkov, 2002-2008. Version 1.1.12 (02 June 2008)
25-08-08 11:13:48 [0x0-0x75075].Protege[1121] /Users/drummond/Work/CO-
ODE/Code/FaCTPlusPlus/FaCTPlusPlus/Kernel/tSaveStack.h:57: failed
assertion `this->last >= depth'
25-08-08 11:13:51 com.apple.launchd[107] ([0x0-0x75075].Protege[1121])
Exited abnormally: Abort trap

Cheers,

       Rinke

[1] http://www.leibnizcenter.org/ontostore/process-example.owl

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------




_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Selecting individual when Fact++ is switched on crashes P4 beta

Rinke Hoekstra-4
Odd.. I'm loading the ontology in a standard P4 beta distribution.  
Tabs are Active Ontology, Entities, Classes, Object Properties, Data  
Properties, Individuals, OWLViz, DL Query.

-Rinke



On 26 aug 2008, at 12:31, Nick Drummond wrote:

> Hmm, seems ok on my mac.
>
> What plugins/views do you have up and running when you select this  
> individual?
>
> Nick
>
> On Mon, Aug 25, 2008 at 10:17 AM, Rinke Hoekstra <[hidden email]>  
> wrote:
> Hi,
>
> I was filing a possible bug to the Pellet mailinglist, and thought
> 'why not check it first with Fact++'?
>
> Well... Fact++ seemed to be showing the expected inferences, but
> crashes P4 beta when I select the individual called 's1' in [1].
>
> It is repeatable.
>
> There's nothing in the P4 logs, but my console says:
>
> 25-08-08 11:13:47 [0x0-0x75075].Protege[1121] FaCT++.Kernel: Reasoner
> for the SROIQ(D) Description Logic
> 25-08-08 11:13:47 [0x0-0x75075].Protege[1121] Copyright (C) Dmitry V.
> Tsarkov, 2002-2008. Version 1.1.12 (02 June 2008)
> 25-08-08 11:13:48 [0x0-0x75075].Protege[1121] /Users/drummond/Work/CO-
> ODE/Code/FaCTPlusPlus/FaCTPlusPlus/Kernel/tSaveStack.h:57: failed
> assertion `this->last >= depth'
> 25-08-08 11:13:51 com.apple.launchd[107] ([0x0-0x75075].Protege[1121])
> Exited abnormally: Abort trap
>
> Cheers,
>
>        Rinke
>
> [1] http://www.leibnizcenter.org/ontostore/process-example.owl
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: [hidden email]    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------




_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Selecting individual when Fact++ is switched on crashes P4 beta

Rinke Hoekstra-4
BTW I'm running P4 beta, build 100, under Leopard, MBP 1.83Ghz, Java  
1.5.0_13.

And it's Java that crashes, not P4 itself.

-Rinke


On 26 aug 2008, at 13:10, Rinke Hoekstra wrote:

> Odd.. I'm loading the ontology in a standard P4 beta distribution.
> Tabs are Active Ontology, Entities, Classes, Object Properties, Data
> Properties, Individuals, OWLViz, DL Query.
>
> -Rinke
>
>
>
> On 26 aug 2008, at 12:31, Nick Drummond wrote:
>
>> Hmm, seems ok on my mac.
>>
>> What plugins/views do you have up and running when you select this
>> individual?
>>
>> Nick
>>
>> On Mon, Aug 25, 2008 at 10:17 AM, Rinke Hoekstra <[hidden email]>
>> wrote:
>> Hi,
>>
>> I was filing a possible bug to the Pellet mailinglist, and thought
>> 'why not check it first with Fact++'?
>>
>> Well... Fact++ seemed to be showing the expected inferences, but
>> crashes P4 beta when I select the individual called 's1' in [1].
>>
>> It is repeatable.
>>
>> There's nothing in the P4 logs, but my console says:
>>
>> 25-08-08 11:13:47 [0x0-0x75075].Protege[1121] FaCT++.Kernel: Reasoner
>> for the SROIQ(D) Description Logic
>> 25-08-08 11:13:47 [0x0-0x75075].Protege[1121] Copyright (C) Dmitry V.
>> Tsarkov, 2002-2008. Version 1.1.12 (02 June 2008)
>> 25-08-08 11:13:48 [0x0-0x75075].Protege[1121] /Users/drummond/Work/
>> CO-
>> ODE/Code/FaCTPlusPlus/FaCTPlusPlus/Kernel/tSaveStack.h:57: failed
>> assertion `this->last >= depth'
>> 25-08-08 11:13:51 com.apple.launchd[107]  
>> ([0x0-0x75075].Protege[1121])
>> Exited abnormally: Abort trap
>>
>> Cheers,
>>
>>       Rinke
>>
>> [1] http://www.leibnizcenter.org/ontostore/process-example.owl
>>
>> -----------------------------------------------
>> Drs. Rinke Hoekstra
>>
>> Email: [hidden email]    Skype:  rinkehoekstra
>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>> Web:   http://www.leibnizcenter.org/users/rinke
>>
>> Leibniz Center for Law,          Faculty of Law
>> University of Amsterdam,            PO Box 1030
>> 1000 BA  Amsterdam,             The Netherlands
>> -----------------------------------------------
>>
>>
>>
>>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: [hidden email]    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------




_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback