Combining Event Calculus and Description Logic Reasoning via Logic Programming

Peter Baumgartner

doi:10.1007/978-3-030-86205-3_6

Combining Event Calculus and Description Logic Reasoning via Logic Programming

Peter Baumgartner^*

^*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings
Editors	Boris Konev, Giles Reger
Publisher	Springer Science+Business Media B.V.
Pages	98-117
Number of pages	20
ISBN (Print)	9783030862046
DOIs	https://doi.org/10.1007/978-3-030-86205-3_6
Publication status	Published - 2021
Event	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 - Birmingham, United Kingdom Duration: 8 Sept 2021 → 10 Sept 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12941 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	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
Country/Territory	United Kingdom
City	Birmingham
Period	8/09/21 → 10/09/21

Access to Document

10.1007/978-3-030-86205-3_6

Cite this

Baumgartner, P. (2021). Combining Event Calculus and Description Logic Reasoning via Logic Programming. In B. Konev, & G. Reger (Eds.), Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings (pp. 98-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12941 LNAI). Springer Science+Business Media B.V.. https://doi.org/10.1007/978-3-030-86205-3_6

Baumgartner, Peter. / Combining Event Calculus and Description Logic Reasoning via Logic Programming. Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings. editor / Boris Konev ; Giles Reger. Springer Science+Business Media B.V., 2021. pp. 98-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f48e3d5d8d9b4538944d17007909d562,

title = "Combining Event Calculus and Description Logic Reasoning via Logic Programming",

abstract = "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{\textquoteright}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{\textquoteright}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.",

author = "Peter Baumgartner",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 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 ; Conference date: 08-09-2021 Through 10-09-2021",

year = "2021",

doi = "10.1007/978-3-030-86205-3_6",

language = "English",

isbn = "9783030862046",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science+Business Media B.V.",

pages = "98--117",

editor = "Boris Konev and Giles Reger",

booktitle = "Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings",

address = "Netherlands",

}

Baumgartner, P 2021, Combining Event Calculus and Description Logic Reasoning via Logic Programming. in B Konev & G Reger (eds), Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12941 LNAI, Springer Science+Business Media B.V., pp. 98-117, 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, Birmingham, United Kingdom, 8/09/21. https://doi.org/10.1007/978-3-030-86205-3_6

Combining Event Calculus and Description Logic Reasoning via Logic Programming. / Baumgartner, Peter.
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings. ed. / Boris Konev; Giles Reger. Springer Science+Business Media B.V., 2021. p. 98-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12941 LNAI).

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

TY - GEN

T1 - Combining Event Calculus and Description Logic Reasoning via Logic Programming

AU - Baumgartner, Peter

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 Paper

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+Business Media B.V.

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 -

Baumgartner P. Combining Event Calculus and Description Logic Reasoning via Logic Programming. In Konev B, Reger G, editors, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings. Springer Science+Business Media B.V. 2021. p. 98-117. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-86205-3_6

Combining Event Calculus and Description Logic Reasoning via Logic Programming

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this