||15.03.2005, 14:00 bis 16:00
||Harold Boley (University of New Brunswick, Canada)
||Institut für Informatik, Takustr. 9, 14195 Berlin, Grosser Hörsaal der Informatik
|| The positional-slotted Semantic Web language POSL integrates
Prolog's positional and F-logic's slotted knowledge representation for
facts and rules on the Web, referring to RDFS or OWL classes for
order-sorted typing. POSL's presentation syntax is interconvertible
with the XML markup of Object-Oriented RuleML. POSL and OO RuleML
have been prototyped in the (Java-based) implementation OO jDREW
. A recent information integration
effort, the New Brunswick Business Knowledge Base, was enabled by POSL.
Current work on POSL includes the following. Webizing employs URIs as
OIDs in the IETF form of N3 for individuals, relations, slots, and types.
Webized atoms further permit RDF descriptions as slotted facts processed
by RDF/POSL rules. RDF blank nodes become clause-global, module-local
Skolem constants. The POSL design incorporates these notions in an
orthogonal manner, which has allowed their independent development.