TY - GEN
T1 - Combining Event Calculus and Description Logic Reasoning via Logic Programming
AU - Baumgartner, Peter
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing systems that evolve over time. The approach is exemplified with the logic programming language as implemented in the Fusemate system. The paper extends Fusemate’s rule language with a weakly DL-safe interface to the description logic ALCIF and adapts the event calculus to this extended language. This way, time-stamped ABoxes can be manipulated as fluents in the event calculus. All that is done in the frame of Fusemate’s concept of stratification by time. The paper provides conditions for soundness and completeness where appropriate. Using an elaborated example it demonstrates the interplay of the event calculus, description logic and logic programming rules for computing possible models as plausible explanations of the current state of the modelled system.
AB - The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for modelling and analysing systems that evolve over time. The approach is exemplified with the logic programming language as implemented in the Fusemate system. The paper extends Fusemate’s rule language with a weakly DL-safe interface to the description logic ALCIF and adapts the event calculus to this extended language. This way, time-stamped ABoxes can be manipulated as fluents in the event calculus. All that is done in the frame of Fusemate’s concept of stratification by time. The paper provides conditions for soundness and completeness where appropriate. Using an elaborated example it demonstrates the interplay of the event calculus, description logic and logic programming rules for computing possible models as plausible explanations of the current state of the modelled system.
UR - http://www.scopus.com/inward/record.url?scp=85115255783&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-86205-3_6
DO - 10.1007/978-3-030-86205-3_6
M3 - Conference contribution
SN - 9783030862046
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 98
EP - 117
BT - Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings
A2 - Konev, Boris
A2 - Reger, Giles
PB - Springer Science and Business Media Deutschland GmbH
T2 - 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, co-located with the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021
Y2 - 8 September 2021 through 10 September 2021
ER -