{ "items" : [
    { "id" : "http://caligraph.org/resource/Joost-Pieter_Katoen"
      "properties" : {
        "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ "http://www.w3.org/2002/07/owl#NamedIndividual",
          "http://caligraph.org/ontology/Formal_methods_person",
          "http://caligraph.org/ontology/Living_person",
          "http://caligraph.org/ontology/German_computer_scientist",
          "http://caligraph.org/ontology/Dutch_computer_scientist",
          "http://caligraph.org/ontology/1964_birth",
          "http://caligraph.org/ontology/Fellow_of_the_Association_for_Computing_Machinery" ] ,
        "http://www.w3.org/2000/01/rdf-schema#label" : [ "Joost-Pieter Katoen" ] ,
        "http://www.w3.org/2002/07/owl#sameAs" : [ "http://dbpedia.org/resource/Joost-Pieter_Katoen" ] ,
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://en.wikipedia.org/wiki/Category:Living_people",
          "http://en.wikipedia.org/wiki/Category:Lists_of_living_people",
          "http://en.wikipedia.org/wiki/Category:Dutch_computer_scientists",
          "http://en.wikipedia.org/wiki/Category:Formal_methods_people",
          "http://en.wikipedia.org/wiki/List_of_living_people",
          "http://en.wikipedia.org/wiki/Category:1964_births",
          "http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery",
          "http://en.wikipedia.org/wiki/Category:German_computer_scientists" ] ,
        "http://www.w3.org/2004/02/skos/core#prefLabel" : [ "Joost-Pieter Katoen" ] ,
        "http://www.w3.org/2004/02/skos/core#altLabel" : [ "Katoen, J." ] ,
        "http://caligraph.org/ontology/academicDiscipline" : [ "http://caligraph.org/resource/Model_checking",
          "http://caligraph.org/resource/Probabilistic_programming",
          "http://caligraph.org/resource/Computer_science" ] ,
        "http://caligraph.org/ontology/almaMater" : [ "http://caligraph.org/resource/University_of_Twente",
          "http://caligraph.org/resource/Eindhoven_University_of_Technology" ] ,
        "http://caligraph.org/ontology/award" : [ "http://caligraph.org/resource/Aalborg_University",
          "http://caligraph.org/resource/Academia_Europaea",
          "http://caligraph.org/resource/RWTH_Aachen_University",
          "http://caligraph.org/resource/European_Research_Council" ] ,
        "http://caligraph.org/ontology/birthYear" : [ "1964" ] ,
        "http://caligraph.org/ontology/citizenship" : [ "http://caligraph.org/resource/Netherlands" ] ,
        "http://caligraph.org/ontology/institution" : [ "http://caligraph.org/resource/Philips",
          "http://caligraph.org/resource/Eindhoven_University_of_Technology",
          "http://caligraph.org/resource/University_of_Erlangen%E2%80%93Nuremberg",
          "http://caligraph.org/resource/University_of_Twente",
          "http://caligraph.org/resource/RWTH_Aachen_University" ] ,
        "http://caligraph.org/ontology/nationality" : [ "http://caligraph.org/resource/Netherlands" ] } },

    { "id" : "http://caligraph.org/resource/Principles_of_Model_Checking"
      "properties" : {
        "http://caligraph.org/ontology/author" : [ "http://caligraph.org/resource/Joost-Pieter_Katoen"] } } }
