Section: New Software and Platforms

SmartHal

Functional Description

SmartHal is a better tool for querying the HAL bibliography database, while is based on Haltool queries. The idea is that a Haltool query returns an XML document that can be queried further. In order to do so, SmartHal provides a new query language. Its queries are conjunctions of Haltool queries (for a list of laboratories or authors) with expressive Boolean queries by which answers of Haltool queries can be refined. These Boolean refinement queries are automatically translated to XQuery and executed by Saxon. A java application for extraction from the command line is available.

• Participants: Guillaume Bagan and Joachim Nierhen

• Contact: Joachim Niehren

• URL: http://smarthal.lille.inria.fr/