{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:OPZF6KD2L3IMNNWW3ZQ7KAH6BY","short_pith_number":"pith:OPZF6KD2","schema_version":"1.0","canonical_sha256":"73f25f287a5ed0c6b6d6de61f500fe0e2baa5e4e74de5e30113b96afbadec5ec","source":{"kind":"arxiv","id":"2208.07628","version":5},"attestation_state":"computed","paper":{"title":"FALCON: Scalable Reasoning over Inconsistent ALC Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Robert Hoehndorf, Tilman Hinnerichs, Xiangliang Zhang, Xi Peng, Zhenwei Tang","submitted_at":"2022-08-16T09:27:11Z","abstract_excerpt":"Ontologies are one of the richest sources of knowledge. Real-world ontologies often contain thousands of axioms and are often human-made. Hence, they may contain inconsistency and incomplete information which may impair classical reasoners to compute entailments that are considered as useful. To overcome these two challenges, we propose FALCON, a Fuzzy Ontology Neural reasoner to approximate reasoning over ALC ontologies. We provide an approximate technique for the model generation step in classical ALC reasoners. Our approximation is not guaranteed to construct exact logical models, but can a"},"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":"2208.07628","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-08-16T09:27:11Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3911802859cdecbf7e54a976db1dca6c020f78ab6f98e829729707a59dde1d7d","abstract_canon_sha256":"35191716c7a4296deac66e45b259ba5583ba98b224ac686249cb15a7a16ab754"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:23:06.979223Z","signature_b64":"ljnIofbBrZiPpqbd14cyKtLwOrIgzErordnFObHdLpNAX02il9k/hhrQUoDTLKJ1Cg/e09cZA2B3Xn8fWSe+Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73f25f287a5ed0c6b6d6de61f500fe0e2baa5e4e74de5e30113b96afbadec5ec","last_reissued_at":"2026-07-05T08:23:06.978699Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:23:06.978699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"FALCON: Scalable Reasoning over Inconsistent ALC Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Robert Hoehndorf, Tilman Hinnerichs, Xiangliang Zhang, Xi Peng, Zhenwei Tang","submitted_at":"2022-08-16T09:27:11Z","abstract_excerpt":"Ontologies are one of the richest sources of knowledge. Real-world ontologies often contain thousands of axioms and are often human-made. Hence, they may contain inconsistency and incomplete information which may impair classical reasoners to compute entailments that are considered as useful. To overcome these two challenges, we propose FALCON, a Fuzzy Ontology Neural reasoner to approximate reasoning over ALC ontologies. We provide an approximate technique for the model generation step in classical ALC reasoners. Our approximation is not guaranteed to construct exact logical models, but can a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.07628","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.07628/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2208.07628","created_at":"2026-07-05T08:23:06.978766+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.07628v5","created_at":"2026-07-05T08:23:06.978766+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.07628","created_at":"2026-07-05T08:23:06.978766+00:00"},{"alias_kind":"pith_short_12","alias_value":"OPZF6KD2L3IM","created_at":"2026-07-05T08:23:06.978766+00:00"},{"alias_kind":"pith_short_16","alias_value":"OPZF6KD2L3IMNNWW","created_at":"2026-07-05T08:23:06.978766+00:00"},{"alias_kind":"pith_short_8","alias_value":"OPZF6KD2","created_at":"2026-07-05T08:23:06.978766+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2508.08128","citing_title":"Fuzzy Ontology Embeddings and Visual Query Building for Ontology Exploration","ref_index":59,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY","json":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY.json","graph_json":"https://pith.science/api/pith-number/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/graph.json","events_json":"https://pith.science/api/pith-number/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/events.json","paper":"https://pith.science/paper/OPZF6KD2"},"agent_actions":{"view_html":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY","download_json":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY.json","view_paper":"https://pith.science/paper/OPZF6KD2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.07628&json=true","fetch_graph":"https://pith.science/api/pith-number/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/graph.json","fetch_events":"https://pith.science/api/pith-number/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/action/storage_attestation","attest_author":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/action/author_attestation","sign_citation":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/action/citation_signature","submit_replication":"https://pith.science/pith/OPZF6KD2L3IMNNWW3ZQ7KAH6BY/action/replication_record"}},"created_at":"2026-07-05T08:23:06.978766+00:00","updated_at":"2026-07-05T08:23:06.978766+00:00"}