An API for DL Abduction Solvers

Zuzana Hlávková; Martin Homola; Patrick Koopmann; Júlia Pukancová

An API for DL Abduction Solvers

Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová

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

Abstract

As abduction is getting more attention in the world of ontologies, multiple abduction solvers for description logics (DL) have been developed. So far, however, there was no attempt for a unified API that would facilitate the integration of different DL abduction solvers in an application, in the way e.g. the OWL API does it for deductive OWL reasoning systems. In order to fill this gap, we abstract the common functionalities of different DL abduction solvers and introduce the DL Abduction API.

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 supported by the Slovak Research and Development Agency under the Contract no. APVV-19-0220 (ORBIS) and by the EU H2020 programme under Contract no. 952215 (TAILOR). Martin Homola is also supported by projects VEGA 1/0621/22 and APVV-20-0353.

Funders	Funder number
EU H2020	952215
Agentúra na Podporu Výskumu a Vývoja	APVV-19-0220
Vedecká Grantová Agentúra MŠVVaŠ SR a SAV	APVV-20-0353, 1/0621/22

Persistent URL (handle)

Copy link address

Cite this

@inproceedings{be0553eeb4154def9adfad1109d8b36c,

title = "An API for DL Abduction Solvers",

abstract = "As abduction is getting more attention in the world of ontologies, multiple abduction solvers for description logics (DL) have been developed. So far, however, there was no attempt for a unified API that would facilitate the integration of different DL abduction solvers in an application, in the way e.g. the OWL API does it for deductive OWL reasoning systems. In order to fill this gap, we abstract the common functionalities of different DL abduction solvers and introduce the DL Abduction API.",

author = "Zuzana Hl{\'a}vkov{\'a} and Martin Homola and Patrick Koopmann and J{\'u}lia Pukancov{\'a}",

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",

}

Hlávková, Z, Homola, M, Koopmann, P & Pukancová, J 2022, An API for DL Abduction Solvers. 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.

An API for DL Abduction Solvers. / Hlávková, Zuzana; Homola, Martin; Koopmann, Patrick 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 - An API for DL Abduction Solvers

AU - Hlávková, Zuzana

AU - Homola, Martin

AU - Koopmann, Patrick

AU - Pukancová, Júlia

PY - 2022

Y1 - 2022

N2 - As abduction is getting more attention in the world of ontologies, multiple abduction solvers for description logics (DL) have been developed. So far, however, there was no attempt for a unified API that would facilitate the integration of different DL abduction solvers in an application, in the way e.g. the OWL API does it for deductive OWL reasoning systems. In order to fill this gap, we abstract the common functionalities of different DL abduction solvers and introduce the DL Abduction API.

AB - As abduction is getting more attention in the world of ontologies, multiple abduction solvers for description logics (DL) have been developed. So far, however, there was no attempt for a unified API that would facilitate the integration of different DL abduction solvers in an application, in the way e.g. the OWL API does it for deductive OWL reasoning systems. In order to fill this gap, we abstract the common functionalities of different DL abduction solvers and introduce the DL Abduction API.

UR - http://www.scopus.com/inward/record.url?scp=85142412538&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

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

Y2 - 7 August 2022 through 10 August 2022

ER -

An API for DL Abduction Solvers

Abstract

Publication series

Conference

Funding

Persistent URL (handle)

Other files and links

Fingerprint

Cite this