TY - GEN
T1 - Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL
AU - Giordano, Laura
AU - Martelli, Alberto
AU - Theseider Dupré, Daniele
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - We propose an approach for reasoning about actions with domain descriptions including an EL⊥ ontology in a temporal action theory. The action theory is based on a Dynamic Linear Time Temporal Logic, whose extensions are defined through temporal answer sets. The work provides conditions under which action consistency can be guaranteed with respect to an EL⊥ ontology, by polynomially encoding an EL⊥ knowledge base into a domain description of the temporal action theory.
AB - We propose an approach for reasoning about actions with domain descriptions including an EL⊥ ontology in a temporal action theory. The action theory is based on a Dynamic Linear Time Temporal Logic, whose extensions are defined through temporal answer sets. The work provides conditions under which action consistency can be guaranteed with respect to an EL⊥ ontology, by polynomially encoding an EL⊥ knowledge base into a domain description of the temporal action theory.
UR - http://www.scopus.com/inward/record.url?scp=85138001543&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-15707-3_18
DO - 10.1007/978-3-031-15707-3_18
M3 - Conference contribution
AN - SCOPUS:85138001543
SN - 9783031157066
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 231
EP - 244
BT - Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings
A2 - Gottlob, Georg
A2 - Inclezan, Daniela
A2 - Maratea, Marco
PB - Springer Science and Business Media Deutschland GmbH
T2 - 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022
Y2 - 5 September 2022 through 9 September 2022
ER -