[1]¹¨ÈüÈü,¸ðΨÒæ.Ò»ÖÖÃæÏòÓïÒåWebä¯ÀÀÆ÷µÄ»ùÓÚ¹æÔòµÄÍÆÀí·½·¨[J].ÄϾ©Ê¦·¶´óѧѧ±¨(¹¤³Ì¼¼Êõ°æ),2011,11(04):040-46.
¡¡Gong Saisai,Ge Weiyi.A Reasoning Approach to Rule Based Reasoning for Semantic Web Browsers[J].Journal of Nanjing Normal University(Engineering and Technology),2011,11(04):040-46.

µã»÷¸´ÖÆ

Ò»ÖÖÃæÏòÓïÒåWebä¯ÀÀÆ÷µÄ»ùÓÚ¹æÔòµÄÍÆÀí·½·¨

·ÖÏíµ½£º

²Î¿¼ÎÄÏ×/References:

£Û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£Ý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£®
£Û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£®