Logical reconstruction of RDF and ontology languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3703 LNCS, Issue , 2005, Pages 65-71

  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

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; SEMANTICS;

LOGICAL RECONSTRUCTION; ONTOLOGY LANGUAGES; OWL-DL/LITE; RDF;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646202792     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11552222_7     Document Type: Conference Paper

References (7)

1. [Antoniou and van Harmelen, 2004] Grigoris Antoniou and Frank van Harmelen. A Semantic Web Primer. MIT Press, 2004.
2. [Chen et al., 1993] 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.
3. [Gutierrez et al., 2004] C. Gutierrez, G. 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. [Hayes, 2004] Patrick Hayes. RDF semantics. Technical report, W3C, February 2004. W3C recommendation, URL http://www.w3.org/TR/rdf-mt/.
5. [Pan and Horrocks, 2003] Jeff Pan arid Ian Horrocks. RDFS(FA) and RDF MT: Two semantics for RDFS. In Proc. 2003 International Semantic Web Conference (ISWC 2003), 2003.
6. [Patel-Schneider et al., 2004] 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/.
7. [Prud'hornmeaux and Seaborne, 2005] Eric Prud'hommeaux and Andy Seaborne. SPARQL query language for RDP. Technical report, W3C, April 2005. W3C working draft, URL http://www.w3.org/TR/rdf-sparql-query/.