Logical reconstruction of normative RDF

CEUR Workshop Proceedings

Volumn 188, Issue , 2005, Pages

  De Bruijn, Jos ^a   Franconi, Enrico ^b   Tessaris, Sergio ^b  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY RESULTS; LOGICAL FRAMEWORKS; MODEL-THEORETIC SEMANTICS; RDF/RDFS; UNIFIED MODELING;

SEMANTICS;

BIRDS;

EID: 84883476175     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Weidong Chen, Michael Kifer, and David Warren. HILOG: a foundation for higher-order logic programming. Journal of Logic Programming, 15(3): 187-230, February 1993.
2. Jos de Bruijn, Sergio Tessaris, and Enrico Franconi. Logical reconstruction of RDF and ontology languages. In Proc. of PPSWR-05, 2005.
3. C. Gutierrez, C. Hurtado, and A. Mendelzon. Foundations of semantic web databases. In Proceedings of the 2004 ACM SIGART SIGMOD SIGART Symposium on Principles of Database Systems (PODS'04), 2004.
4. Patrick Hayes. RDF semantics. Technical report, W3C, February 2004. W3C recommendation, URL http://www.w3.org/TR/rdf-mt/.
5. U. Hustadt, Boris Motik, and U. Sattler. Reasoning for description logics around SHIQ in a resolution framework. Technical Report 3-8-04/04, FZI, Karlsruhe, Germany, 2005. URL http://www.fzi.de/ipe/publikationen.php?id=1172.
6. Jeff Pan and Ian Horrocks. RDFS(FA) and RDF MT: Two semantics for RDFS. In Proc. 2003 International Semantic Web Conference (ISWC 2003), 2003.
7. Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web ontology language semantics and abstract syntax. Technical report, W3C, February 2004. W3C recommendation, URL http://www.w3.org/TR/owl-semantics/.
8. Eric Prud'hommeaux and Andy Seaborne. SPARQL query language for RDF. Technical report, W3C, July 2005. W3C working draft, URL http://www.w3.org/TR/ rdf-sparql-query/.