[DL] problem with negated roles of SROIQ

[Nurmamat Helil]

Hi:

I am going to use negated roles assertions like (alice, Boc): \neg
likes in SWRL rule

does it allowed or it can be simulated by classical negation in SWRL
like  not like(alice, Bob).

the second question:

is the negated role assertion of SROIQ allowed in the head of SWRL rule?



-- 
Nurmamat Helil
School of Computer Science and Engineering
Chung-Ang University
Seoul, South Korea
Email: nurmamat at gmail.com