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.
|