{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:58:23Z","timestamp":1743098303792,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642043284"},{"type":"electronic","value":"9783642043291"}],"license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-04329-1_7","type":"book-chapter","created":{"date-parts":[[2009,11,30]],"date-time":"2009-11-30T19:06:21Z","timestamp":1259607981000},"page":"127-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning in Semantic Web-based Systems"],"prefix":"10.1007","author":[{"given":"Florian","family":"Fischer","sequence":"first","affiliation":[]},{"given":"Gulay","family":"Unel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: International Joint Conference on Artificial Intelligence, vol. 19, p. 364 (2005)","DOI":"10.25368\/2022.144"},{"key":"7_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope further. In: Proceedings of the OWLED Workshop (2008)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/ICDE.2005.115","volume-title":"21st International Conference on Data Engineering (ICDE\u201905)","author":"W.T. Balke","year":"2005","unstructured":"Balke, W.T., Nejdl, W., Siberski, W., Thaden, U.: Progressive distributed top-k retrieval in peer-to-peer networks. In: 21st International Conference on Data Engineering (ICDE\u201905), pp.\u00a0174\u2013185. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"1\/2\/3&4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic. J. Log. Program. 10(1\/2\/3&4), 255\u2013299 (1991)","journal-title":"J. Log. Program."},{"key":"7_CR5","unstructured":"Brachman, R., Levesque, H.: The tractability of subsumption in frame-based description languages. In: Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI-84), pp. 34\u201337 (1984)"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-540-72982-2_8","volume-title":"Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007)","author":"J.D. Bruijn","year":"2007","unstructured":"Bruijn, J.D., Heymans, S.: A semantic framework for language layering in WSML. In: Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria, pp. 103\u2013117. Springer, Berlin (2007)"},{"key":"7_CR7","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: tractable description logics for ontologies. In: Proceedings of the National Conference on Artificial Intelligence, vol. 20(2), p. 602 (2005)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Chen, W., Warren, D.: Query evaluation under the well-founded semantics. In: PODS, pp.\u00a0168\u2013179 (1993)","DOI":"10.1145\/153850.153865"},{"key":"7_CR9","unstructured":"Chen, W., Swift, T., Warren, D.S.: Efficient implementation of general logical queries. Technical Report, SUNY at Stony Brook (1993)"},{"key":"7_CR10","first-page":"360","volume-title":"Proceedings of ECAI-96","author":"M. Dalal","year":"1996","unstructured":"Dalal, M.: Semantics of an anytime family of reasoners. In: Wahlster, W. (ed.) Proceedings of ECAI-96, Budapest, Hungary, pp. 360\u2013364. Wiley, New York (1996)"},{"key":"7_CR11","unstructured":"Dalal, M., Yang, L.: Tractable reasoning in knowledge representation systems (1997)"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Trans. Database Syst. (TODS) 22(3), 364\u2013418 (1997)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"7_CR13","volume-title":"Enabling Semantic Web Services\u2014The Web Service Modeling Ontology","author":"D. Fensel","year":"2006","unstructured":"Fensel, D., Lausen, H., Polleres, A., Bruijn, J.D., Stollberg, M., Roman, D., Domingue, J.: Enabling Semantic Web Services\u2014The Web Service Modeling Ontology. Springer, Berlin (2006)"},{"key":"7_CR14","unstructured":"Groot, P.: A theoretical and empirical analysis of approximation in symbolic problem solving. Ph.D. Thesis, SIKS, Vrije Universiteit, Amsterdam (2003)"},{"key":"7_CR15","unstructured":"Groot, P., Hitzler, P., Horrocks, I., Motik, B., Pan, J.Z., Stuckenschmidt, H., Turi, D.: HolgerWache: Methods for approximate reasoning. Technical Report D2.1.2 (2004)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"7_CR17","unstructured":"Hayes, P., McBride, B.: RDF semantics. In: W3C Recommendation, vol. 10 (2004)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"14","DOI":"10.2307\/2268661","volume":"16","author":"A. Horn","year":"1951","unstructured":"Horn, A.: On sentences which are true of direct unions of algebras. J. Symb. Log. 16, 14\u201321 (1951)","journal-title":"J. Symb. Log."},{"key":"7_CR19","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing shiq-description logic to disjunctive datalog programs. In: Proc. KR, pp. 152\u2013162 (2004)"},{"key":"7_CR20","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-description logic to disjunctive datalog programs. In: Proc. KR, pp. 152\u2013162 (2004)"},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. JACM 42(4), 741\u2013843 (1995)","journal-title":"JACM"},{"key":"7_CR22","unstructured":"Lassila, O., Swick, R.: Resource description framework (rdf) model and syntax specification. w3c working draft. Internet: http:\/\/www.w3.org\/tr\/rec-rdf-syntax\/ (1999)"},{"key":"7_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, New York (1987)"},{"key":"7_CR24","unstructured":"Marquis, P.: Knowledge compilation using theory prime implicates. In: IJCAI, pp. 837\u2013845 (1995)"},{"key":"7_CR25","unstructured":"McAllester, D.A.: Truth maintenance. In: AAAI, pp. 1109\u20131116 (1990)"},{"key":"7_CR26","unstructured":"McGuinness, D.L., van Harmelen, F.: Owl web ontology language overview. technical report,world wide web consortium (w3c). Internet: http:\/\/www.w3.org\/tr\/owl-features\/ (2003)"},{"key":"7_CR27","unstructured":"McGuinness, D., van Harmelen, F., et al.: OWL web ontology language overview. In: W3C Recommendation, vol. 10, pp. 2004\u201303 (2004)"},{"key":"7_CR28","unstructured":"Motik, B.: Reasoning in description logics using resolution and deductive databases. Ph.D. Thesis, Universitt Karlsruhe (TH), Karlsruhe, Germany (2006)"},{"key":"7_CR29","unstructured":"Motik, B., Horrocks, I.: OWL 2 Web Ontology Language. W3C Working Draft, W3C (2008)"},{"key":"7_CR30","unstructured":"Mumick, I.S.: Query optimization in deductive and relational databases. Ph.D. Thesis, Department of Computer Science, Stanford University (1991)"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume":"4519","author":"S. Munoz","year":"2007","unstructured":"Munoz, S., Perez, J., Gutierrez, C.: Minimal deductive systems for RDF. Lect. Notes Comput. Sci. 4519, 53 (2007)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"2","key":"7_CR32","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T.C. Przymusinski","year":"1989","unstructured":"Przymusinski, T.C.: On the declarative and procedural semantics of logic programs. J. Autom. Reason. 5(2), 167\u2013205 (1989)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"7_CR33","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23\u201341 (1965)","journal-title":"J. ACM"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: SIGMOD Conference, pp. 442\u2013453 (1994)","DOI":"10.1145\/191843.191927"},{"issue":"2","key":"7_CR35","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. Artif. Intell. 74(2), 249\u2013310 (1995)","journal-title":"Artif. Intell."},{"key":"7_CR36","first-page":"904","volume-title":"Proceedings of AAAI-91","author":"B. Selman","year":"1991","unstructured":"Selman, B., Kautz, H.: Knowledge compilation using horn approximations. In: Proceedings of AAAI-91, pp. 904\u2013909. MIT Press, Cambridge (1991)"},{"key":"7_CR37","series-title":"LNCS","first-page":"259","volume-title":"Proceedings of the European Semantic Web Conference (ESWC)","author":"H. Stuckenschmidt","year":"2006","unstructured":"Stuckenschmidt, H.: Toward multi-viewpoint reasoning with owl ontologies. In: York-Sure, O., Domingue, J. (eds.) Proceedings of the European Semantic Web Conference (ESWC). LNCS, vol. 4011, pp. 259\u2013272. Springer, Berlin (2006)"},{"key":"7_CR38","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/11581116_18","volume":"3807","author":"H. Stuckenschmidt","year":"2005","unstructured":"Stuckenschmidt, H., Broekstra, J.: Time-space trade-offs in scaling up rdf schema reasoning. Lect. Notes Comput. Sci. 3807, 172 (2005)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"2\u20133","key":"7_CR39","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. ter Horst","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. J. Web Semant. 3(2\u20133), 79\u2013115 (2005)","journal-title":"J. Web Semant."},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"ter Horst, H.J.: Combining rdf and part of owl with rules: Semantics, decidability, complexity. In: International Semantic Web Conference, pp. 668\u2013684 (2005)","DOI":"10.1007\/11574620_48"},{"key":"7_CR41","volume-title":"Principles of Database Systems","author":"J. Ullman","year":"1983","unstructured":"Ullman, J.: Principles of Database Systems. Freeman, New York (1983)"},{"key":"7_CR42","volume-title":"Principles of Database and Knowledge-base Systems","author":"J. Ullman","year":"1988","unstructured":"Ullman, J.: Principles of Database and Knowledge-base Systems, vol. 1. Freeman, New York (1988)"},{"key":"7_CR43","volume-title":"Principles of Database and Knowledge-base Systems","author":"J. Ullman","year":"1989","unstructured":"Ullman, J.: Principles of Database and Knowledge-base Systems, vol.\u00a02. Freeman, New York (1989)"},{"issue":"4","key":"7_CR44","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. van Emden","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.: The semantics of predicate logic as programming language. J. ACM 23(4), 733\u2013743 (1976)","journal-title":"J. ACM"},{"key":"7_CR45","unstructured":"Volz, R.: Web ontology reasoning with logic databases. Ph.D. Thesis, Institut f\u00fcr Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) (2004)"},{"key":"7_CR46","unstructured":"WSML Working Group: WSML language reference. Working Draft D16.1 v0.3, WSML (2008)"}],"container-title":["Semantic Web Information Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04329-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T20:49:03Z","timestamp":1676062143000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04329-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,1]]},"ISBN":["9783642043284","9783642043291"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04329-1_7","relation":{},"subject":[],"published":{"date-parts":[[2009,12,1]]},"assertion":[{"value":"1 December 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}