Wang Jidong; Liu Faye F.; Dillon Tharam
(Oesterreichische Computer Gellschaft, 2004)
The paper concentrates on the inference engine of Object Oriented Web Information Specification
(OOWIS), and attempts to integrate GOPT-resolution which is a derivation mechanism based on
partial intersection and truncation ...