知識表現
Cycプロジェクトは Cycorp社が管理していて、そのデータの大部分は無料で利用可能となっている。
そのような作業を通して、知識表現の難しさがより高く評価されるようになった。それと並行するように計算言語学ではさらに大きな言語情報のデータベースが構築されつつあり、コンピュータの性能と容量が増大することでさらに深い知識表現が現実のものとなってきた。
知識表現を指向したいくつかのプログラミング言語が開発されている。1972年にPrologが開発されたが、一般化したのはもっと後のことである。命題論理と基本的な論理を表現することができ、既知の前提から結論を導くことができる。KL-One (1980年代)は知識表現自体に特に力を入れたものである。1995年、Dublin Core はメタデータの標準として考案された。
電子文書の世界では、言語は文書の構造を明確に表現するために開発されている。例えば、HTMLの元になったSGMLや後のXMLなどがある。これらは情報検索とデータマイニングに役立っていて、近年では知識表現とも関連するようになってきた。ウェブ社会ではセマンティック・ウェブへの関心が高まっている。XMLベースの知識表現言語としてRDF、RDF Schema、トピックマップ、DARPA Agent Markup Language (DAML)、Ontology Inference Layer (OIL)、Web Ontology Language (OWL) などがある。