Home

KWeb showcases

Deliverables

Events

Partners

People

Workpackages

Network Organization

Publications

Exchanges

FAQ

 

Logical reconstruction of RDF

Start date: 28/06/2005
End date: 08/07/2005
Topic: Logical reconstruction of RDF
Abstract: The goal of the visit was to cooperate in the logical reconstruction of RDF. It was currently not entirely clear what the exact relationship is between the RDF(S) semantics and classical languages such as OWL DL. We have investigated the RDF semantics and redefined the semantics in a more classical framework. Furthermore, we have defined classical logic extension of RDF.
Final report: visit-report.pdf
has host: Free University of Bozen-Bolzano
has participant: Jos de Bruijn