标签： owl protege
我有一个对象属性“已婚”和一个数据属性“有 num 个孩子”的本体。 鉴于鲍勃与玛丽结婚并且玛丽有一个孩子的断言，是否存在一种（在保护中）推断鲍勃有多少孩子的方法？ 或者我必须手动插入数据属性有 num 个孩子给鲍勃？