{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:56:13Z","timestamp":1767650173436,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":96,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642230318"},{"type":"electronic","value":"9783642230325"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23032-5_5","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T07:42:11Z","timestamp":1313653331000},"page":"250-325","source":"Crossref","is-referenced-by-count":8,"title":["Scalable OWL 2 Reasoning for Linked Data"],"prefix":"10.1007","author":[{"given":"Aidan","family":"Hogan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff Z.","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL","author":"D. Allemang","year":"2008","unstructured":"Allemang, D., Hendler, J.A.: Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL. Morgan Kaufmann, San Francisco (2008)"},{"key":"5_CR2","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"S. Auer","year":"2011","unstructured":"Auer, S., Ngomo, A.-C.N., Lehmann, J.: Introduction to Linked Data. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ Envelope. In: Proceedings IJCAI (2005)"},{"key":"5_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation and Application","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Application. Cambridge University Press, Cambridge (2002)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"5_CR5","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1126\/science.286.5439.509","volume":"286","author":"A.L. Barab\u00e1si","year":"1999","unstructured":"Barab\u00e1si, A.L., Albert, R.: Emergence of scaling in random networks. Science\u00a0286, 509\u2013512 (1999)","journal-title":"Science"},{"key":"5_CR7","unstructured":"Beckett, D.: RDFS 3.0. In: W3C Workshop on RDF Next Steps, Stanford, Palo Alto, CA, USA (June 2010)"},{"key":"5_CR8","unstructured":"Beckett, D., Berners-Lee, T.: Turtle \u2013 Terse RDF Triple Language. W3C Team Submission (January 2008), http:\/\/www.w3.org\/TeamSubmission\/turtle\/"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A Useful Four-Valued Logic. Modern Uses of Multiple-Valued Logic, 5\u201337 (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"5_CR10","unstructured":"Berners-Lee, T.: Linked Data. W3C Design Issues (July 2006), http:\/\/www.w3.org\/DesignIssues\/LinkedData.html (retrieved October 27, 2010)"},{"key":"5_CR11","series-title":"LNCS","volume-title":"Reasoning Web 2011","author":"A. Bernstein","year":"2011","unstructured":"Bernstein, A.: Scalable non-standard reasoning on the Semantic Web. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, Springer, Heidelberg (2011)"},{"key":"5_CR12","unstructured":"Birbeck, M., McCarron, S.: CURIE Syntax 1.0 \u2013 A syntax for expressing Compact URIs. W3C Recommendation (January 2009), http:\/\/www.w3.org\/TR\/curie\/"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Semantic Web Journal (in press, 2011), http:\/\/www.semantic-web-journal.net\/sites\/default\/files\/swj97_0.pdf","DOI":"10.3233\/SW-2011-0026"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Bizer, C., Cyganiak, R., Heath, T.: How to Publish Linked Data on the Web, linkeddata.org Tutorial (July 2008), http:\/\/linkeddata.org\/docs\/how-to-publish","DOI":"10.1145\/1367497.1367760"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.websem.2009.07.002","volume":"7","author":"C. Bizer","year":"2009","unstructured":"Bizer, C., Lehmann, J., Kobilarov, G., Auer, S., Becker, C., Cyganiak, R., Hellmann, S.: DBpedia - A crystallization point for the Web of Data. J. Web Sem.\u00a07(3), 154\u2013165 (2009)","journal-title":"J. Web Sem."},{"key":"5_CR16","unstructured":"Cheng, G., Ge, W., Wu, H., Qu, Y.: Searching Semantic Web Objects Based on Class Hierarchies. In: Proceedings of Linked Data on the Web Workshop (2008)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Cosmadakis, S.S., Gaifman, H., Kanellakis, P.C., Vardi, M.Y.: Decidable Optimization Problems for Database Logic Programs (Preliminary Report). In: STOC, pp. 477\u2013490 (1988)","DOI":"10.1145\/62212.62259"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-76298-0_7","volume-title":"The Semantic Web","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Heymans, S.: Logical foundations of (e)RDF(S): Complexity and reasoning. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 86\u201399. Springer, Heidelberg (2007)"},{"key":"5_CR19","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified Data Processing on Large Clusters. In: OSDI, pp. 137\u2013150 (2004)"},{"key":"5_CR20","unstructured":"Delbru, R., Polleres, A., Tummarello, G., Decker, S.: Context Dependent Reasoning for Semantic Documents in Sindice. In: Proc. of 4th SSWS Workshop (2008)"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/MIC.2007.51","volume":"11","author":"D. Fensel","year":"2007","unstructured":"Fensel, D., van Harmelen, F.: Unifying Reasoning and Search to Web Scale. IEEE Internet Computing\u00a011(2), 94\u201395 (2007)","journal-title":"IEEE Internet Computing"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Fielding, R.T., Gettys, J., Mogul, J.C., Frystyk, H., Masinter, L., Leach, P.J., Berners-Lee, T.: Hypertext Transfer Protocol \u2013 HTTP\/1.1. RFC 2616 (June 1999), http:\/\/www.ietf.org\/rfc\/rfc2616.txt","DOI":"10.17487\/rfc2616"},{"key":"5_CR23","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did i damage my ontology? a case for conservative extensions in description logics. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 187\u2013197 (2006)"},{"key":"5_CR24","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"B. Glimm","year":"2011","unstructured":"Glimm, B.: Using SPARQL with RDFS and OWL entailment. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR25","unstructured":"Golbreich, C., Wallace, E.K.: OWL 2 Web Ontology Language: New Features and Rationale. W3C Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-new-features\/"},{"key":"5_CR26","unstructured":"Grau, B.C., Horrocks, I., Parsia, B., Ruttenberg, A., Schneider, M.: OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-mapping-to-rdf\/"},{"key":"5_CR27","unstructured":"Grau, B.C., Motik, B., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11431053_22","volume-title":"The Semantic Web: Research and Applications","author":"P. Groot","year":"2005","unstructured":"Groot, P., Stuckenschmidt, H., Wache, H.: Approximating description logic classification for semantic web reasoning. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 318\u2013332. Springer, Heidelberg (2005)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: 13th International Conference on World Wide Web (2004)","DOI":"10.2139\/ssrn.460986"},{"issue":"2-3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y. Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem.\u00a03(2-3), 158\u2013182 (2005)","journal-title":"J. Web Sem."},{"key":"5_CR31","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"C. Gutierrez","year":"2011","unstructured":"Gutierrez, C.: Models for the Web of Data. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-642-04930-9_18","volume-title":"The Semantic Web - ISWC 2009","author":"A. Harth","year":"2009","unstructured":"Harth, A., Kinsella, S., Decker, S.: Using Naming Authority to Rank Data and Ontologies for Web Search. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 277\u2013292. Springer, Heidelberg (2009)"},{"key":"5_CR33","unstructured":"Hayes, P.: RDF Semantics. W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"5_CR34","series-title":"Synthesis Lectures on the Semantic Web: Theory and Technology","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79432-2","volume-title":"Linked Data: Evolving the Web into a Global Data Space","author":"T. Heath","year":"2011","unstructured":"Heath, T., Bizer, C.: Linked Data: Evolving the Web into a Global Data Space, 1st edn. Synthesis Lectures on the Semantic Web: Theory and Technology, vol.\u00a01. Morgan & Claypool, San Francisco (2011), http:\/\/linkeddatabook.com\/editions\/1.0\/","edition":"1"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-03964-5_14","volume-title":"E-Commerce and Web Technologies","author":"M. Hepp","year":"2009","unstructured":"Hepp, M.: Product Variety, Consumer Preferences, and Web Technology: Can the Web of Data Reduce Price Competition and Increase Customer Satisfaction? In: Di Noia, T., Buccafurri, F. (eds.) EC-Web 2009. LNCS, vol.\u00a05692, pp. 144\u2013144. Springer, Heidelberg (2009)"},{"key":"5_CR36","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"P. Hitzler","year":"2011","unstructured":"Hitzler, P.: OWL and Rules. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Hitzler, P., van Harmelen, F.: A Reasonable Semantic Web. Semantic Web Journal \u2013 Interoperability, Usability, Applicability\u00a01(1) (2010)","DOI":"10.3233\/SW-2010-0010"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11574620_29","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Hitzler","year":"2005","unstructured":"Hitzler, P., Vrande\u010di\u0107, D.: Resolution-based approximate reasoning for OWL DL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"5_CR39","unstructured":"Hogan, A.: Exploiting RDFS and OWL for Integrating Heterogeneous, Large-Scale, Linked Data Corpora. PhD thesis, Digital Enterprise Research Institute, National University of Ireland, Galway (2011), http:\/\/aidanhogan.com\/docs\/thesis\/"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Hogan, A., Harth, A., Polleres, A.: Scalable Authoritative OWL Reasoning for the Web. Int. J. Semantic Web Inf. Syst.\u00a05(2) (2009)","DOI":"10.4018\/jswis.2009040103"},{"key":"5_CR41","unstructured":"Hogan, A., Harth, A., Umbrich, J., Kinsella, S., Polleres, A., Decker, S.: Searching and Browsing Linked Data with SWSE: the Semantic Web Search Engine. Technical Report DERI-TR-2010-07-23, Digital Enterprise Research Institute, Galway (2010), http:\/\/www.deri.ie\/fileadmin\/documents\/DERI-TR-2010-07-23.pdf"},{"key":"5_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-17746-0_22","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"A. Hogan","year":"2010","unstructured":"Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 337\u2013353. Springer, Heidelberg (2010)"},{"key":"5_CR43","unstructured":"Hollunder, B., Nutt, W., Schmidt-Schau\u00df, M.: Subsumption Algorithms for Concept Description Languages. In: ECA 1990, pp. 348\u2013353. Pitman Publishing (1990)"},{"key":"5_CR44","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: KR 2006 (2006)"},{"key":"5_CR45","first-page":"2000","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL\u00a08, 2000 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"5_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-88564-1_12","volume-title":"The Semantic Web - ISWC 2008","author":"Z. Huang","year":"2008","unstructured":"Huang, Z., van Harmelen, F.: Using Semantic Distances for Reasoning with Inconsistent Ontologies. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 178\u2013194. Springer, Heidelberg (2008)"},{"key":"5_CR47","unstructured":"Er, K.: Hudek and Grant Weddell. Binary Absorption in Tableaux-Based Reasoning for Description Logics. In: Proc. DL 2006 (2006)"},{"key":"5_CR48","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Ruiz, E., Grau, B.C., Sattler, U., Schneider, T., Llavori, R.B.: Safe and economic re-use of ontologies: A logic-based methodology and tool support. In: Proceedings of the 21st International Workshop on Description Logics, DL 2008 (May 2008)","DOI":"10.1007\/978-3-540-68234-9_16"},{"key":"5_CR49","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P., Andersen, L.O., Mogensen, T.: Partial Evaluation and Automatic Program Generation. Prentice Hall International, Englewood Cliffs (1993)"},{"key":"5_CR50","unstructured":"Kazakov, Y.: SRIQ and SROIQ are Harder than SHOIQ. In: DL 2008 (2008)"},{"key":"5_CR51","unstructured":"Y. Kazakov Consequence-Driven Reasoning for Horn SHIQ Ontologies. In: IJCAI 2009 (2009)"},{"key":"5_CR52","unstructured":"Kiryakov, A., Ognyanoff, D., Velkov, R., Tashev, Z., Peikov, I.: LDSR: a Reason-able View to the Web of Linked Data. In: Semantic Web Challenge, ISWC 2009 (2009)"},{"key":"5_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1007\/978-3-642-02121-3_53","volume-title":"The Semantic Web: Research and Applications","author":"G. Kobilarov","year":"2009","unstructured":"Kobilarov, G., Scott, T., Raimond, Y., Oliver, S., Sizemore, C., Smethurst, M., Bizer, C., Lee, R.: Media Meets Semantic Web \u2013 How the BBC Uses DBpedia and Linked Data to Make Connections. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 723\u2013737. Springer, Heidelberg (2009)"},{"key":"5_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-17746-0_28","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"V. Kolovski","year":"2010","unstructured":"Kolovski, V., Wu, Z., Eadon, G.: Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 436\u2013452. Springer, Heidelberg (2010)"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"Komorowski, H.J.: Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog. In: POPL, pp. 255\u2013267 (1982)","DOI":"10.1145\/582153.582181"},{"key":"5_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D. Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-Tolerant Semantics for Description Logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"key":"5_CR57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"3&4","key":"5_CR58","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial Evaluation in Logic Programming. J. Log. Program.\u00a011(3&4), 217\u2013242 (1991)","journal-title":"J. Log. Program."},{"key":"5_CR59","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 453\u2013458 (2007)"},{"key":"5_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-05082-4_14","volume-title":"Web Reasoning and Rule Systems","author":"Y. Ma","year":"2009","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent Reasoning for OWL 2. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 197\u2013211. Springer, Heidelberg (2009)"},{"key":"5_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-15918-3_10","volume-title":"Web Reasoning and Rule Systems","author":"F. Maier","year":"2010","unstructured":"Maier, F.: Extending Paraconsistent $\\mathcal{SROIQ}$ . In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 118\u2013132. Springer, Heidelberg (2010)"},{"issue":"1","key":"5_CR62","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.websem.2009.11.001","volume":"8","author":"G. Meditskos","year":"2010","unstructured":"Meditskos, G., Bassiliades, N.: DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet. J. Web Sem.\u00a08(1), 89\u201394 (2010)","journal-title":"J. Web Sem."},{"key":"5_CR63","unstructured":"Motik, B.: Web Ontology Reasoning with Logic Databases. PhD thesis, AIFB, Karlsruhe, Germany (2004)"},{"key":"5_CR64","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"5_CR65","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"5_CR66","doi-asserted-by":"crossref","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Submitted to a Journal (2008)","DOI":"10.1613\/jair.2811"},{"key":"5_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume-title":"The Semantic Web: Research and Applications","author":"S. Mu\u00f1oz","year":"2007","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Gutierrez, C.: Minimal Deductive Systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 53\u201367. Springer, Heidelberg (2007)"},{"issue":"3","key":"5_CR68","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.websem.2009.07.003","volume":"7","author":"S. Mu\u00f1oz","year":"2009","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Gutierrez, C.: Simple and Efficient Minimal RDFS. J. Web Sem.\u00a07(3), 220\u2013234 (2009)","journal-title":"J. Web Sem."},{"issue":"1","key":"5_CR69","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1504\/IJMSO.2008.021204","volume":"3","author":"E. Oren","year":"2008","unstructured":"Oren, E., Delbru, R., Catasta, M., Cyganiak, R., Stenzhorn, H., Tummarello, G.: Sindice.com: a document-oriented lookup index for open linked data. IJMSO\u00a03(1), 37\u201352 (2008)","journal-title":"IJMSO"},{"key":"5_CR70","unstructured":"Oxford-Benchmark. Oxford Benchmark (2009), http:\/\/hermit-reasoner.com\/2009\/JAIR_benchmarks\/"},{"key":"5_CR71","unstructured":"Page, L., Brin, S., Motwani, R., Winograd, T.: The PageRank Citation Ranking: Bringing Order to the Web. Technical report, Stanford Digital Library Technologies Project (1998)"},{"key":"5_CR72","unstructured":"Pan, J.Z., Thomas, E.: Approximating OWL-DL Ontologies. In: AAAI 2007, pp. 1434\u20131439 (2007)"},{"key":"5_CR73","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation (January 2008), http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"5_CR74","unstructured":"Ramakrishnan, R., Srivastava, D., Sudarshan, S.: Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. In: Proc. of 16th VLDB, pp. 359\u2013371 (1990)"},{"key":"5_CR75","unstructured":"Ren, Y., Pan, J.Z., Zhao, Y.: Towards soundness preserving approximation for abox reasoning of owl2. In: Description Logics Workshop 2010, DL 2010 (2010)"},{"key":"5_CR76","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"S. Rudolph","year":"2011","unstructured":"Rudolph, S.: Foundations of Description Logics. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR77","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable Reasoning via Approximation. Artificial Intelligence\u00a074, 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"key":"5_CR78","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. JAMIA (2000)"},{"issue":"1","key":"5_CR79","first-page":"4","volume":"9","author":"M. Stonebraker","year":"1986","unstructured":"Stonebraker, M.: The Case for Shared Nothing. IEEE Database Eng. Bull.\u00a09(1), 4\u20139 (1986)","journal-title":"IEEE Database Eng. Bull."},{"key":"5_CR80","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"H. Stuckenschmidt","year":"2011","unstructured":"Stuckenschmidt, H., Niepert, M.: Combining Probabilistic and Logical Reasoning for Web Data Processing. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR81","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36109-X_26","volume-title":"Flexible Query Answering Systems","author":"H. Stuckenschmidt","year":"2002","unstructured":"Stuckenschmidt, H., van Harmelen, F.: Approximating Terminological Queries. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522, Springer, Heidelberg (2002)"},{"key":"5_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/11574620_48","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 668\u2013684. Springer, Heidelberg (2005)"},{"key":"5_CR83","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics\u00a03, 79\u2013115 (2005)","journal-title":"Journal of Web Semantics"},{"key":"5_CR84","series-title":"LNCS","first-page":"251","volume-title":"Reasoning Web 2011","author":"D. Tr\u010dek","year":"2011","unstructured":"Tr\u010dek, D.: Trust management methodologies for the Web. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 251\u2013327. Springer, Heidelberg (2011)"},{"key":"5_CR85","unstructured":"Tsarkov, D., Horrocks, I.: Efficient Reasoning with Range and Domain Constraints. In: DL 2004 (2004)"},{"issue":"3","key":"5_CR86","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10817-007-9077-y","volume":"39","author":"D. Tsarkov","year":"2007","unstructured":"Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason.\u00a039(3), 277\u2013316 (2007)","journal-title":"J. Autom. Reason."},{"key":"5_CR87","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press (1989)"},{"key":"5_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-13486-9_15","volume-title":"The Semantic Web: Research and Applications","author":"J. Urbani","year":"2010","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: OWL reasoning with webPIE: Calculating the closure of 100 billion triples. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol.\u00a06088, pp. 213\u2013227. Springer, Heidelberg (2010)"},{"key":"5_CR89","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-04930-9_40","volume-title":"The Semantic Web - ISWC 2009","author":"J. Urbani","year":"2009","unstructured":"Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable distributed reasoning using mapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 634\u2013649. Springer, Heidelberg (2009)"},{"key":"5_CR90","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-74388-2","volume-title":"Linear Programming: Foundations and Extensions","author":"R.J. Vanderbei","year":"2008","unstructured":"Vanderbei, R.J.: Linear Programming: Foundations and Extensions, 3rd edn. Springer, Heidelberg (2008)","edition":"3"},{"key":"5_CR91","first-page":"18","volume":"5","author":"D. Vrande\u010d\u00edc","year":"2010","unstructured":"Vrande\u010d\u00edc, D., Kr\u00f6tzsch, M., Rudolph, S., L\u00f6sch, U.: Leveraging Non-Lexical Knowledge for the Linked Open Data Web. Review of Fool\u2019s day Transactions (RAFT)\u00a05, 18\u201327 (2010)","journal-title":"Review of Fool\u2019s day Transactions (RAFT)"},{"key":"5_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11581116_26","volume-title":"Web Information Systems Engineering \u2013 WISE 2005 Workshops","author":"H. Wache","year":"2005","unstructured":"Wache, H., Groot, P., Stuckenschmidt, H.: Scalable instance retrieval for the semantic web by approximation. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol.\u00a03807, pp. 245\u2013254. Springer, Heidelberg (2005)"},{"key":"5_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-04930-9_43","volume-title":"The Semantic Web - ISWC 2009","author":"J. Weaver","year":"2009","unstructured":"Weaver, J., Hendler, J.A.: Parallel materialization of the finite RDFS closure for hundreds of millions of triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 682\u2013697. Springer, Heidelberg (2009)"},{"issue":"1\/2\/3\/4","key":"5_CR94","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1991","unstructured":"Yardeni, E., Shapiro, E.Y.: A Type System for Logic Programs. J. Log. Program\u00a010(1\/2\/3\/4), 125\u2013153 (1991)","journal-title":"J. Log. Program"},{"key":"5_CR95","unstructured":"Zhang, R., Artale, A., Giunchiglia, F., Crispo, B.: Using description logics in relation based access control. In: Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a0477 (2009), CEUR-WS.org"},{"key":"5_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-02121-3_31","volume-title":"The Semantic Web: Research and Applications","author":"X. Zhang","year":"2009","unstructured":"Zhang, X., Xiao, G., Lin, Z.: A tableau algorithm for handling inconsistency in OWL. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 399\u2013413. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for the Web of Data"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23032-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T21:35:12Z","timestamp":1686260112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23032-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230318","9783642230325"],"references-count":96,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23032-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}