如何在OWL本體中表示條件句？

Question

例如，

如果天氣允許，我會去徒步旅行。

類： 天氣 徒步旅行

個人： 我

屬性： 許可證 去

Answer 1

可以說，如果在時間噸天氣條件是晴天那麼你將在那裏同時參加一次遠足活動。那種你可能有數據的一個例子是：

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中。但是，您可以使用一個規則引擎。儘管如此，我不確定數據高度上下文和動態的這種用例最好由語義Web標準覆蓋。