Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes.

Guillaume Feuillade Andreas Herzig Christos Rantsoudis

Published in: Description Logics (2020)

Keyphrases

integrity constraints
knowledge base
consistent query answering
deductive databases
active databases
functional dependencies
description logics
database schema
integrity checking
inconsistent databases
query answering
conjunctive queries
constraint checking
knowledge representation
logic programming