Без заголовка
А еще уже неделю хочу поподробнее про F-logic покопать: почему ее так быстро забыли, если она такая хорошая?! Но времени нет и нет...
Нельзя сказать, что F-logic забыли - она и в книге On Ontology поминается, и коммерческая реализация есть (OntoBroker) и опенсорсная. KAON-server2 тоже ее понимает.
Т.е. она скорее просто не мейнстримная как OWL.