I. Horrocks, U. Sattler, S. Tobies. Reasoning with individuals for the description logic shiq[J]. In D. MacAllester, editor, Proc. of the 17th Conf. on Automated Deduction (CADE-17), number 1831 in Lecture Notes in Computer Science, Germany, 2000. Springer-Verlag.

has been cited by the following article:

• TITLE: Reasoning with Ontology Model Based on Jena

  AUTHORS: Jing WU, Yongxin HUANG

  KEYWORDS: OWL, description logic, jena, protégé

  JOURNAL NAME: Intelligent Information Management, Vol.1 No.1, July 31, 2009

  ABSTRACT: As the core of knowledge representation, reasoning plays an important role in the Semantic Web. In this paper, introduce Description Logic as the theoretical foundation of reasoning in the Semantic Web and OWL which needs to be expressive enough for representing knowledge and computationally tractable for inference of large-scale applications. Then construct an ontology model depicted with OWL by protégé and Jena API , and also prove the validity of reasoning with the model.