Active Integrity Constraints for Multi-context Systems

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes active integrity constraints over databases. In the more general setting of multi-context systems, adding repair suggestions to integrity constraints allows defining simple iterative algorithms to find all possible grounded repairs – repairs for the global system that follow the suggestions given by the actions in the individual rules. We apply our methodology to ontologies, and show that it can express most relevant types of integrity constraints in this domain.
    Original languageEnglish
    Title of host publicationKnowledge Engineering and Knowledge Management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
    EditorsEva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali
    PublisherSpringer
    Publication date2016
    Pages98-112
    ISBN (Print)978-3-319-49003-8
    ISBN (Electronic)978-3-319-49004-5
    DOIs
    Publication statusPublished - 2016
    Event20th International Conference on Knowledge Engineering and Knowledge Management: Impact of Time and Space on the Representation of Knowledge - Bologna, Italy
    Duration: 19. Nov 201623. Nov 2016
    Conference number: 20

    Conference

    Conference20th International Conference on Knowledge Engineering and Knowledge Management
    Number20
    Country/TerritoryItaly
    CityBologna
    Period19/11/201623/11/2016
    SeriesLecture Notes in Computer Science
    Volume10024
    ISSN0302-9743

    Fingerprint

    Dive into the research topics of 'Active Integrity Constraints for Multi-context Systems'. Together they form a unique fingerprint.

    Cite this