▁and ▁Log ic ▁Program ming . ▁ ▁Language ▁variants ▁of ▁W S ML ▁ ▁W S ML ▁Core , ▁defined ▁as ▁an ▁intersection ▁of ▁the ▁Description ▁Log ic ▁and ▁Horn ▁Log ic . ▁Support s ▁model ing ▁classes , ▁attributes , ▁binary ▁relations ▁and ▁instances . ▁ ▁W S ML - DL , ▁extension ▁of ▁the ▁W S ML ▁Core , ▁fully ▁capt ures ▁the ▁Description ▁Log ic ▁. ▁ ▁W S ML - F light , ▁extension ▁of ▁the ▁W S ML ▁Core , ▁provides ▁features ▁as ▁meta - model ing , ▁constraints ▁and ▁non mon ot onic ▁neg ation . ▁ ▁W S ML - Rule , ▁extension ▁of ▁the ▁W S ML - F light , ▁provides ▁Log ic ▁Program ming ▁capabilities . ▁ ▁W S ML - Full , ▁a ▁un ification ▁of ▁the ▁W S ML - DL ▁and ▁W S ML - Rule . ▁ ▁See ▁also ▁ ▁Ont ology ▁( comput er ▁science ) ▁ ▁Sem antic ▁Web ▁ ▁Sem antic ▁Web ▁Services ▁ ▁Web ▁Ont ology ▁Language ▁( OW L ), ▁O W L - S , ▁W SD L ▁ ▁W S MO ▁ ▁References ▁ ▁External ▁links ▁▁ ▁W S ML ▁Home ▁Web ▁Site ▁ ▁W S ML ▁syntax ▁ ▁W S ML ▁submission ▁in ▁W 3 C ▁ ▁W S MO ▁Working ▁Group ▁Web ▁Site ▁ ▁Category : Web ▁services ▁Category : Sem antic ▁Web <0x0A> </s> ▁In ▁ 2 0 1 2 , ▁U TA ▁Brand ▁Studio ▁was ▁un ve iled