Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Model checking
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Modal and temporal properties of processes
Modal and temporal properties of processes
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Business artifacts: An approach to operational specification
IBM Systems Journal
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal Description Logics: A Survey
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Dynamic Epistemic Logic
Generalized schema-mappings: from termination to tractability
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Ontologies and Databases: The DL-Lite Approach
Reasoning Web. Semantic Technologies for Information Systems
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
On Instance-level Update and Erasure in Description Logic Ontologies
Journal of Logic and Computation
The DL-lite family and relations
Journal of Artificial Intelligence Research
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Journal on data semantics X
Static analysis of schema-mappings ensuring oblivious termination
Proceedings of the 13th International Conference on Database Theory
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Modal description logics: modalizing roles
Fundamenta Informaticae
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Data complexity of query answering in description logics
Artificial Intelligence
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects. We resort to a variant of DL-Lite where the unique name assumption is not enforced and where equality between objects may be asserted and inferred. Actions are specified as sets of conditional effects, where conditions are based on epistemic queries over the knowledge base (TBox and ABox), and effects are expressed in terms of new ABoxes. In this setting, we address verification of temporal properties expressed in a variant of first-order µ-calculus with quantification across states. Notably, we show decidability of verification, under a suitable restriction inspired by the notion of weak acyclicity in data exchange.