Active Integrity Constraints for Multi-context Systems

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

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Abstrakt

    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.
    OriginalsprogEngelsk
    TitelKnowledge Engineering and Knowledge Management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
    RedaktørerEva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali
    ForlagSpringer
    Publikationsdato2016
    Sider98-112
    ISBN (Trykt)978-3-319-49003-8
    ISBN (Elektronisk)978-3-319-49004-5
    DOI
    StatusUdgivet - 2016
    Begivenhed20th International Conference on Knowledge Engineering and Knowledge Management: Impact of Time and Space on the Representation of Knowledge - Bologna, Italien
    Varighed: 19. nov. 201623. nov. 2016
    Konferencens nummer: 20

    Konference

    Konference20th International Conference on Knowledge Engineering and Knowledge Management
    Nummer20
    Land/OmrådeItalien
    ByBologna
    Periode19/11/201623/11/2016
    NavnLecture Notes in Computer Science
    Vol/bind10024
    ISSN0302-9743

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Active Integrity Constraints for Multi-context Systems'. Sammen danner de et unikt fingeraftryk.

    Citationsformater