［1］Bizer C，Heath T，Berners-Lee T． Linked data-the story so far［J］． International Journal on Semantic Web and Information Systems，2009，5( 3) : 1-22．
［2］Baader F，Sattler U． An overview of tableau algorithms for description logics［J］． Studia Logica，2001，69( 1) : 5-40．
［3］Lloyd J． Foundations of Logic Programming［M］． 2nd ed． Berlin: Springer-Verlag，1987．
［4］Meditskos G，Bassiliades N． Combining a dl reasoner and a rule engine for improving entailment-based owl reasoning［C］/ / Proc of the 7th International Semantic Web Conference． Berlin: Springer，2008: 277-292．
［5］Hartig O，Bizer C，Freytag J C． Executing SPARQL queries over the web of linked data［C］/ /Proc of the 8th International Semantic Web Conference． Berlin: Springer，2009: 293-309．
［6］Motik B，Grau B C，Horrocks I，et al． OWL 2 Web ontology language profiles［EB/OL］． W3C Recommendation ［2009-10- 27］． http: / /www． w3． org /TR/owl2-profiles /．
［7］Grosof B N，Horrocks I，Volz R，et al． Description logic programs: combining logic programs with description logic［C］/ /Proc of the 12th International Conference on World Wide Web． New York: ACM Press，2003: 48-57．
［8］Beeri C，Ramakrishnan R． On the power of magic［J］． The Journal of Logic Programming，1991，10( 3 /4) : 255-299．
［9］Ramakrishnan R，Srivastava D，Sudarshan S． Rule ordering in bottom-up fixpoint evaluation of logic programs［C］/ /Proc of the 16th International Conference on Very Large Data Bases． San Francisco: Morgan Kaufmann，1990: 359-371．
［10］Ullman J D． Principles of Database and Knowledge-base Systems［M］． New York: Computer Science Press，1989．
［11］McGuinness D L，Pinheiro da Silva P． Explaining answers from the semantic Web: the inference Web approach［J］． Web Semantics: Science，Services and Agents on the World Wide Web，2004，1( 4) : 397-413．
［12］Hogan A，Harth A，Polleres A． SAOR: authoritative reasoning for the Web［C］/ /Proc of the 3rd Asian Semantic Web Conference． Berlin: Springer，2008: 76-90．
［13］Bry F，Eisinger N，Eiter T，et al． Foundations of rule based query answering［C］/ /Proc of the 3rd Reasoning Web Summer School． Berlin: Springer，2007: 1-153．
［14］Guo Y，Pan Z，Heflin J． LUBM: a benchmark for OWL knowledge base systems［J］． Web Semantics: Science，Services and Agents on the World Wide Web，2005，3( 2 /3) : 158-182．
［15］Boley H，Hallmark G，Kifer M，et al，eds． RIF core dialect［EB/OL］． W3C Recommendation ［2010-06-22］． http: / /www． w3． org /TR/2010 /REC-rif-core-20100622 /．
［16］Motik B，Sattler U，Studer R． Query answering for OWL-DL with rules［J］． Web Semantics: Science，Services and Agents on the World Wide Web，2005，3( 1) : 41-60．
［17］ter Horst H J． 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，2005，3( 2 /3) : 79-115．
［18］Krtzsch M，Rudolph S，Hitzler P． ELP: tractable rules for OWL 2［C］/ /Proc of the 7th International Semantic Web Conference． Berlin: Springer，2008: 649-664．
［19］Horrocks I，Patel-Schneider P F，Bechhofer S，et al． OWL rules: a proposal and prototype implementation［J］． Web Semantics: Science，Services and Agents on the World Wide Web，2005，3( 1) : 23-40．
［20］Kolovski V，Wu Z，Eadon G． Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system［C］/ /Proc of the 9th International Semantic Web Conference． Berlin: Springer，2010: 436-452．