{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:F72DNRBQ3Q5LOZMHSMK53GCKYT","short_pith_number":"pith:F72DNRBQ","schema_version":"1.0","canonical_sha256":"2ff436c430dc3ab765879315dd984ac4e3c81a48fe871e6e5c3f13aa88a897fc","source":{"kind":"arxiv","id":"1509.08717","version":1},"attestation_state":"computed","paper":{"title":"Towards Unveiling the Ontology Key Features Altering Reasoner Performances","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IR","cs.LO"],"primary_cat":"cs.AI","authors_text":"Myriam Lamolle, Nourh\\`ene Alaya, Sadok Ben Yahia","submitted_at":"2015-09-29T12:31:03Z","abstract_excerpt":"Reasoning with ontologies is one of the core fields of research in Description Logics. A variety of efficient reasoner with highly optimized algorithms have been developed to allow inference tasks on expressive ontology languages such as OWL(DL). However, reasoner reported computing times have exceeded and sometimes fall behind the expected theoretical values. From an empirical perspective, it is not yet well understood, which particular aspects in the ontology are reasoner performance degrading factors. In this paper, we conducted an investigation about state of art works that attempted to po"},"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":"1509.08717","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-09-29T12:31:03Z","cross_cats_sorted":["cs.IR","cs.LO"],"title_canon_sha256":"95c18daf67d138071dc1b7c1a58fdce30d6cc4380222c5e96b9d9ac237030838","abstract_canon_sha256":"aa9d2f565e0f1f10bc8410eb8be9a4e5cd452749dfa17d60c4ac9f7409dc1a06"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:31:29.492590Z","signature_b64":"TkG8B5A6ysTy/VNEs07DL0r8Gsi3oViYXv9tAXgVY61NCM2Dc3AfS74nAifv3pxPY/O48eii3qos68MXFR6qAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ff436c430dc3ab765879315dd984ac4e3c81a48fe871e6e5c3f13aa88a897fc","last_reissued_at":"2026-05-18T01:31:29.492017Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:31:29.492017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Unveiling the Ontology Key Features Altering Reasoner Performances","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IR","cs.LO"],"primary_cat":"cs.AI","authors_text":"Myriam Lamolle, Nourh\\`ene Alaya, Sadok Ben Yahia","submitted_at":"2015-09-29T12:31:03Z","abstract_excerpt":"Reasoning with ontologies is one of the core fields of research in Description Logics. A variety of efficient reasoner with highly optimized algorithms have been developed to allow inference tasks on expressive ontology languages such as OWL(DL). However, reasoner reported computing times have exceeded and sometimes fall behind the expected theoretical values. From an empirical perspective, it is not yet well understood, which particular aspects in the ontology are reasoner performance degrading factors. In this paper, we conducted an investigation about state of art works that attempted to po"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.08717","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":"1509.08717","created_at":"2026-05-18T01:31:29.492100+00:00"},{"alias_kind":"arxiv_version","alias_value":"1509.08717v1","created_at":"2026-05-18T01:31:29.492100+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.08717","created_at":"2026-05-18T01:31:29.492100+00:00"},{"alias_kind":"pith_short_12","alias_value":"F72DNRBQ3Q5L","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_16","alias_value":"F72DNRBQ3Q5LOZMH","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_8","alias_value":"F72DNRBQ","created_at":"2026-05-18T12:29:19.899920+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/F72DNRBQ3Q5LOZMHSMK53GCKYT","json":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT.json","graph_json":"https://pith.science/api/pith-number/F72DNRBQ3Q5LOZMHSMK53GCKYT/graph.json","events_json":"https://pith.science/api/pith-number/F72DNRBQ3Q5LOZMHSMK53GCKYT/events.json","paper":"https://pith.science/paper/F72DNRBQ"},"agent_actions":{"view_html":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT","download_json":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT.json","view_paper":"https://pith.science/paper/F72DNRBQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1509.08717&json=true","fetch_graph":"https://pith.science/api/pith-number/F72DNRBQ3Q5LOZMHSMK53GCKYT/graph.json","fetch_events":"https://pith.science/api/pith-number/F72DNRBQ3Q5LOZMHSMK53GCKYT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT/action/storage_attestation","attest_author":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT/action/author_attestation","sign_citation":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT/action/citation_signature","submit_replication":"https://pith.science/pith/F72DNRBQ3Q5LOZMHSMK53GCKYT/action/replication_record"}},"created_at":"2026-05-18T01:31:29.492100+00:00","updated_at":"2026-05-18T01:31:29.492100+00:00"}