Date Added: Nov 2010
POSL is a Semantic Web language for knowledge interchange, reconciling Horn logic's positional and F-logic's slotted formulas for representing facts and rules on the Web, optionally referring to RDFS or OWL classes for order-sorted typing. The POSL semantics directly enhances Herbrand models for n-ary relations by accommodating slotted clause instantiation and ground equality, further restricted through signatures and types. Webizing uses IRIs in the IETF form of N3 for individuals, relations, slots, and types. Webized atoms further permit the representation of F-logic objects and RDF descriptions as anchored slotted facts enhanced by rules. All POSL notions are exemplified using an e-Business use case in logistics.