SWRL rules in Protege 5.1

Asked Apr 23 '18 at 11:49

Active Apr 24 '18 at 17:27

Viewed 74 times

I wrote a SWRL rule in this way:

A(?x)->AA(?x,3)

I already have a class A, have a data property AA, an individual a.

It feels like after reasoning the data property of a should be 3.

However there is no data property for a.

What can I do then?

edited Apr 24 '18 at 17:27

Stanislav Kralin

asked Apr 23 '18 at 11:49

Yifan

Perhaps you should provide us with a little more context.. – Baksteen Apr 23 '18 at 12:06
code snippet, tags highlight – Pradeep Apr 23 '18 at 13:41
**how** do you see that there is no inferred axiom `AA(a, 3)` ? – UninformedUser Apr 24 '18 at 06:52
Thanks a lot for helping me with the tag. – Yifan Apr 25 '18 at 08:02
1

I have checked for other questions like mine. It seems that I should enable the [b]Data Property Assertions[/b] in the Preference. Then the inferences could be seen as data property of individual. – Yifan Apr 25 '18 at 08:05

0 Answers0