Блог

Я смоделировал следующие свойства объекта в своей онтологии:

 Harbor locatedIn some City
City locatedIn some Country
  

Я хочу, чтобы механизм вывода выводил, что

 Harbor locatedIn some Country
  

Более того, я хочу, чтобы он сделал вывод, что

 City hasHarbor(another object property) some Harbor
  

Спасибо за вашу помощь.

Во-первых: чтобы сделать вывод, что: Harbor subClassOf locatedIn some Country вы должны определить locatedIn как Transitive (вы можете использовать protege GUI)

Во-вторых: рассуждающий не будет создавать hasHarbor свойство самостоятельно. Сначала это должно быть определено, и вы можете утверждать это как inverseOf locatedIn (вы можете использовать protege GUI).