Update Operators for Inconsistent Query Answering: A New Point of View
Résumé
This paper investigates the definition of belief revision operators thatcorrespond to the IAR and ICR inconsistency tolerant semantics in the OntologyBased Data Access (OBDA) setting. By doing this equivalence our long term goalis to provide an axiomatic characterisation of the above mentioned semantics.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...