{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VVB5LIV4RDQQYV6LIP7LXEX5RL","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":"e3ee09cbeab560ca7a8bbfc342130040ef622620a59e32e997247a6ea1020234","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-14T16:25:43Z","title_canon_sha256":"15799d0ae0e7c4a0f0ba11bc9cb13991a42a4abbed7443699615e6b72f9905ab"},"schema_version":"1.0","source":{"id":"1906.06275","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.06275","created_at":"2026-05-17T23:43:19Z"},{"alias_kind":"arxiv_version","alias_value":"1906.06275v1","created_at":"2026-05-17T23:43:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.06275","created_at":"2026-05-17T23:43:19Z"},{"alias_kind":"pith_short_12","alias_value":"VVB5LIV4RDQQ","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"VVB5LIV4RDQQYV6L","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"VVB5LIV4","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:db64cea854fe828e1fdd162163b0c9684ac7103ba86e23cc4bd33e0d43a54394","target":"graph","created_at":"2026-05-17T23:43:19Z","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":"Generic ontologies were introduced as an extension (Generic DOL) of the Distributed Ontology, Modeling and Specification Language, DOL, with the aim to provide a language for Generic Ontology Design Patterns. In this paper we present a number of new language constructs that increase the expressivity and the generality of Generic DOL, among them sequential and optional parameters, list parameters with recursion, and local sub-patterns. These are illustrated with non-trivial patterns: generic value sets and (nested) qualitatively graded relations, demonstrated as definitional building blocks in ","authors_text":"Bernd Krieg-Br\\\"uckner, Mihai Codescu, Till Mossakowski","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-14T16:25:43Z","title":"Extensions of Generic DOL for Generic Ontology Design Patterns"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.06275","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:53e304bc73662654b1dae9f7fa4b73454b189108c9436e462994f3ec87a5fe09","target":"record","created_at":"2026-05-17T23:43:19Z","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":"e3ee09cbeab560ca7a8bbfc342130040ef622620a59e32e997247a6ea1020234","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-14T16:25:43Z","title_canon_sha256":"15799d0ae0e7c4a0f0ba11bc9cb13991a42a4abbed7443699615e6b72f9905ab"},"schema_version":"1.0","source":{"id":"1906.06275","kind":"arxiv","version":1}},"canonical_sha256":"ad43d5a2bc88e10c57cb43febb92fd8ad2bedb4886ee4a28ed94bd1d824506fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad43d5a2bc88e10c57cb43febb92fd8ad2bedb4886ee4a28ed94bd1d824506fc","first_computed_at":"2026-05-17T23:43:19.150535Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:19.150535Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TheGY2D7zYf6i1TwhR+QGCw1RFN62ZO/OHoLEfOG8JuGYwXi09oJzqcXkcMGtfqLNXhTsK24XXbRTAo3NVfkDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:19.151088Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.06275","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53e304bc73662654b1dae9f7fa4b73454b189108c9436e462994f3ec87a5fe09","sha256:db64cea854fe828e1fdd162163b0c9684ac7103ba86e23cc4bd33e0d43a54394"],"state_sha256":"143663eb3f45fc2a1d62a0200510ad1c6e1217fd439640159204142c998dcb8f"}