|
I created swrl rules by owlready2. When I next open the owl file, sometimes the rule shown out of order,as shown below。Then,I can't do reasoner by SWRLtab or SQWRLtab,I don't expect that to happen.I would be very grateful if you could give me some help。
swrlb:subtract(?s4, 1, ?s3) ^ swrlb:subtract(?s1, ?y, 10.0) ^ swrlb:abs(?s2, ?s1) ^ has_value(?x, ?y) ^ swrlb:divide(?s3, ?s2, 10.0) ^ CLASSA(?x) ^ swrlb:lessThan(?y, 10.0) -> has_risk_sts(?x, false) ^ has_risk(?x, ?s4)
|