{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NN6VD2FIXDSCVQQQ6PA3WV6UWL","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":"20ef2fa3c290e1d54d4c628215a6b2a7220bcc1b66f1f5c3818a52aef86da7c0","cross_cats_sorted":["cs.DB","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-30T04:05:35Z","title_canon_sha256":"f984ee1959cf97241d9a40a390e2ee651cbad6d33c8f7f0e8eb029d53cb0e1e7"},"schema_version":"1.0","source":{"id":"1808.10108","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.10108","created_at":"2026-05-18T00:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"1808.10108v1","created_at":"2026-05-18T00:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.10108","created_at":"2026-05-18T00:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"NN6VD2FIXDSC","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NN6VD2FIXDSCVQQQ","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NN6VD2FI","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:89648949bd53736d7c3f5e5a68e724266ad51089a3ca5c7036f8d5e957622289","target":"graph","created_at":"2026-05-18T00:06:49Z","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":"It has been argued that it is much easier to convey logical statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on transformations between rules and DLs, we have developed ROWLTab, a Protege plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL 2 DL axioms if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of the rule. In this paper, we present ROWLTab, together with a user evaluation of its effectiveness co","authors_text":"Adila Krisnadhi, David Carral, Md. Kamruzzaman Sarker, Pascal Hitzler","cross_cats":["cs.DB","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-30T04:05:35Z","title":"Rule-based OWL Modeling with ROWLTab Protege Plugin"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.10108","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:fe9eab0bac5df77edafb91ae59b403dd6c46f58cd7b957048b476adb864719d8","target":"record","created_at":"2026-05-18T00:06:49Z","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":"20ef2fa3c290e1d54d4c628215a6b2a7220bcc1b66f1f5c3818a52aef86da7c0","cross_cats_sorted":["cs.DB","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-30T04:05:35Z","title_canon_sha256":"f984ee1959cf97241d9a40a390e2ee651cbad6d33c8f7f0e8eb029d53cb0e1e7"},"schema_version":"1.0","source":{"id":"1808.10108","kind":"arxiv","version":1}},"canonical_sha256":"6b7d51e8a8b8e42ac210f3c1bb57d4b2c9f2b83c22d399aaf1918be0198a011f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b7d51e8a8b8e42ac210f3c1bb57d4b2c9f2b83c22d399aaf1918be0198a011f","first_computed_at":"2026-05-18T00:06:49.795336Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:49.795336Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZMhyQwfn9Tvq8m5sbyooy8gj11TPamcTPQewsHBtx+Mb+uluuva5Ma12xM4ynAF+f18dJwvO54v190Gnd8V9Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:49.795858Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.10108","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe9eab0bac5df77edafb91ae59b403dd6c46f58cd7b957048b476adb864719d8","sha256:89648949bd53736d7c3f5e5a68e724266ad51089a3ca5c7036f8d5e957622289"],"state_sha256":"15ca84b6c987358fbacdeeb20a0bab5fe114338b2507c93a2d075f700b326a36"}