The Jorne project develops software and open standards for linking Lojban text with WWW and Semantic Web metadata (e.g. RDF/N3, RSS, XML). Lojban is an artificial spoken and written language based on predicate logic.
Okapi is an IR system, built to do experiments in interactive search and investigate theories in IR. The core of Okapi is a Basic Search System (BSS) which allows programmers to build search applications. See http://www.soi.city.ac.uk/~andym/OKAPI-PACK/