Protegé. Código abierto, plug-in, edición gráfica de taxonomías de conceptos y axiomas formales, chequeo de consistencia, interoperable
KAON. Código abierto, servidor de aplicaciones, frames como formalismo de representación del conocimiento, edición colaborativa, chequeo de consistencia, escalable, eficiente e interoperable
WebODE. Libre acceso, servidor de aplicaciones, interoperable, edición gráfica de taxonomías de conceptos y axiomas formales, chequeo de consistencia, edición colaborativa, utiliza motor de inferencias, chequeo de consistencia
Swoop. Código abierto, extensible, edición colaborativa, utiliza motor de inferencias
WeebOnto. Libre acceso, arquitectura cliente/servidor, edición gráfica de taxonomías de conceptos, interoperable, edición colaborativa, utiliza motor de inferencias, chequeo de consistencias
Ontolingua. Libre acceso, edición colaborativa, utiliza motor de inferencias, interoperable
Chimaera. Flexible, robusto, ambiente distribuido, interoperable