Могу ли я выразить кому-то, что нужно (модальный глагол), что-то с помощью семантической сети?

Question

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

в любом виде в формате rdf rdfs owl shacl и т. д.

кто-то делает что-то против кого-то "должен" - делать что-то

Сам ходи в школу. Сэм "должен" пойти в школу.

и другой случай - кто-то должен делать, но делать то, что не важно.

? s? p? субъект: Сэм? предсказать:shouldWork

Answer 1

Вы могли бы сделать что-то вроде этого:

ObjectProperty: attends
  Domain: Person

Class: School
Class: Person

Class: SchoolAgeChild
  SubClassOf: 
    Person,
    attends some School

в котором указывается, что лицо школьного возраста должно посещать как минимум 1 школу.

Тогда, если у вас есть человек 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   

в котором говорится, что менеджер выполняет хотя бы одну важную задачу, а менеджер занимается только важными задачами.