Rdf 我能用语义网表达某人必须做的事（情态动词）吗？

无论是什么形式的rdf rdfs owl shacl等

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

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

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

标准普尔

---

？主题：山姆？预测：应该工作

你可以这样做：

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   

推理者会给出不一致的结论。此外，推理者会推断任何参与某事的人都是人。然而，你可以创造一个人，一个关注事物或不关注事物的人

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

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   

---

这说明经理至少负责一项重要任务，而经理只负责重要任务

我不知道你在问什么。OWL背后的逻辑是描述逻辑，它是一阶逻辑的可判定子集。这就是你所能表达的一切——其他一切都是你的造型。