Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 36th International Workshop on Description Logics (DL 2023) |
Subtitle of host publication | co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). |
Publication status | Published - 2023 |
Event | 36th International Workshop on Description Logics, DL 2023 - Rhodes, Greece Duration: 2 Sept 2023 → 4 Sept 2023 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR Workshop Proceedings |
Volume | 3515 |
ISSN (Print) | 1613-0073 |
Abstract
Dispute resolution is an essential part of argumentation. Although there have been particular advances in computational argumentation with machine learning, we assume that explicit and deterministic techniques for dispute resolution still have significant potential. There are semantic approaches to argument representation, such as the Argument Interchange Format that supports a certain level of interoperability, but according to our knowledge, dispute resolution techniques based on semantics are not yet studied. In this research, we consider single mixed disputes through abstract argumentation frameworks and propose a method for representing such disputes in OWL DL that allows resolving them with reasoning. Additionally, we develop an algorithm for generating the OWL DL representation having argument sets and attack relations as input. The algorithm is validated with a proof of concept implementation, and the OWL DL representation - with an example of correct dispute resolution performed by reasoning over the generated ontology.
Keywords
- abstract argumentation frameworks, computational argumentation, Dispute resolution, OWL DL, reasoning
ASJC Scopus subject areas
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Proceedings of the 36th International Workshop on Description Logics (DL 2023): co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). . 2023. (CEUR Workshop Proceedings; Vol. 3515).
Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review
}
TY - CHAP
T1 - Dispute Resolution with OWL DL and Reasoning
AU - Baimuratov, Ildar
AU - Lisanyuk, Elena
AU - Prokudin, Dmitry
N1 - Funding Information: This work was co-funded by the European Research Council for the project ScienceGRAPH (Grant agreement ID: 819536) and NFDI4DataScience funded by the German Research Foundation (DFG project number 460234259). The support from the Russian Science Foundation, project No. 20-18-00158, realised at St. Petersburg State University, is kindly recognized.
PY - 2023
Y1 - 2023
N2 - Dispute resolution is an essential part of argumentation. Although there have been particular advances in computational argumentation with machine learning, we assume that explicit and deterministic techniques for dispute resolution still have significant potential. There are semantic approaches to argument representation, such as the Argument Interchange Format that supports a certain level of interoperability, but according to our knowledge, dispute resolution techniques based on semantics are not yet studied. In this research, we consider single mixed disputes through abstract argumentation frameworks and propose a method for representing such disputes in OWL DL that allows resolving them with reasoning. Additionally, we develop an algorithm for generating the OWL DL representation having argument sets and attack relations as input. The algorithm is validated with a proof of concept implementation, and the OWL DL representation - with an example of correct dispute resolution performed by reasoning over the generated ontology.
AB - Dispute resolution is an essential part of argumentation. Although there have been particular advances in computational argumentation with machine learning, we assume that explicit and deterministic techniques for dispute resolution still have significant potential. There are semantic approaches to argument representation, such as the Argument Interchange Format that supports a certain level of interoperability, but according to our knowledge, dispute resolution techniques based on semantics are not yet studied. In this research, we consider single mixed disputes through abstract argumentation frameworks and propose a method for representing such disputes in OWL DL that allows resolving them with reasoning. Additionally, we develop an algorithm for generating the OWL DL representation having argument sets and attack relations as input. The algorithm is validated with a proof of concept implementation, and the OWL DL representation - with an example of correct dispute resolution performed by reasoning over the generated ontology.
KW - abstract argumentation frameworks
KW - computational argumentation
KW - Dispute resolution
KW - OWL DL
KW - reasoning
UR - http://www.scopus.com/inward/record.url?scp=85176419803&partnerID=8YFLogxK
M3 - Contribution to book/anthology
AN - SCOPUS:85176419803
T3 - CEUR Workshop Proceedings
BT - Proceedings of the 36th International Workshop on Description Logics (DL 2023)
T2 - 36th International Workshop on Description Logics, DL 2023
Y2 - 2 September 2023 through 4 September 2023
ER -