Lógicas de descrição são apresentadas com foco em semântica formal e representação de conhecimento, incluindo conceitos, papéis e interpretações. Exemplos de formalismos e definições matemáticas acompanham a exposição para clarificar fundamentos.

Algoritmos de decisão e procedimentos de prova, como métodos baseados em tableaux, são discutidos em relação à verificação de satisfatibilidade e consistência de conceitos. A relação entre esses procedimentos e aplicações em ontologias é exemplificada com cenários de modelagem de conhecimento.

Capítulos trazem exercícios e ilustrações que conectam teoria e prática, com atenção a extensões de linguagens descritivas e restrições de expressividade. Referências a implementações e problemas típicos em sistemas de representação ajudam a contextualizar usos computacionais.