Paper Citation Record · LEDGER

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2505.21103.

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

pith.paper-citation-record.v1
2505.21103 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:48:15.745557Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact12
verified fuzzy10
unresolved5
parse uncertain0
malformed identifier5
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5e8f56b1-7401-45ea-a4b7-b60552c9e144 · outbound

This paper cites an unresolved cited work.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T13:48:13.528186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 184a8eec-0f55-44d7-898b-c29ff7076a17 · outbound

This paper cites In: Fensel, A., Ozaki, A., Roman, D., Soylu, A.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Fensel, A., Ozaki, A., Roman, D., Soylu, A

Reference 2

Resolution: verified exact; doi, observed 2026-08-07T13:48:17.934656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 86953fae-c94a-46d1-91d5-4e7cc3e65226 · outbound

This paper cites In: Dixon, C., Finger, M.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Dixon, C., Finger, M

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T13:48:17.751755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 29a11fca-6368-4c5e-a6ce-6d9bd461d1f5 · outbound

This paper cites In: ECAI 2020.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: ECAI 2020

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T13:48:17.620521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3dc242fd-447e-4cde-9b50-80593a045699 · outbound

This paper cites (eds.): The Description Logic Handbook: Theory, Implementation, and Applications.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) (eds.): The Description Logic Handbook: Theory, Implementation, and Applications

Reference 5

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:48:21.335528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 07d725b1-3200-4061-9c47-9abc9136983f · outbound

This paper cites In: Herzig, A., Popescu, A.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Herzig, A., Popescu, A

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T13:48:17.378166Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f5156491-3dba-4995-9da0-c0411772dfb7 · outbound

This paper cites In: Mylopoulos, J., Reiter, R.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Mylopoulos, J., Reiter, R

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:21.145580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9519a691-9cf8-4045-b6cf-f269af30ca62 · outbound

This paper cites Cambridge UniversityPress (2017).https://doi.org/10.1017/9781139025355.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Cambridge UniversityPress (2017).https://doi.org/10.1017/9781139025355

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T13:48:13.981519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cbe79ad-2976-42b2-98f5-7c408601d087 · outbound

This paper cites In: Peltier, N., Sofronie-Stokkermans, V.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Peltier, N., Sofronie-Stokkermans, V

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T13:48:17.142223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 010ee3c1-5d49-4911-adc1-a0dbd3b0e8e8 · outbound

This paper cites Journal of Automated Reasoning66(3), 357–407 (Aug 2022).

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Journal of Automated Reasoning66(3), 357–407 (Aug 2022)

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T13:48:16.966321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 390d7908-e7d4-47f2-8c6e-5fb2801878d5 · outbound

This paper cites Memoirs of the American Mathematical Society 66, 72 (1966), https://mathscinet.ams.org/ mathscinet-getitem?mr=216954.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Memoirs of the American Mathematical Society 66, 72 (1966), https://mathscinet.ams.org/ mathscinet-getitem?mr=216954

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:20.939188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5d0ead7d-c6b9-449a-9ecf-06868e8bf4c9 · outbound

This paper cites In: Giordano, L., Jung, J.C., Ozaki, A.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Giordano, L., Jung, J.C., Ozaki, A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:20.728075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f3b8458b-140c-4f58-b506-4181c2e8b864 · outbound

This paper cites general tboxes is decidable for concrete domains with the ehd-property.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) general tboxes is decidable for concrete domains with the ehd-property

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T13:48:16.774135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5cf051e6-6769-4b48-8bde-220a9e6be931 · outbound

This paper cites In: Gaggl, S.A., Martinez, M.V., Ortiz, M.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Gaggl, S.A., Martinez, M.V., Ortiz, M

Reference 14

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:48:20.489702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dbe44f05-5ab4-4d87-9994-1eff6cfd6572 · outbound

This paper cites In: Singh, S., Markovitch, S.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Singh, S., Markovitch, S

Reference 15

