Inconsistency-tolerant Semantics for Description Logic


It is well-known that inconsistency causes severe problems in classical logic. In particular, since an inconsistent logical theory has no model, it logically implies every formula, and, therefore, query answering on an inconsistent knowledge base becomes meaningless. In this paper, we address the problem of dealing with inconsistencies in Description Logic… (More)


1 Figure or Table


Citations per Year

148 Citations

Semantic Scholar estimates that this publication has 148 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics