@prefix this: . @prefix sub: . @prefix schema: . @prefix np: . @prefix dct: . @prefix pav: . @prefix nt: . @prefix npx: . @prefix xsd: . @prefix rdfs: . @prefix prov: . @prefix wd: . @prefix foaf: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { sub:enabling-formal-epistemic-reasoning-in-diagnostic-systems-using a wd:Q604733; dct:description "Part of Session 4: Reasoning and Repair. Chaired by Oscar Corcho."; dct:isPartOf ; pav:authoredBy , , sub:daira-pinto-prieto; rdfs:label "Enabling Formal Epistemic Reasoning in Diagnostic Systems using Semantic Technologies"; schema:endDate "2026-09-30T15:30:00+02:00"^^xsd:dateTime; schema:position "1"^^xsd:integer; schema:startDate "2026-09-30T14:30:00+02:00"^^xsd:dateTime . } sub:provenance { sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom . } sub:pubinfo { foaf:name "Ilaria Tiddi" . foaf:name "Stefan Schlobach" . this: dct:created "2026-09-18T07:38:49Z"^^xsd:dateTime; dct:creator ; dct:license ; npx:introduces sub:enabling-formal-epistemic-reasoning-in-diagnostic-systems-using; rdfs:label "Presentation: Enabling Formal Epistemic Reasoning in Diagnostic Systems using Semantic Technologies"; nt:wasCreatedFromProvenanceTemplate ; nt:wasCreatedFromPubinfoTemplate , , , ; nt:wasCreatedFromTemplate . sub:daira-pinto-prieto foaf:name "Daira Pinto Prieto" . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+i9DV8ynzO944pYkYsDwtlqJHuk+b7FQt6Bb4TIQSDX3jGUURn6WpaNwESHmgMLWSydaH5XlabMzuqpPL4iyB+IAzvwIxdJBLhe39EQMu2j+FZ/5d/xu/gO3nZw2KoEvJ7cJisabuI05OylIRSJ+OG5CmzFxnjojUEJeCFi1njY1InhXrb0yHud9b1ifzweoN6YYOBecKs1gTOaT2bf+t4Wgzg3M0PmRVZ4F0OALsnh4T5+x7kFtiPcDKNpORi585JjKCZ4kczIF6oUKcwgC0kmIY97jtLqSLcXRkxHx5CDI6qz4XlRFs1ZbCUdSlzjdPZAkaBcNem1gIhWzkHkEnQIDAQAB"; npx:hasSignature "ZLccEdZ44nXefmdCEXrYTb0ikT2q/UkAF30wx4Ciz9NiTI+7haYP8I0AGwOLR68yPFfjWABX9zqdd6zyh8lslw5m2WePfcuiJYTcxb1OHAnyfrZJJUwTiKdgXUrJh3Tbg/GdYqQHdQ6CqGRmTgfgQH3y4Tj6f6pie4qDAIiSXnaE6yisd8GoS2DdGSJRhbk8YB+bG2cD9/PpO+ePvKY/GL1qTYsfRZyY5JDnFZTMCabFVxYUKY0H+xH2GQwjYuk+to2MZ4TI4GC6qJ5JR87nTlyR91vWMwd24saW36NxJTihiII6biOLvHQ06KG9H+/V2HBIjRSnoPjgWenQQEzfOQ=="; npx:hasSignatureTarget this:; npx:signedBy . }