Resolution: verified exact; doi, observed 2026-08-07T13:48:16.539648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 943e69bb-25f1-45fc-bf07-b031b94dc1b9 · outbound

This paper cites In: Allen, J.F., Fikes, R., Sandewall, E.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Allen, J.F., Fikes, R., Sandewall, E

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:20.323885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bc7b939b-9e3f-4fad-8ad9-516a7616fd7f · outbound

This paper cites an unresolved cited work.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:48:20.107301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bdb6dc6a-e7b1-42f9-8e9c-ecf20aeb8cc8 · outbound

This paper cites In: Nebel, B.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Nebel, B

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:19.918196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8b2f94db-9ed8-4f75-af40-21aaffa6f7f6 · outbound

This paper cites an unresolved cited work.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Unresolved cited work

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:48:14.650991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 692e1dbd-3d91-4867-9e5d-29d65e091a81 · outbound

This paper cites Artificial Intelligence257, 1–23 (Apr 2018).

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Artificial Intelligence257, 1–23 (Apr 2018)

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:48:14.741104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed5e18a9-de6c-4466-aaec-eb8490e73085 · outbound

This paper cites In: Pfenning, F.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Pfenning, F

Reference 21

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:48:19.670549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 41ae5549-a782-4f25-bb50-c0b0bb3831bf · outbound

This paper cites In: Calvanese, D., Erdem, E., Thielscher, M.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Calvanese, D., Erdem, E., Thielscher, M

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T13:48:16.292213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6a867f5e-fcb3-4563-a4d8-984cebd5566c · outbound

This paper cites Artificial Intelligence201, 32–58 (Aug 2013).

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Artificial Intelligence201, 32–58 (Aug 2013)

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T13:48:16.159484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation efbf0e10-ecb3-4b65-a640-f18ec2604d80 · outbound

This paper cites an unresolved cited work.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:48:19.395613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 382976e8-a252-40db-b94f-c0bd64060bdc · outbound

This paper cites ACM Transactions on Computational Logic (TOCL)5(4), 669–705 (2004).

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) ACM Transactions on Computational Logic (TOCL)5(4), 669–705 (2004)

Reference 25

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:48:18.269429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e3fc54e9-0262-415a-bcae-3966a4038c3f · outbound

This paper cites Journal of Automated Reasoning38(1), 227–259 (Apr 2007).

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Journal of Automated Reasoning38(1), 227–259 (Apr 2007)

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T13:48:16.029730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 73e26c20-2cb8-47b4-8281-5124dead6933 · outbound

This paper cites With a foreword by Martin Davis.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) With a foreword by Martin Davis

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:19.169341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b8a84684-635e-40fe-ad81-27d32973ae60 · outbound

This paper cites In: Nebel, B., Rich, C., Swartout, W.R.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Nebel, B., Rich, C., Swartout, W.R

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:18.956943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9c6c7808-de53-4e56-8dd6-69907b511766 · outbound

This paper cites In: Mylopoulos, J., Reiter, R.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) In: Mylopoulos, J., Reiter, R

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:18.771938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 49d42c91-0bd6-4b2a-9a1c-55f805f11175 · outbound

This paper cites an unresolved cited work.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T13:48:15.525323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f2728f7-08bf-4540-9529-095d2419e335 · outbound

This paper cites an unresolved cited work.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-08-07T13:48:15.911464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f3f7dc99-f237-4e94-9b1e-f5b799efcc8b · outbound

This paper cites , pk.P ∈ tI(d) iff (c1,.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) , pk.P ∈ tI(d) iff (c1,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:18.633851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6cd50966-4c20-4665-9449-44856e9fced7 · outbound

This paper cites We know thatv = ve for some individuale = λd(x) with x ∈ Xd, and thus XP (α1,...,αk) ∈ v = ve iff αI 1 (d, e),.

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) We know thatv = ve for some individuale = λd(x) with x ∈ Xd, and thus XP (α1,...,αk) ∈ v = ve iff αI 1 (d, e),

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:48:18.457568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.