Я хотел бы лучше понять онтологии и рассуждения. Есть интересная головоломка под названиемЗагадка Эйнштейна в сети, которая может быть решена с помощью онтологий и рассуждений. Я скачал онтологию OWL с этого сайта и импортировал ее в Protege 4.0.2 (не работает с 4.1). Я могу начать рассуждатьReasoner → FaCT ++, Reasoner → Классифицировать ..., но я не знаю, как визуализировать отдельные результаты. Как я могу это сделать?