Если нужно про логику описаний, то этим я вполне интересуюсь, если же просто про онтологии, то не особо, но во всех учебниках, которые я видел, было про DL, резонёров, табличные методы и так далее.
В любом случае без логики здесь нельзя получить какой-либо логический вывод, т.е. здесь у нас будет просто некоторая структура, состоящая из множества узлов и множества типированных пар.