参考文献（第四章 语义网推理技术）
- Baader F, Brandt S, Lutz C. 2005. Pushing the EL Envelope[C]//Proceedings of the 19th International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann, 364-369.
- Baader F, Calvanese D, McGuinness D, et al. 2003. The Description Logic Handbook: Theory, Implementation, and Applications[M]. London: Cambridge University Press.
- Bry F, Eisinger N, Eiter T, et al. 2007. Foundations of Rule-Based Query Answering[C]//Proceedings of the 3rd International Summer School Conference on Reasoning Web. Berlin: Springer, 1-153.
- Calvanese D, de Giacomo G, Lembo D, et al. 2007. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family[J]. Journal of Automated Reasoning, 39(3): 385-429.
- Grau B C, Horrocks I, Motik B, et al. 2008. OWL 2: The Next Step for OWL[J]. Web Semantics: Science, Services and Agents on the World Wide Web, 6(4): 309-322.
- Grosof B N, Horrocks I, Volz R, et al. 2003. Description Logic Programs: Combining Logic Programs with Description Logic[C]//Proceedings of the 12th International Conference on World Wide Web. New York: ACM, 48-57.
- Gruber T R. 1993. A Translation Approach to Portable Ontology Specifications[J]. Knowledge Acquisition, 5(2): 199-220.
- Hayes P. 2004. RDF Semantics[S]. W3C Recommendation. http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ [2004-02-10].
- Horrocks I, Kutz O, Sattler U. 2006. The Even More Irresistible SROIQ[C]//Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Palo Alto: AAAI Press, 57-67.
- Horrocks I, Patel-Schneider P. 2004. Reducing OWL Entailment to Description Logic Satisfiability[J]. Web Semantics: Science, Services and Agents on the World Wide Web, 1(4): 345-357.
- Horrocks I, Patel-Schneider P F, Bechhofer S, et al. 2005. OWL Rules: A Proposal and Prototype Implementation[J]. Web Semantics: Science, Services and Agents on the World Wide Web, 3(1): 23-40.
- Krötzsch M, Maier F, Krisnadhi A A, et al. 2011. A better uncle for OWL: nominal schemas for integrating rules and ontologies [C]// Proceedings of the 20th International Conference on World Wide Web. New York, ACM：645-654.
- Patel-Schneider P F, Hayes P, Horrocks I. 2004. OWL Web Ontology Language Semantics and Abstract Syntax[S/OL]. W3C Recommendation. http://www.w3.org/TR/owl-semantics/ [2004-2-10].
- ter Horst H J. 2005. Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary[J]. Web Semantics: Science, Services and Agents on the World Wide Web, 3(2-3): 79-115.
- Tobies S. 2001. Complexity Results and Practical Algorithms for Logics in Knowledge Representation[D]. RWTH Aachen.