| [1] | 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．
|
| [2] | 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．
|
| [3] | Kr？tzsch 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．
|
| [4] | 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．
|
| [5] | 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．
|
| [6] | 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．
|
| [7] | Baader F，Sattler U． An overview of tableau algorithms for description logics[J]． Studia Logica，2001，69( 1) : 5-40．
|
| [8] | Lloyd J． Foundations of Logic Programming[M]． 2nd ed． Berlin: Springer-Verlag，1987．
|
| [9] | 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．
|
| [10] | 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．
|
| [11] | 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 /．
|
| [12] | 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．
|
| [13] | Beeri C，Ramakrishnan R． On the power of magic[J]． The Journal of Logic Programming，1991，10( 3 /4) : 255-299．
|
| [14] | 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．
|
| [15] | Ullman J D． Principles of Database and Knowledge-base Systems[M]． New York: Computer Science Press，1989．
|
| [16] | 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．
|
| [17] | 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．
|
| [18] | 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．
|
| [19] | 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．
|
| [20] | 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 /．
|
