{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:G4UPQJO6B3KOQJQXAGUYTDJOOR","short_pith_number":"pith:G4UPQJO6","canonical_record":{"source":{"id":"1508.00116","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-01T13:07:46Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"e79db5fc68adb151bda0eb7b1911d274063827d38b319b26b579c38ab67e6fc0","abstract_canon_sha256":"3c8c64e278bfb44dbfa8858356f01244673df522c1dbae166c420ec708931f86"},"schema_version":"1.0"},"canonical_sha256":"3728f825de0ed4e8261701a9898d2e74763de007de57da048728f05762deb32c","source":{"kind":"arxiv","id":"1508.00116","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00116","created_at":"2026-05-18T01:35:58Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00116v1","created_at":"2026-05-18T01:35:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00116","created_at":"2026-05-18T01:35:58Z"},{"alias_kind":"pith_short_12","alias_value":"G4UPQJO6B3KO","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"G4UPQJO6B3KOQJQX","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"G4UPQJO6","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:G4UPQJO6B3KOQJQXAGUYTDJOOR","target":"record","payload":{"canonical_record":{"source":{"id":"1508.00116","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-01T13:07:46Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"e79db5fc68adb151bda0eb7b1911d274063827d38b319b26b579c38ab67e6fc0","abstract_canon_sha256":"3c8c64e278bfb44dbfa8858356f01244673df522c1dbae166c420ec708931f86"},"schema_version":"1.0"},"canonical_sha256":"3728f825de0ed4e8261701a9898d2e74763de007de57da048728f05762deb32c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:58.934105Z","signature_b64":"xFML3x2YKb/Ud/TG4UEiMQHf2axMLfv294kIxcYX7vtTW5m5P+z9S94h9NiaPcTLuWoVjvCXQuvZJKzuRFU9Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3728f825de0ed4e8261701a9898d2e74763de007de57da048728f05762deb32c","last_reissued_at":"2026-05-18T01:35:58.933565Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:58.933565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.00116","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:35:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kvVwy4nRsmEZ03w+U+x7CO0H/2RyWpj5ycxiJ8Z5E7szeQiKeAn+wE3L+4FBVWwxX76HQjoF9VS0Orbj/XTVDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T06:36:25.822223Z"},"content_sha256":"2ab2f66d26a7ad419acd22ea9373e94c534548cd8493ad51ff9e9a8c5fef08c3","schema_version":"1.0","event_id":"sha256:2ab2f66d26a7ad419acd22ea9373e94c534548cd8493ad51ff9e9a8c5fef08c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:G4UPQJO6B3KOQJQXAGUYTDJOOR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extending SROIQ with Constraint Networks and Grounded Circumscription","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Arjun Bhardwaj","submitted_at":"2015-08-01T13:07:46Z","abstract_excerpt":"Developments in semantic web technologies have promoted ontological encoding of knowledge from diverse domains. However, modelling many practical domains requires more expressiveness than what the standard description logics (most prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ with constraint networks (resulting in the logic SROIQc) and grounded circumscription (resulting in the logic GC-SROIQ). Applications of constraint modelling include embedding ontologies with temporal or spatial information, while those of grounded circumscription include defeasible inferenc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00116","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:35:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Yv8HR3djprZc2PCe27Y8VqlMMFdZyWW7jEk7zRPT2e3nSn9dLr4TwnRFSdZVJMwyfedHIHQLObl6qtN/SP3CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T06:36:25.822646Z"},"content_sha256":"dc97e233227f1f5c7541dac9bc19b9863b5f32fc331acf783a924b3fafecbf98","schema_version":"1.0","event_id":"sha256:dc97e233227f1f5c7541dac9bc19b9863b5f32fc331acf783a924b3fafecbf98"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR/bundle.json","state_url":"https://pith.science/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T06:36:25Z","links":{"resolver":"https://pith.science/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR","bundle":"https://pith.science/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR/bundle.json","state":"https://pith.science/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G4UPQJO6B3KOQJQXAGUYTDJOOR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:G4UPQJO6B3KOQJQXAGUYTDJOOR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3c8c64e278bfb44dbfa8858356f01244673df522c1dbae166c420ec708931f86","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-01T13:07:46Z","title_canon_sha256":"e79db5fc68adb151bda0eb7b1911d274063827d38b319b26b579c38ab67e6fc0"},"schema_version":"1.0","source":{"id":"1508.00116","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00116","created_at":"2026-05-18T01:35:58Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00116v1","created_at":"2026-05-18T01:35:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00116","created_at":"2026-05-18T01:35:58Z"},{"alias_kind":"pith_short_12","alias_value":"G4UPQJO6B3KO","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"G4UPQJO6B3KOQJQX","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"G4UPQJO6","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:dc97e233227f1f5c7541dac9bc19b9863b5f32fc331acf783a924b3fafecbf98","target":"graph","created_at":"2026-05-18T01:35:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Developments in semantic web technologies have promoted ontological encoding of knowledge from diverse domains. However, modelling many practical domains requires more expressiveness than what the standard description logics (most prominently SROIQ) support. In this paper, we extend the expressive DL SROIQ with constraint networks (resulting in the logic SROIQc) and grounded circumscription (resulting in the logic GC-SROIQ). Applications of constraint modelling include embedding ontologies with temporal or spatial information, while those of grounded circumscription include defeasible inferenc","authors_text":"Arjun Bhardwaj","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-01T13:07:46Z","title":"Extending SROIQ with Constraint Networks and Grounded Circumscription"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00116","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2ab2f66d26a7ad419acd22ea9373e94c534548cd8493ad51ff9e9a8c5fef08c3","target":"record","created_at":"2026-05-18T01:35:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3c8c64e278bfb44dbfa8858356f01244673df522c1dbae166c420ec708931f86","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-01T13:07:46Z","title_canon_sha256":"e79db5fc68adb151bda0eb7b1911d274063827d38b319b26b579c38ab67e6fc0"},"schema_version":"1.0","source":{"id":"1508.00116","kind":"arxiv","version":1}},"canonical_sha256":"3728f825de0ed4e8261701a9898d2e74763de007de57da048728f05762deb32c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3728f825de0ed4e8261701a9898d2e74763de007de57da048728f05762deb32c","first_computed_at":"2026-05-18T01:35:58.933565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:58.933565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xFML3x2YKb/Ud/TG4UEiMQHf2axMLfv294kIxcYX7vtTW5m5P+z9S94h9NiaPcTLuWoVjvCXQuvZJKzuRFU9Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:58.934105Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.00116","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ab2f66d26a7ad419acd22ea9373e94c534548cd8493ad51ff9e9a8c5fef08c3","sha256:dc97e233227f1f5c7541dac9bc19b9863b5f32fc331acf783a924b3fafecbf98"],"state_sha256":"6f9bd93950ad459acd0b0d0a4a03f372007dd3abf72a437f52ae11e6bad34f00"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3qeKz3PyLp6L+ttlegsvGrk4ik5DHnOBIAeGS73rBsweKKrdKD93g6DBz58kfzacl3L7YSJbHeZQ8nkPsP3eAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T06:36:25.826446Z","bundle_sha256":"14d6f54fe2459c37cb100fff420548252321d8bdb897dab95f92398372ce5b41"}}