Today i attended to Prof. Harold Boley  talk in National Chengchi University Taiwan about POSL. I got new knowledge about one of language in semantic web. POSL integrates Prolog’s positional and F-logic’s slotted syntaxes for representing knowledge (fact and rules) in the semantic web. Positional-slotted(POSL) language accomodates various assertional-logical and object-centered modeling styles.  (more…)