Active integrity constraints for general-purpose knowledge bases

DOI10.1007/s10472-018-9577-yzbMath1459.68198OpenAlexW2792469686MaRDI QIDQ1783734

Peter Schneider-Kamp, Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes

Publication date: 21 September 2018

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-018-9577-y

zbMATH Keywords

integrity constraintsrepairsontologiesmulti-context systems

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30)

Related Items (2)

Active integrity constraints for general-purpose knowledge bases ⋮ Database repair via event-condition-action rules in dynamic logic

Uses Software

• LUBM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finding explanations of inconsistency in multi-context systems
• Grounded fixpoints and their applications in knowledge representation
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Active integrity constraints for general-purpose knowledge bases
• Complexity and undecidability results for logic programming
• Integrity constraints in OWL ontologies based on grounded circumscription
• Integrity Constraints for General-Purpose Knowledge Bases
• Active integrity constraints and revision programming
• The View-Update Problem for Indefinite Databases
• Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
• Relational Information Exchange and Aggregation in Multi-Context Systems
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Reconciling description logics and rules
• Integrity constraints in logic databases
• Update by means of inference rules
• Answer sets for consistent query answering in inconsistent databases
• Decomposition of Distributed Nonmonotonic Multi-Context Systems
• Optimizing Computation of Repairs from Active Integrity Constraints
• Declarative Semantics of Production Rules for Integrity Maintenance
• Declarative Semantics for Active Integrity Constraints
• Local Models Semantics, or contextual reasoning = locality + compatibility

This page was built for publication: Active integrity constraints for general-purpose knowledge bases