Я хотел бы создать приложение, которое может выполнять простые рассуждения с использованием логики первого порядка. Может ли кто-нибудь порекомендовать «движок», который может принимать произвольное ч
Я создал файл RDF/OWL с использованием Protege 4.1 alpha. Я также создал определенный класс в Protege под названием CheapPhone. Этот класс имеет ограничение, которое показано ниже: (hasPrice some inte
Я хотел бы лучше понять онтологии и рассуждения. В сети есть интересная головоломка под названием Einstein's riddle, которая может быть решена с помощью онтологий и рассуждений. Я загрузил онтологию O