Без заголовка

А как соотносятся Gellish с OWL по выразительным возможностя? Gellish мне напоминает обобщенный UML, т.е. там гораздо большее разнообразие типов связей. У OWL'а есть несколько вариантов, одна из них построена на first order logic, что выглядит привлекательно (т.е. основа у него надежная).