Knowledge sharing and retrieval -> how should information be written and organised to permit efficient, precise and complete Information Retrieval? (e.g. "what are the cheapest document editors having an English spell-checking feature and working on Mac OS/X ?" requirement: direct navigation to the information as in a decision tree) -> not in informal documents (semantic content not extractable) -> not "document sharing and retrieval", not "(informal) Knowledge Management" -> not in databases (predefined + semantic content not extractable) -> not in independently developped formal/semi-formal documents -> in large cooperatively-built knowledge bases -> problems: - the more precise/formal, the more difficult to read/write - there are many non-formally-equivalent ways to write the same thing -> my research: (semi-)formal notations, ontologies, protocols -> output: a large-scale knowledge server (WebKB) Example. Longer text in French.