{ "http://en.wikipedia.org/wiki/Bigraph" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] } , "http://dbpedia.org/resource/Bigraph" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Bigraph" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q4907018" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } , { "type" : "uri", "value" : "https://global.dbpedia.org/id/4YdkQ" } , { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.0dsf8_h" } ] , "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Bigraph" , "lang" : "en" } ] , "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_methods" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Theoretical_computer_science" } ] , "http://xmlns.com/foaf/0.1/depiction" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/1912.01107.fig4.png" } , { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Bigraphs-sharing-example.svg" } ] , "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Bigraph?oldid=1304699547&ns=0" } ] , "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Theoretical_Computer_Science" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Tree_(graph_theory)" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Diagram" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Mixed_reality" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Mobile_agent" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Hyperedge" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Pi_calculus" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Model_checker" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Node_(mathematics)" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Calculus_of_Communicating_Systems" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Cambridge_University_Press" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Security_protocol" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/File:1912.01107.fig4.png" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Cloud_computing" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/File:Bigraphs-sharing-example.svg" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Bisimulation" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Function_(mathematics)" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Java_(programming_language)" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Graph_(discrete_mathematics)" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Theoretical_computer_science" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Edge_(graph_theory)" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/OCaml" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Springer-Verlag" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Category_theory" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Combinatorial_species" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_methods" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Binary_relation" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Monoidal_category" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/IT_University_of_Copenhagen" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Directed_acyclic_graph" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Ubiquitous_computing" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Robin_Milner" } ] , "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://www.dcs.gla.ac.uk/~michele/bigrapher.html" } , { "type" : "uri", "value" : "http://bigraph.org/bigmc/" } , { "type" : "uri", "value" : "https://web.archive.org/web/20110927042614/http:/www.itu.dk/~mikkelbu/research/bigraphsbib/" } , { "type" : "uri", "value" : "https://bigraphs.github.io/jlibbig/" } , { "type" : "uri", "value" : "http://bigraph.org/big-red" } ] , "http://dbpedia.org/ontology/thumbnail" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/1912.01107.fig4.png?width=300" } ] , "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_conference" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:About" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_journal" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Notatypo" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_book" } ] , "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Bigraph" } ] } , "http://dbpedia.org/resource/Combinatorial_species" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] } , "http://dbpedia.org/resource/Bigraphs" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] , "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] } , "http://dbpedia.org/resource/Link_graph" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] , "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] } , "http://dbpedia.org/resource/Place_graph" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] , "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bigraph" } ] } }