Optimizing Reasoning in Description Logics with Qualified Number Restrictions

@inproceedings{Haarslev2001OptimizingRI,
  title={Optimizing Reasoning in Description Logics with Qualified Number Restrictions},
  author={Volker Haarslev and Ralf M{\"o}ller},
  booktitle={Description Logics},
  year={2001}
}
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus is used to speed-up ABox (and TBox) reasoning in the description logic ALCQHR+ . 
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Optimizing reasoning with number restrictions

  • V. Haarslev, R. Möller
  • Technical report,
  • 2001
2 Excerpts

Similar Papers

Loading similar papers…