Tableau-based revision in SHIQ


Introduction The problem of revising a description logic-based ontology (called DL ontology) is closely related to the problem of belief revision which has been widely discussed in the literature. Among early works on belief revision, the AGM theory (Alchourrón et al., 1985) introduced intuitive and plausible constraints (namely AGM postulates) which should… (More)