From luecke at informatik.uni-bremen.de Wed Jul 7 10:18:04 2010 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Wed, 07 Jul 2010 10:18:04 +0200 Subject: [Hets-devel] [Hets] #815: Ubuntu package Hets-Ontology In-Reply-To: <053.812581b0cc5f8b07f8474b7e2ca6317d@informatik.uni-bremen.de> References: <044.2a4ac7198e45084083869f5322bfee78@informatik.uni-bremen.de> <053.812581b0cc5f8b07f8474b7e2ca6317d@informatik.uni-bremen.de> Message-ID: <1278490684.21075.7.camel@feuerbach> Hey there, I consider the approach of putting Fact into a separate package more natural, since it is not a mandatory part of Hets. In fact, "make initiablize_java" is rather for convenience. It just calls "ant" for some targets in the OWL/java directory. I suggest to create a package "Fact" that contains the Fact-Prover and Consistency checker. It depends on the OWL-Api and OWL2Aterm (at least in the sense of java-speak). Woops, the pellet-people are releasing faster than you can keep track of the releases recently. Try out and take the latest stable release... If possible. Cheers, Dominik On Tue, 2010-07-06 at 21:08 +0000, Hets wrote: > #815: Ubuntu package Hets-Ontology > -----------------------+---------------------------------------------------- > Reporter: till | Owner: cprodescu > Type: task | Status: new > Priority: critical | Milestone: 0.97 > Component: hets | Version: 0.93 > Resolution: | Keywords: > -----------------------+---------------------------------------------------- > > Comment(by cprodescu): > > A few questions: > > For Fact++ I noticed it can be installed by make initialize_java in hets- > core. Should I still break it from there and create a separate package > with FactProver? > > For Pellet, what version should I use? The last one is 2.2.0 but it is > released on July 6th 2010... The stable version seems to be 2.1.1 > (released May 3rd 2010) > -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x766B1F6B From luecke at informatik.uni-bremen.de Wed Jul 7 10:20:52 2010 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Wed, 07 Jul 2010 10:20:52 +0200 Subject: [Hets-devel] [Hets] #815: Ubuntu package Hets-Ontology In-Reply-To: <053.b3599d01526809242e204d15f00af676@informatik.uni-bremen.de> References: <044.2a4ac7198e45084083869f5322bfee78@informatik.uni-bremen.de> <053.b3599d01526809242e204d15f00af676@informatik.uni-bremen.de> Message-ID: <1278490852.21075.8.camel@feuerbach> Ok, just installing Fact is not possible with our packages, since we just use the JNI interface of Fact++ without the executables. On Wed, 2010-07-07 at 08:14 +0000, Hets wrote: > #815: Ubuntu package Hets-Ontology > -----------------------+---------------------------------------------------- > Reporter: till | Owner: cprodescu > Type: task | Status: new > Priority: critical | Milestone: 0.97 > Component: hets | Version: 0.93 > Resolution: | Keywords: > -----------------------+---------------------------------------------------- > > Comment(by till): > > Replying to [comment:2 cprodescu]: > > A few questions: > > > > For Fact++ I noticed it can be installed by make initialize_java in > hets-core. Should I still break it from there and create a separate > package with FactProver? > > I think it is cleaner to have a separate package (after all, someone might > want to install just Fact++, and the ppa will then be useful also for > that) > > > For Pellet, what version should I use? The last one is 2.2.0 but it is > released on July 6th 2010... The stable version seems to be 2.1.1 > (released May 3rd 2010) > I think the stable version. > Dominik? > -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x766B1F6B From Christian.Maeder at dfki.de Thu Jul 29 10:32:03 2010 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 29 Jul 2010 10:32:03 +0200 Subject: [Hets-devel] milestone 0.97 Message-ID: <4C513C83.9000606@dfki.de> Hi, according to http://trac.informatik.uni-bremen.de:8080/hets/roadmap a new release is due on 31 st. The "change management" must be postponed. How far is "DOLCE consistency"? What else needs to be done (apart from cleaning up sources)? Shall we postpone the whole release? Maybe the active tickets should be reduced by moving them to other milestones, although if we don't do this manually they are moved to the next milestone automatically. But it may be worth to look over the tickets at some stage and mark some as un-fixable or for another life by introducing another milestone. Cheers Christian