Este documento trata sobre las ontologías orientadas a la informática. Define ontología, explica sus componentes como conceptos, relaciones y axiomas, y analiza por qué son útiles para organizar el conocimiento. También clasifica las ontologías y describe lenguajes como RDF, OWL y CycL para representar ontologías formalmente.