{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:TQK66WJY2YKQ525A3U6XP2C4ML","short_pith_number":"pith:TQK66WJY","schema_version":"1.0","canonical_sha256":"9c15ef5938d6150eeba0dd3d77e85c62c1e5cbe2ba6fd998f7119aed17bf4b0d","source":{"kind":"arxiv","id":"1401.3858","version":1},"attestation_state":"computed","paper":{"title":"Logical Foundations of RDF(S) with Datatypes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Jos de Bruijn, Stijn Heymans","submitted_at":"2014-01-16T05:02:49Z","abstract_excerpt":"The Resource Description Framework (RDF) is a Semantic Web standard that provides a data language, simply called RDF, as well as a lightweight ontology language, called RDF Schema. We investigate embeddings of RDF in logic and show how standard logic programming and description logic technology can be used for reasoning with RDF. We subsequently consider extensions of RDF with datatype support, considering D entailment, defined in the RDF semantics specification, and D* entailment, a semantic weakening of D entailment, introduced by ter Horst. We use the embeddings and properties of the logics"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1401.3858","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-16T05:02:49Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"60a642fd982268cb328a2628796c77412143600e4e33914f8c4b9cca939434c0","abstract_canon_sha256":"301cb30840bb1f966afd978f12cc0b56e784bb5e141a329858204603432687c8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:06.524825Z","signature_b64":"VEf6eZVPIU4i61svUQMJU49Q59Mj4HhTYFdaqDrSz+KPQP07P25mx41tG3oaRlY+mKgTikkBZk3h7wxreigYBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c15ef5938d6150eeba0dd3d77e85c62c1e5cbe2ba6fd998f7119aed17bf4b0d","last_reissued_at":"2026-05-18T03:02:06.523911Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:06.523911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Logical Foundations of RDF(S) with Datatypes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Jos de Bruijn, Stijn Heymans","submitted_at":"2014-01-16T05:02:49Z","abstract_excerpt":"The Resource Description Framework (RDF) is a Semantic Web standard that provides a data language, simply called RDF, as well as a lightweight ontology language, called RDF Schema. We investigate embeddings of RDF in logic and show how standard logic programming and description logic technology can be used for reasoning with RDF. We subsequently consider extensions of RDF with datatype support, considering D entailment, defined in the RDF semantics specification, and D* entailment, a semantic weakening of D entailment, introduced by ter Horst. We use the embeddings and properties of the logics"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3858","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.3858","created_at":"2026-05-18T03:02:06.524069+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3858v1","created_at":"2026-05-18T03:02:06.524069+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3858","created_at":"2026-05-18T03:02:06.524069+00:00"},{"alias_kind":"pith_short_12","alias_value":"TQK66WJY2YKQ","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_16","alias_value":"TQK66WJY2YKQ525A","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_8","alias_value":"TQK66WJY","created_at":"2026-05-18T12:28:49.207871+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML","json":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML.json","graph_json":"https://pith.science/api/pith-number/TQK66WJY2YKQ525A3U6XP2C4ML/graph.json","events_json":"https://pith.science/api/pith-number/TQK66WJY2YKQ525A3U6XP2C4ML/events.json","paper":"https://pith.science/paper/TQK66WJY"},"agent_actions":{"view_html":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML","download_json":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML.json","view_paper":"https://pith.science/paper/TQK66WJY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3858&json=true","fetch_graph":"https://pith.science/api/pith-number/TQK66WJY2YKQ525A3U6XP2C4ML/graph.json","fetch_events":"https://pith.science/api/pith-number/TQK66WJY2YKQ525A3U6XP2C4ML/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML/action/storage_attestation","attest_author":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML/action/author_attestation","sign_citation":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML/action/citation_signature","submit_replication":"https://pith.science/pith/TQK66WJY2YKQ525A3U6XP2C4ML/action/replication_record"}},"created_at":"2026-05-18T03:02:06.524069+00:00","updated_at":"2026-05-18T03:02:06.524069+00:00"}