我定义了一个名为"accelerate“的类,将函数设置为”等效于“,如下所示:
currentSpeed一些xds:int < minSpeed
currentSpeed和minSpeed为DataProperties,这些值由实例赋值,
例如,创建实例currentSpeed=25 minSpeed=30,将它们进行比较,我们知道,currentSpeed小于minSpeed,所以我希望protege可以推断加速。但是它不起作用,请帮帮我。
发布于 2021-11-02 03:47:27
打开protege swrltab的
car(?c) ^ currentSpeed(?c, ?x) ^ minSpeed(?c, ?y) ^ swrlb: greaterThan(?y, ?x) -> accelerate(?c)https://stackoverflow.com/questions/69732513
复制相似问题