owl ql dl-lite_r description logics non-monotonic rules semantic web mknf hybrid knowledge bases logic programing mknf knowledge representation
Tout plus