Uma ontologia é uma especificação formal que fornece representação de conhecimento compartilhável e reutilizável. Exemplos de ontologias incluem:
- Taxonomias
- Vocabulários
- Tesauro
- Mapas de tópicos
- Modelos lógicos
Uma especificação de ontologia inclui descrições de conceitos e propriedades em um domínio, relações entre conceitos, restrições sobre como os relacionamentos podem ser usados e indivíduos como membros de conceitos.