[DL] problem with negated roles of SROIQ

Nurmamat Helil nurmamat at gmail.com
Fri Jul 16 04:34:30 CEST 2010


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

More information about the dl mailing list