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 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022
Editors	O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier
Publisher	CEUR-WS
Volume	3263
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
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

Persistent URL (handle)

Copy link address

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 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022 (Vol. 3263). (CEUR Workshop Proceedings). CEUR-WS.

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco et al. / Optimal ABox Repair w.r.t. Static ℰℒ TBoxes : from Quantified ABoxes back to ABoxes. DL 2022 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022. editor / O. Arieli ; M. Homola ; J.C. Jung ; M.-L. Mugnier. Vol. 3263 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",

volume = "3263",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

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

booktitle = "DL 2022 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 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 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022. vol. 3263, CEUR Workshop Proceedings, CEUR-WS, 35th International Workshop on Description Logics, DL 2022, Haifa, Israel, 7/08/22.

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

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

TY - GEN

T1 - Optimal ABox Repair w.r.t. Static ℰℒ TBoxes

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

AU - Baader, Franz

AU - Koopmann, Patrick

AU - Kriegel, Francesco

AU - Nuradiansyah, Adrian

PY - 2022

Y1 - 2022

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

M3 - Conference contribution

VL - 3263

T3 - CEUR Workshop Proceedings

BT - DL 2022 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022

A2 - Arieli, O.

A2 - Homola, M.

A2 - Jung, J.C.

A2 - Mugnier, M.-L.

PB - CEUR-WS

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 - Proceedings of the 35th International Workshop on Description Logics, co-located with Federated Logic Conference, FLoC 2022. Vol. 3263. CEUR-WS. 2022. (CEUR Workshop Proceedings).

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

Publication series

Conference

Funding

Persistent URL (handle)

Other files and links

Cite this