Section: Software
Software
Some recent software developed in Gemo:
- ActiveXML
a language and system based on XML documents containing Web service calls. ActiveXML is now in Open Source within the ObjectWeb Forge.
- AlignViz
a visualization tool for alignments between ontologies.
- GUNSAT
a greedy local search algorithm for propositional unsatisfiability testing
- Glucose
a modern CDCL SAT solver that predicts learnt clause usefulness
- KadoP
a peer-to-peer platform for warehousing of Web resources.
- LN2R
a logical and numerical tool for reference reconciliation.
- MESAM
a plug-in for Protege 2000 to merge generic and specific models.
- OptimAX
an algebraic cost-based optimizer for ActiveXML.
- PAP
an alignment-based ontology partitioning system.
- ReaViz
a reactive, declarative workflow enactment tool.
- SHIRI-Annot
a tool to annotate semantically documents elements by exploiting both content and structure.
- SHIRI-Querying
a tool to approximate user's queries according to the SHIRI annotation design.
- SomeWhere
a P2P infrastructure for semantic mediation.
- SomeWhere+
a P2P infrastructure tolerant to inconsistency.
- SpyWhere
a generator of mapping candidates for enriching peer ontologies.
- TARGET
a framework and a tool to search the Web by using adaptive ontologies.
- TaxoMap
a prototype to automate semantic mappings between taxonomies.
- ViP2P
a P2P XML data management platform based on materialized views.
- XTAB2SML
an automatic ontology-based tool to semantically enrich tables.
