Hypertableau Reasoning for Description Logics

  title={Hypertableau Reasoning for Description Logics},
  author={Boris Motik and Rob Shearer and Ian Horrocks},
  journal={J. Artif. Intell. Res.},
We present a novel reasoning calculus for the Description Logic SHOIQ—a knowledge representation formalism with applications in areas such as the Semantic Web. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. To prevent the calculus from generating large models, we introduce anywhere pairwise blocking. We also present a new way of ensuring… CONTINUE READING
Highly Influential
This paper has highly influenced 43 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 619 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 279 extracted citations

619 Citations

Citations per Year
Semantic Scholar estimates that this publication has 619 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 41 references

Similar Papers

Loading similar papers…