{
  "http://en.wikipedia.org/wiki/Duration_calculus" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Temporal_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Charles_Leonard_Hamblin" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Anders_P._Ravn" : { "http://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Duration_Calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Interval_temporal_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Zhou_Chaochen" : { "http://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Wu_Chinese-speaking_people" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/List_of_computer_scientists" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Paritosh_Pandya" : { "http://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ] } ,
  "http://dbpedia.org/resource/Duration_calculus" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "https://global.dbpedia.org/id/4j75d" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Duration_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Duration_calculus" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.07p3k2" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q5316264" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Duration calculus" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Temporal_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:1991_introductions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_specification_languages" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Duration_calculus?oldid=1025930868&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Logic" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Duration_calculus" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://web.archive.org/web/20050830165833/http:/www.iist.unu.edu/dc/" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Tata_Institute_of_Fundamental_Research" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Interval_temporal_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Zhou_Chaochen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Discrete_time" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Continuous_time" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mumbai" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Interval_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Software_development" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Requirements" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Modal_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/C._A._R._Hoare" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Temporal_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_specification_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Temporal_logic_of_actions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Basic_Research_Action" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Macau" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/UNU-IIST" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:1991_introductions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Anders_P._Ravn" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Real-time_computing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Temporal_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/European_Strategic_Program_on_Research_in_Information_Technology" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "interval logic for real-time systems, mainly useful at the requirements level of the software development process for real-time systems" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Formalmethods-stub" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ] }
}