[DL] problem with negated roles of SROIQ

Nurmamat Helil nurmamat at gmail.com
Tue Jun 29 19:20:44 CEST 2010


I am not very familiar with DL. now I have to represent a class
$A=\{x|(x,y) \in \neg R \wedge y \in C \}$ using DL
can I use negated role provided by SROIQ.

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

More information about the dl mailing list