1

https://en.wikipedia.org/wiki/Modal_verb

无论是任何形式的 rdf rdfs owl shacl 等...

某人做某事 vs 某人“必须”做某事

山姆去上学。山姆“必须”去上学。

另一种情况是有人必须做，但做不重要的事情。

?s ?p ?subject:Sam ?predict:shouldWork

4

1 回答 1

2

你可以这样做：

ObjectProperty: attends
  Domain: Person

Class: School
Class: Person

Class: SchoolAgeChild
  SubClassOf: 
    Person,
    attends some School

其中规定，作为学龄的人必须至少上一所学校。

然后，如果您有一个不上学的人，您可以指定sam如下SchoolAgeChild

Individual: sam
  Types: attends max 0 School

推理者会给出不一致的结果。此外，推理者将推断出参加某事的任何个人都是人。但是，您可以创建出席或不出席的人的个人。

至于处理做任务和重要任务，你必须做以下事情

Class: Task
  DisjointUnionOf: ImportantTask, UnimportantTask  

Class: ImportantTask
  SubClassOf: Task
Class: UnimportantTask
  SubClassOf: Task

Class: Manager
 SubClassOf: attends some ImportantTask and attends only ImportantTask

它指出经理至少要处理一项重要任务，而经理只处理重要任务。

于 2018-06-22T06:46:20.040 回答