<
philli...@newcastle.ac.uk> wrote:
>
>
> I've been trying all of this. It's worth mentioning that there is an
> OS
> dependency. Fact++ on linux crashes. On windows, it seems to 98% and
> has
> stuck there for a while.
>
> Pellet hangs at 1% on linux. Can't get it to do anything at all on
> windows.
>
> Conclusions? Erm, well, none I am afraid.
>
> Phil
>
> Alan Ruttenberg <
alanrut...@gmail.com> writes:
>> In my version of P4, with a fresh checked out version of obi
>>
>> svn co
https://obi.svn.sourceforge.net/svnroot/obi/trunk/src/
>> ontology obitest
>>
>> And opening branches/obil.owl (obi*l*) I don't get an
>> inconsistency. I
>> did get a reasoner error (bug) using fact++. I don't know if that's
>> intermittent or now.
>>
>> I am downloading fresh copies of protege and will try again.
>>
>> -Alan
>>
>> On Thu, Jul 2, 2009 at 9:34 AM, Alan Ruttenberg<
alanrut...@gmail.com
>> > wrote:
>>> No, that is correct. Both properties relate a planned process (the
>>> domain) to anything (the unspecified range).
>>>
>>> -Alan
>>>
>>> On Thu, Jul 2, 2009 at 9:32 AM, James Malone<
mal...@ebi.ac.uk>
>>> wrote:
>>>>
>>>> has_specified_input and output have same domain and range.
>>>> Surely that is
>>>> wrong? One should have domain of continuant and range of
>>>> processes and
>>>> other opposite. or have I got that wrong?
>>>>
>>>>
>>>>
>>>> Alan Ruttenberg wrote:
>>>>>
>>>>> I will look at it now.
>>>>> -Alan
>>>>>
>>>>> On Thu, Jul 2, 2009 at 8:54 AM, James Malone<
mal...@ebi.ac.uk>
>>>>> wrote:
>>>>>
>>>>>>
>>>>>> P4 also says inconsistent for me. I had a look and it wasn't
>>>>>> obvious
>>>>>> what
>>>>>> was wrong, the problem with these sorts of bugs are that when
>>>>>> everything
>>>>>> is
>>>>>> inconsistent it could be any of the relations, and possibly
>>>>>> just one, but
>>>>>> finding it is a real pain. At this point I'd be happy to
>>>>>> revert. I will
>>>>>> send an email once we're back in play reminding about reasoning
>>>>>> before
>>>>>> committing.
>>>>>>
>>>>>>
>>>>>>
>>>>>> Helen Parkinson wrote:
>>>>>>
>>>>>>>
>>>>>>> At this point is reverting to the last known good an option?
>>>>>>> Might be
>>>>>>> quicker than a fix.
>>>>>>>
>>>>>>> Alan Ruttenberg wrote:
>>>>>>>
>>>>>>>>
>>>>>>>> I don't have p3 installed atm. Can you try p4 and see if you
>>>>>>>> get the
>>>>>>>> same answer?
>>>>>>>> -Alan
>>>>>>>>
>>>>>>>> On Thu, Jul 2, 2009 at 5:04 AM, James
>>>>>>>> Malone<
mal...@ebi.ac.uk> wrote:
>>>>>>>>
>>>>>>>>
>>>>>>>>>
>>>>>>>>> Hi All,
>>>>>>>>>
>>>>>>>>> I have done a fresh check out of OBI onto both my desktop
>>>>>>>>> and laptop
>>>>>>>>> to
>>>>>>>>> double check and I am getting inconsistency errors with
>>>>>>>>> Pellet in
>>>>>>>>> Protege 3.4. Is anyone else still getting these errors?
>>>>>>>>>
>>>>>>>>> Cheers,
>>>>>>>>>
>>>>>>>>> James
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> --
>>>>>>>>> European Bioinformatics Institute,
>>>>>>>>> Wellcome Trust Genome Campus,
>>>>>>>>> Hinxton,
>>>>>>>>> Cambridge, CB10 1SD,
>>>>>>>>> United Kingdom
>>>>>>>>> Tel:
+ 44 (0) 1223 494 676
>>>>>>>>> Fax:
+ 44 (0) 1223 492 468
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> ---
>>>>>>>>> ---
>>>>>>>>> ---
>>>>>>>>> ---
>>>>>>>>> ---
>>>>>>>>> ---
>>>>>>>>> ------------------------------------------------------------
>>>>>>>>> _______________________________________________
>>>>>>>>> Obi-devel mailing list
>>>>>>>>>
Obi-...@lists.sourceforge.net
>>>>>>>>>
https://lists.sourceforge.net/lists/listinfo/obi-devel
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>> ---
>>>>>>>> ---
>>>>>>>> ---
>>>>>>>> ---
>>>>>>>> ---
>>>>>>>> ---------------------------------------------------------------
>>>>>>>> _______________________________________________
>>>>>>>> Obi-devel mailing list
>>>>>>>>
Obi-...@lists.sourceforge.net
>>>>>>>>
https://lists.sourceforge.net/lists/listinfo/obi-devel
>>>>>>>>
>>>>>>>>
>>>>>>
>>>>>> --
>>>>>> European Bioinformatics Institute, Wellcome Trust Genome
>>>>>> Campus, Hinxton,
>>>>>> Cambridge, CB10 1SD, United Kingdom
>>>>>> Tel:
+ 44 (0) 1223 494 676
>>>>>> Fax:
+ 44 (0) 1223 492 468
>>>>>>
>>>>>>
>>>>
>>>>
>>>> --
>>>> European Bioinformatics Institute, Wellcome Trust Genome Campus,
>>>> Hinxton,
>>>> Cambridge, CB10 1SD, United Kingdom
>>>> Tel:
+ 44 (0) 1223 494 676
>>>> Fax:
+ 44 (0) 1223 492 468
>>>>
>>>
>>
>> ---
>> ---
>> ---
>> ---------------------------------------------------------------------
>> _______________________________________________
>> Obi-devel mailing list
>>
Obi-...@lists.sourceforge.net
>>
https://lists.sourceforge.net/lists/listinfo/obi-devel
>>
>>
>
> --
> Phillip Lord, Phone:
+44 (0) 191 222 7827
> Lecturer in Bioinformatics, Email:
philli...@newcastle.ac.uk
> School of Computing Science,
http://homepages.cs.ncl.ac.uk/phillip.lord
> Room 914 Claremont Tower, skype: russet_apples
> Newcastle University, msn:
m...@russet.org.uk
> NE1 7RU
------------------------------------------------------------------------------
_______________________________________________
Obi-devel mailing list
Obi-...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/obi-devel