Combining event calculus and description logic reasoning via logic programming
type: Item
instance of: scholarly article
title: Combining event calculus and description logic reasoning via logic programming
DOI: 10.1007/978-3-030-86205-3_6
author: Peter Baumgartner
publication date: 2022-03-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/2109.04803
Mathematics Subject Classification ID: 68Txx
zbMATH DE Number: 7497918
describes a project that uses: LARS
MaRDI profile type: Publication
OpenAlex ID: W3200349212
cites work: A Novel Architecture for Situation Awareness Systems
cites work: LTL over description logic axioms
cites work: An Introduction to Description Logic
cites work: Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
cites work: Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
cites work: Description Logic Knowledge and Action Bases
cites work: Possible models computation and revision -- a practical approach
cites work: The Fusemate logic programming system
cites work: Hyper tableaux
cites work: LARS: a logic-based framework for analytic reasoning over streams
cites work: Combining answer set programming with description logics for the semantic web
cites work: Q3983043
cites work: Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
cites work: A logic-based calculus of events
cites work: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
cites work: The DLV system for knowledge representation and reasoning
cites work: Q3184604
cites work: Q3992908
cites work: Q5465445
cites work: Q4707774
cites work: Event Calculus Reasoning Through Satisfiability
cites work: Linking Data to Ontologies
cites work: On the declarative and procedural semantics of logic programs
cites work: An alternative approach to the semantics of disjunctive logic programs and deductive databases
cites work: Q4631195
description: scientific article; zbMATH DE number 7497918