Re: [mizar] Strong Mizar wish: linking to consider (fwd)

[Andrea Asperti <asperti@CS.UniBO.IT>]

They are currently under implementation. 
We are experimenting different solutions, 
with and without databases, with and without
metadata. The work will still require a 
few months to be really integrated in HELM. 
At present, the most promising
solution seems to be a combination of metadata
(expressed in RDF format) and XQuery (we are 
currently testing Galax, that looks nice).

Best wishes.
				-- andrea

On Wed, 20 Mar 2002, Piotr Rudnicki wrote:

> On Tue, Mar 19, 2002 at 08:40:12AM +0100, Czeslaw Bylinski wrote:
> that andrea asperti wrote:
> 
> > Yes. I would just like to add to Claudio's description that
> > as soon as you agree on some DTD for Mizar and export
> > Mizar documents into XML, we would
> > be VERY interested to work on them, applying our HELM
> > technology and knowhow (e.g. for rendering, or for
> > the implementation of complex searching and retrieving
> > functionalities).
> 
> Where can I see the "complex searching and retrieving functionalities"
> in HELM?  I have looked into the HELM web pages but I do not see much
> more functionality than what is provided in .html stuff in JFM/Mizar.
> Am I missing something?
> 
> 
> -- 
> Piotr Rudnicki               CompSci, Univerity of Alberta, Edmonton, Canada
> email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr
>