@prefix d2r:     <http://sites.wiwiss.fu-berlin.de/suhl/bizer/d2r-server/config.rdf#> .
@prefix swrc:    <http://swrc.ontoware.org/ontology#> .
@prefix dcterms:  <http://purl.org/dc/terms/> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix dc:      <http://purl.org/dc/elements/1.1/> .
@prefix map:     <file:///home/diederich/d2r-server-0.3.2/dblp-mapping.n3#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

foaf:Document
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fxmlns.com%2Ffoaf%2F0.1%2FDocument%3E> .

<http://dx.doi.org/10.1007%2F11431664%5F11>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdx.doi.org%2F10.1007%252F11431664%255F11%3E> .

<http://dblp.rkbexplorer.com/id/conf/ifl/DowseBE04>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdblp.rkbexplorer.com%2Fid%2Fconf%2Fifl%2FDowseBE04%3E> .

<http://dx.doi.org/10.1007/11431664_11>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdx.doi.org%2F10.1007%2F11431664_11%3E> .

<http://dblp.l3s.de/d2r/resource/publications/conf/ifl/DowseBE04>
      a       foaf:Document , swrc:InProceedings ;
      rdfs:label "Reasoning About Deterministic Concurrent Functional I/O."^^xsd:string ;
      rdfs:seeAlso <http://dx.doi.org/10.1007/11431664_11> , <http://dblp.uni-trier.de/db/conf/ifl/ifl2004.html#DowseBE04> ;
      dc:creator <http://dblp.l3s.de/d2r/resource/authors/Malcolm_Dowse> , <http://dblp.l3s.de/d2r/resource/authors/Marko_C._J._D._van_Eekelen> , <http://dblp.l3s.de/d2r/resource/authors/Andrew_Butterfield> ;
      dc:identifier "DOI 10.1007%2F11431664%5F11"^^xsd:string , "DBLP conf/ifl/DowseBE04"^^xsd:string ;
      dc:title "Reasoning About Deterministic Concurrent Functional I/O."^^xsd:string ;
      dc:type <http://purl.org/dc/dcmitype/Text> ;
      dcterms:bibliographicCitation
              <http://dblp.uni-trier.de/rec/bibtex/conf/ifl/DowseBE04> ;
      dcterms:issued "2004"^^xsd:gYear ;
      dcterms:partOf <http://dblp.l3s.de/d2r/resource/publications/conf/ifl/2004> ;
      swrc:pages "177-194"^^xsd:string ;
      swrc:series <http://dblp.l3s.de/d2r/resource/conferences/ifl> ;
      =       <http://dblp.rkbexplorer.com/id/conf/ifl/DowseBE04> , <http://bibsonomy.org/uri/bibtexkey/conf/ifl/DowseBE04/dblp> ;
      foaf:homepage <http://dx.doi.org/10.1007%2F11431664%5F11> , <http://dx.doi.org/10.1007/11431664_11> ;
      foaf:maker <http://dblp.l3s.de/d2r/resource/authors/Malcolm_Dowse> , <http://dblp.l3s.de/d2r/resource/authors/Andrew_Butterfield> , <http://dblp.l3s.de/d2r/resource/authors/Marko_C._J._D._van_Eekelen> .

swrc:InProceedings
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fswrc.ontoware.org%2Fontology%23InProceedings%3E> .

<http://bibsonomy.org/uri/bibtexkey/conf/ifl/DowseBE04/dblp>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fbibsonomy.org%2Furi%2Fbibtexkey%2Fconf%2Fifl%2FDowseBE04%2Fdblp%3E> .

<http://dblp.l3s.de/d2r/data/publications/conf/ifl/DowseBE04>
      rdfs:label "RDF Description of Reasoning About Deterministic Concurrent Functional I/O." ;
      dc:license <http://www.informatik.uni-trier.de/~ley/db/copyright.html> ;
      foaf:primaryTopic <http://dblp.l3s.de/d2r/resource/publications/conf/ifl/DowseBE04> .

<http://dblp.uni-trier.de/db/conf/ifl/ifl2004.html#DowseBE04>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdblp.uni-trier.de%2Fdb%2Fconf%2Fifl%2Fifl2004.html%23DowseBE04%3E> .

<http://purl.org/dc/dcmitype/Text>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fpurl.org%2Fdc%2Fdcmitype%2FText%3E> .

<http://dblp.uni-trier.de/rec/bibtex/conf/ifl/DowseBE04>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdblp.uni-trier.de%2Frec%2Fbibtex%2Fconf%2Fifl%2FDowseBE04%3E> .