有没有一种方法可以使用SWRL中的xsd：dateTime来计算颗粒的持续时间？

Question

在尝试给定两个xsd：dateTime值时，我试图找到一种计算间隔持续时间的方法。不幸的是，Pellet似乎只支持5个swrl内置函数，而我所没有的减法规则都没有。即是这样的：

hasStart(?x, ?xstart) ^ hasDuration(?x, ?xdur) ^ hasEnd(?x, ?xend) ^ inXSDDateTime(?xstart, ?xstartxsd) ^ inXSDDateTime(?xend, ?xendxsd) ^ swrlb:subtractDateTimesYieldingYearMonthDuration(?y, ?xendxsd, ?xstartxsd) -> hasXSDDuration(?xdur, ?y)

我在SWRL中使用时态库也不太幸运...