Prefiltering Strategy to Improve Performance of Semantic Web Service Discovery

Formula 1

Definition of Cat_Filt as a function.

(1) Cat_Filt() = has a category specified,

(2)        ,

(3)           Global_Cat_Ont,

(4)           Global_Cat_Ont,

(5)        (  ::   or   ::   or   :=:  )  

(6)        , does not have a category specified  

(7)         does not have a category specified, .