{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:WRTNA5XKLKOXNYQIUWUN5MCU6M","short_pith_number":"pith:WRTNA5XK","canonical_record":{"source":{"id":"1212.2902","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-12-12T17:58:01Z","cross_cats_sorted":[],"title_canon_sha256":"9563e0938ff993b90c8bdb55424dd58847d1229146afaed82131e8a2af563da0","abstract_canon_sha256":"bc5655b636df6fdf3a17fcec0795297200cbf44fb4a0ba0a86b956ed0cf291b5"},"schema_version":"1.0"},"canonical_sha256":"b466d076ea5a9d76e208a5a8deb054f32975b5f6895ad83481298a09e560f735","source":{"kind":"arxiv","id":"1212.2902","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2902","created_at":"2026-05-18T03:27:01Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2902v3","created_at":"2026-05-18T03:27:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2902","created_at":"2026-05-18T03:27:01Z"},{"alias_kind":"pith_short_12","alias_value":"WRTNA5XKLKOX","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"WRTNA5XKLKOXNYQI","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"WRTNA5XK","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:WRTNA5XKLKOXNYQIUWUN5MCU6M","target":"record","payload":{"canonical_record":{"source":{"id":"1212.2902","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-12-12T17:58:01Z","cross_cats_sorted":[],"title_canon_sha256":"9563e0938ff993b90c8bdb55424dd58847d1229146afaed82131e8a2af563da0","abstract_canon_sha256":"bc5655b636df6fdf3a17fcec0795297200cbf44fb4a0ba0a86b956ed0cf291b5"},"schema_version":"1.0"},"canonical_sha256":"b466d076ea5a9d76e208a5a8deb054f32975b5f6895ad83481298a09e560f735","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:01.265163Z","signature_b64":"ez+3+8+ZyThvFiyFVyZx+5bv+Xn6wjWPt1d/ktsLHgU3/wSEajHZmUEuRmKwzb8liWQzwSjN3rpayxSL5+96Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b466d076ea5a9d76e208a5a8deb054f32975b5f6895ad83481298a09e560f735","last_reissued_at":"2026-05-18T03:27:01.264769Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:01.264769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.2902","source_version":3,"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-18T03:27:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X6s3bF341XTB8oUeTTuDxLWCChwSJPd6S52TQcgw+U3MSkDeuOEbOhz9gbBxTMWKehsn2BHNBSk0JDrIi3njBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T11:06:32.218443Z"},"content_sha256":"c5c073856c9c3dcd5d9e4c92f384f43bf72d65b85b5a86d2d85373b539c24fdd","schema_version":"1.0","event_id":"sha256:c5c073856c9c3dcd5d9e4c92f384f43bf72d65b85b5a86d2d85373b539c24fdd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:WRTNA5XKLKOXNYQIUWUN5MCU6M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling in OWL 2 without Restrictions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Geoff Sutcliffe, Michael Schneider, Sebastian Rudolph","submitted_at":"2012-12-12T17:58:01Z","abstract_excerpt":"The Semantic Web ontology language OWL 2 DL comes with a variety of language features that enable sophisticated and practically useful modeling. However, the use of these features has been severely restricted in order to retain decidability of the language. For example, OWL 2 DL does not allow a property to be both transitive and asymmetric, which would be desirable, e.g., for representing an ancestor relation. In this paper, we argue that the so-called global restrictions of OWL 2 DL preclude many useful forms of modeling, by providing a catalog of basic modeling patterns that would be availa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2902","kind":"arxiv","version":3},"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-18T03:27:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O6/h8o/TkvRtq9+GJyfV5zQYcdzUlE/Z7KhExxQlgfe4pKeCvSb34IRUSAl3TY8YL7Uq9i9QbnW0iTd5iLLcAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T11:06:32.218790Z"},"content_sha256":"463fef06b4cf6eea9f7628ccde366bf8b932cec4229c7d90ad18a073a2c42029","schema_version":"1.0","event_id":"sha256:463fef06b4cf6eea9f7628ccde366bf8b932cec4229c7d90ad18a073a2c42029"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M/bundle.json","state_url":"https://pith.science/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M/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-06-05T11:06:32Z","links":{"resolver":"https://pith.science/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M","bundle":"https://pith.science/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M/bundle.json","state":"https://pith.science/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WRTNA5XKLKOXNYQIUWUN5MCU6M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:WRTNA5XKLKOXNYQIUWUN5MCU6M","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":"bc5655b636df6fdf3a17fcec0795297200cbf44fb4a0ba0a86b956ed0cf291b5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-12-12T17:58:01Z","title_canon_sha256":"9563e0938ff993b90c8bdb55424dd58847d1229146afaed82131e8a2af563da0"},"schema_version":"1.0","source":{"id":"1212.2902","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2902","created_at":"2026-05-18T03:27:01Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2902v3","created_at":"2026-05-18T03:27:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2902","created_at":"2026-05-18T03:27:01Z"},{"alias_kind":"pith_short_12","alias_value":"WRTNA5XKLKOX","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"WRTNA5XKLKOXNYQI","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"WRTNA5XK","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:463fef06b4cf6eea9f7628ccde366bf8b932cec4229c7d90ad18a073a2c42029","target":"graph","created_at":"2026-05-18T03:27:01Z","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":"The Semantic Web ontology language OWL 2 DL comes with a variety of language features that enable sophisticated and practically useful modeling. However, the use of these features has been severely restricted in order to retain decidability of the language. For example, OWL 2 DL does not allow a property to be both transitive and asymmetric, which would be desirable, e.g., for representing an ancestor relation. In this paper, we argue that the so-called global restrictions of OWL 2 DL preclude many useful forms of modeling, by providing a catalog of basic modeling patterns that would be availa","authors_text":"Geoff Sutcliffe, Michael Schneider, Sebastian Rudolph","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-12-12T17:58:01Z","title":"Modeling in OWL 2 without Restrictions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2902","kind":"arxiv","version":3},"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:c5c073856c9c3dcd5d9e4c92f384f43bf72d65b85b5a86d2d85373b539c24fdd","target":"record","created_at":"2026-05-18T03:27:01Z","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":"bc5655b636df6fdf3a17fcec0795297200cbf44fb4a0ba0a86b956ed0cf291b5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-12-12T17:58:01Z","title_canon_sha256":"9563e0938ff993b90c8bdb55424dd58847d1229146afaed82131e8a2af563da0"},"schema_version":"1.0","source":{"id":"1212.2902","kind":"arxiv","version":3}},"canonical_sha256":"b466d076ea5a9d76e208a5a8deb054f32975b5f6895ad83481298a09e560f735","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b466d076ea5a9d76e208a5a8deb054f32975b5f6895ad83481298a09e560f735","first_computed_at":"2026-05-18T03:27:01.264769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:01.264769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ez+3+8+ZyThvFiyFVyZx+5bv+Xn6wjWPt1d/ktsLHgU3/wSEajHZmUEuRmKwzb8liWQzwSjN3rpayxSL5+96Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:01.265163Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.2902","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5c073856c9c3dcd5d9e4c92f384f43bf72d65b85b5a86d2d85373b539c24fdd","sha256:463fef06b4cf6eea9f7628ccde366bf8b932cec4229c7d90ad18a073a2c42029"],"state_sha256":"f75fb548188def7563a0a6b209330529d4ed0223e721783b47db992f6d5351c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"surxSohq1sWtzM3pd7RZWe4TSd1woCqRYYHE/7qHW1flURNfC1tuGxHZ0ELMuAYq0N9OpDysPCaajz0rSrsPBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T11:06:32.220697Z","bundle_sha256":"ab898721456e3256046a4c9972f543f0bd594d0d1fb0ecb8c1d77a4e71311579"}}