FU Berlin, Fachbereich Mathematik und Informatik, Institut für Informatik
Prof. Dr. Robert Tolksdorf lädt ein:
Positional-Slotted Knowledge Integration in the Semantic Web
Prof. Dr. Harold Boley, University of New Brunswick, Canada, Faculty of Computer Science
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 <http://www.jdrew.org/oojdrew/>. 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 <http://www.ruleml.org/submission/ruleml-shortation.html>.
Dr. Harold Boley is Adjunct Professor at the Faculty of Computer Science, University of New Brunswick, Canada, and leader of the Semantic Web Laboratory at NRC, IIT e-Business. His current focus is Semantic Web knowledge representation using POSL and RuleML. He received his PhD and Habilitation degrees in Computer Science from the Universities of Hamburg and Kaiserslautern, respectively. He developed the Relational-Functional Markup Language before starting and co-leading the Rule Markup Initiative. As member of the Joint Committee he co-designed the Semantic Web Rule Language, which combines the W3C-recommended Web Ontology Language OWL and RuleML <http://www.w3.org/Submission/2004/SUBM-SWRL-20040521>. He also leads the design of a First-Order Logic Web language and helps in the design of a Semantic Web Services Language, both extending RuleML.
Ort: Takustr. 9, Hörsaal ; Zeit: Di, 15.3.2005, 14 Uhr c.t.
| [ home ] [ up ] | webmaster@inf.fu-berlin.de |