Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	DL 2022 Description Logics 2022
Subtitle of host publication	Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). Haifa, Israel, August 7th to 10th, 2022
Editors	O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier
Publisher	CEUR-WS
Number of pages	5
Publication status	Published - 2022
Externally published	Yes
Event	35th International Workshop on Description Logics, DL 2022 - Haifa, Israel Duration: 7 Aug 2022 → 10 Aug 2022

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS
Volume	3263
ISSN (Print)	1613-0073

Conference

Conference	35th International Workshop on Description Logics, DL 2022
Country/Territory	Israel
City	Haifa
Period	7/08/22 → 10/08/22

Funding

This work was partially supported by the AI competence center ScaDS.AI Dresden/Leipzig and the Deutsche Forschungsgemeinschaft (DFG), Grant 430150274, and Grant 389792660 within TRR 248.

Funders	Funder number
Deutsche Forschungsgemeinschaft	TRR 248, 389792660, 430150274

Access to Document

https://ceur-ws.org/Vol-3263/abstract-2.pdf

Persistent URL (handle)

Persistent link

Cite this

Baader, F., Koopmann, P., Kriegel, F., & Nuradiansyah, A. (2022). Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes. In O. Arieli, M. Homola, J. C. Jung, & M.-L. Mugnier (Eds.), DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). Haifa, Israel, August 7th to 10th, 2022 (CEUR Workshop Proceedings; Vol. 3263). CEUR-WS. https://ceur-ws.org/Vol-3263/abstract-2.pdf

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco et al. / Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes. DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). Haifa, Israel, August 7th to 10th, 2022. editor / O. Arieli ; M. Homola ; J.C. Jung ; M.-L. Mugnier. CEUR-WS, 2022. (CEUR Workshop Proceedings).

@inproceedings{0050c67241e64ceea21717b02b9dd0b5,

title = "Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes",

author = "Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah",

year = "2022",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

editor = "O. Arieli and M. Homola and J.C. Jung and M.-L. Mugnier",

booktitle = "DL 2022 Description Logics 2022",

note = "35th International Workshop on Description Logics, DL 2022 ; Conference date: 07-08-2022 Through 10-08-2022",

}

Baader, F, Koopmann, P, Kriegel, F & Nuradiansyah, A 2022, Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes. in O Arieli, M Homola, JC Jung & M-L Mugnier (eds), DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). Haifa, Israel, August 7th to 10th, 2022. CEUR Workshop Proceedings, vol. 3263, CEUR-WS, 35th International Workshop on Description Logics, DL 2022, Haifa, Israel, 7/08/22. <https://ceur-ws.org/Vol-3263/abstract-2.pdf>

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes. / Baader, Franz; Koopmann, Patrick; Kriegel, Francesco et al.
DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). Haifa, Israel, August 7th to 10th, 2022. ed. / O. Arieli; M. Homola; J.C. Jung; M.-L. Mugnier. CEUR-WS, 2022. (CEUR Workshop Proceedings; Vol. 3263).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

AU - Baader, Franz

AU - Koopmann, Patrick

AU - Kriegel, Francesco

AU - Nuradiansyah, Adrian

PY - 2022

Y1 - 2022

UR - https://www.scopus.com/pages/publications/85142424175

UR - https://ceur-ws.org/Vol-3263/

UR - https://www.scopus.com/inward/citedby.url?scp=85142424175&partnerID=8YFLogxK

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - DL 2022 Description Logics 2022

A2 - Arieli, O.

A2 - Homola, M.

A2 - Jung, J.C.

A2 - Mugnier, M.-L.

PB - CEUR-WS

T2 - 35th International Workshop on Description Logics, DL 2022

Y2 - 7 August 2022 through 10 August 2022

ER -

Baader F, Koopmann P, Kriegel F, Nuradiansyah A. Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes. In Arieli O, Homola M, Jung JC, Mugnier ML, editors, DL 2022 Description Logics 2022: Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference (FLoC 2022). Haifa, Israel, August 7th to 10th, 2022. CEUR-WS. 2022. (CEUR Workshop Proceedings). Epub 2022 Nov 3.

Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

Publication series

Conference

Funding

Access to Document

Persistent URL (handle)

Other files and links

Cite this