Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics

  title={Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics},
  author={Umberto Straccia},
Hybrid KL-ONE-style logics are knowledge representation formalisms of considerable applicative interest, as they are specifically oriented to the vast class of application domains that are describable by means of taxonomic organizations of complex objects. In this paper we consider the problem of endowing such logics with capabilities for default inheritance reasoning, a kind of default reasoning that is specifically oriented to reasoning on taxonomies. The formalism that results from our work… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 113 citations. REVIEW CITATIONS



Citations per Year

113 Citations

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

See our FAQ for additional information.