Paper Citation Record · LEDGER

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)

As of 19 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2507.21851.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.21851 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T12:24:28.210348Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:50:12.409457Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-15T19:50:13.429697Z

Reference resolution

28 of 28 outbound references displayed

verified exact11
verified fuzzy6
unresolved5
parse uncertain0
malformed identifier6
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a657e633-5a85-4aac-87e5-e0f6722f66e0 · outbound

This paper cites Brandt, Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else?, in: R.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Brandt, Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else?, in: R

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:24:29.480033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9b26cc12-7285-4e6b-bce2-644aa3bfba44 · outbound

This paper cites Baader, S.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Baader, S

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:24:29.449857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6cf9d42f-6cf2-4735-9477-4fe7859476d3 · outbound

This paper cites Tena Cucala, B.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Tena Cucala, B

Reference 3

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.845965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 26f5eca7-8f7a-4267-b6e3-0939d9b8bf1b · outbound

This paper cites Tena Cucala, B.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Tena Cucala, B

Reference 4

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.794825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a64addab-ce88-418c-8727-f1c37d8bed11 · outbound

This paper cites Kazakov, M.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Kazakov, M

Reference 5

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T12:24:29.418411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1fe613da-4354-4b31-89d9-7abfc24a0988 · outbound

This paper cites Steigmiller, T.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Steigmiller, T

Reference 6

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.756795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6f9079e0-1a5f-486c-bfa9-b6505b7c0834 · outbound

This paper cites an unresolved cited work.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.715312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5fc56de4-96a2-4898-8f88-eb8266efbdc9 · outbound

This paper cites Kazakov, P.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Kazakov, P

Reference 8

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T12:24:29.371807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f1dbe085-3a05-478a-977b-3bf67ce09a65 · outbound

This paper cites Horridge, B.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Horridge, B

Reference 9

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.670181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c5019cdf-305f-4583-a54e-3162bc903480 · outbound

This paper cites Schlobach, Explaining subsumption by optimal interpolation, in: J.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Schlobach, Explaining subsumption by optimal interpolation, in: J

Reference 10

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T12:24:29.326649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 689d12c0-70ea-4e59-ada3-01375ff73993 · outbound

This paper cites Alrabbaa, F.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, F

Reference 11

Resolution: malformed identifier; doi_truncated, observed 2026-08-06T12:24:28.625016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3043ce9c-dc14-4ff0-9617-8636b3d7a0ed · outbound

This paper cites Alrabbaa, S.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, S

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T12:24:28.019676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f42f246d-fcb0-4ea2-b4ea-2ad6d31b1097 · outbound

This paper cites Baader, I.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Baader, I

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T12:24:28.032801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 461d9de8-565c-45b4-9dfe-263985efdb56 · outbound

This paper cites Krötzsch, Efficient rule-based inferencing for OWL EL, in: T.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Krötzsch, Efficient rule-based inferencing for OWL EL, in: T

Reference 14

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.550983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a77a386c-0ca1-4050-a5a2-92020f1657c3 · outbound

This paper cites Carral, I.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Carral, I

Reference 15

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.524538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ee2eee4e-f418-4be7-be49-88af46ad86d2 · outbound

This paper cites Ivliev, L.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Ivliev, L

Reference 16

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.478094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f666e406-48ff-42f1-b27a-600c7befdf49 · outbound

This paper cites Parsia, N.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Parsia, N

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:24:29.281223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3a623598-4ede-4e3d-9095-e7b93a44342d · outbound

This paper cites an unresolved cited work.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Unresolved cited work

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-06T12:24:28.102037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 751e1e2e-b28a-423d-af7c-49fab358c3ae · outbound

This paper cites Horridge, S.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Horridge, S

Reference 19

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.397198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 47a968d5-1422-44d6-aae4-77f5e2c01d59 · outbound

This paper cites Kazakov, P.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Kazakov, P

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:24:29.231657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c84ea66e-4281-4ff1-b0aa-ed04460a04ea · outbound

This paper cites Méndez, C.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Méndez, C

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T12:24:28.144525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f99ae337-a6eb-4ad0-a94d-5f70ce608322 · outbound

This paper cites Alrabbaa, F.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, F

Reference 22

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T12:24:29.142708Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5d170916-1f58-4305-830a-84ea8aa16a23 · outbound

This paper cites Alrabbaa, F.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, F

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:24:29.102179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e646b032-9e17-4a9e-a4db-bcadc0416c91 · outbound

This paper cites Yannakakis, A polynomial algorithm for the min-cut linear arrangement of trees, J.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Yannakakis, A polynomial algorithm for the min-cut linear arrangement of trees, J

Reference 24

Resolution: verified exact; raw_fallback, observed 2026-08-06T12:24:29.016185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2747f740-2b6e-4e45-9744-26a21dcb7263 · outbound

This paper cites Horridge, S.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Horridge, S

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T12:24:28.184435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8994a621-97a5-4e8c-9754-d4a7d81d6bd5 · outbound

This paper cites Alrabbaa, S.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, S

Reference 26

Resolution: verified exact; doi, observed 2026-08-06T12:24:28.287583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e7cd633f-1af2-494f-bd32-87762f293425 · outbound

This paper cites We abbreviate 𝑤𝑠 1 = cw(𝑆′ 1), and note that 𝑤𝑠 1≥ 𝑤1 = cw(𝑇 ).

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) We abbreviate 𝑤𝑠 1 = cw(𝑆′ 1), and note that 𝑤𝑠 1≥ 𝑤1 = cw(𝑇 )

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:24:29.053911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3a0b1792-69f3-4ed9-be53-952d0820081b · outbound

This paper cites an unresolved cited work.

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Unresolved cited work

Reference 2017

Resolution: unresolved; raw_fallback, observed 2026-08-06T12:24:29.183979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

Observation 2f952d0b-3c74-46c4-a20b-1a1162ac65e5 · inbound

Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$ cites this paper.

Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$ The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T19:50:13.435641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.