如何在OWL本体中表示条件句？

Question

例如，

如果天气允许，我会去远足。

类： 天气 徒步旅行

个人： 我

属性： 允许 去

Answer 1

您可以说，如果您所在的时间 t 天气条件晴朗，那么您将同时参加一次徒步旅行活动。您可能拥有的数据类型示例如下：

ex:2017-02-23  a  wc:WeatherCondition;
  t:time  "2017-02-23"^^xsd:date;
  p:place  ex:theAlps;
  wc:cloudiness  wc:sunny .
ex:i  p:located  [
  a  p:LocationAtTime;
  p:location  ex:theAlpes;
  t:time  "2017-02-23"^^xsd:date .
] .
ex:hiking2017-02-23  a  ae:HikingEvent;
  t:time  "2017-02-23"^^xsd:date;
  ae:participant  ex:i .

您想要这样的规则：

?wc  a  wc:WeatherCondition;
  t:time  ?t;
  p:place  ?p;
  wc:cloudiness  wc:sunny .
ex:i  p:located  [
  a  p:LocationAtTime;
  p:location  ?p;
  t:time  ?t .
] .

暗示：

[]  a  ae:HikingEvent;
  p:location  ?p;
  t:time  ?t .

我认为这在 OWL 中是不可行的。但是，您可以为此使用规则引擎。尽管如此，我不确定这种数据高度上下文和动态的用例是否最好被语义网络标准覆盖。