{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:30:37Z","timestamp":1725622237225},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250729"},{"type":"electronic","value":"9783642250736"}],"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-25073-6_40","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T00:58:08Z","timestamp":1318899488000},"page":"633-648","source":"Crossref","is-referenced-by-count":3,"title":["Extending Logic Programs with Description Logic Expressions for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Yi-Dong","family":"Shen","sequence":"first","affiliation":[]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"key":"40_CR2","unstructured":"de Bruijn, J., Eiter, T., Tompits, H.: Embedding approaches to combining rules and ontologies into autoepistemic logic. In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 485\u2013495 (2008)"},{"key":"40_CR3","first-page":"1","volume-title":"Reasoning Web","author":"Thomas Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR 2008), pp. 1\u201353 (2008)"},{"issue":"12-13","key":"40_CR4","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artificial Intelligence"},{"key":"40_CR5","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI 2005, pp. 90\u201396 (2005)"},{"key":"40_CR6","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"Wolfgang Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Logics in Artificial Intelligence: European Workshop (JELIA 2004), pp. 200\u2013212 (2004)"},{"key":"40_CR7","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of clark\u2019s completion and existence of stable models. Journal of Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Journal of Methods of Logic in Computer Science"},{"key":"40_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming (ICLP- 1988), pp. 1070\u20131080 (1988)"},{"issue":"4","key":"40_CR9","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics\u00a06(4), 309\u2013322 (2008)","journal-title":"Journal of Web Semantics"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., R.\u00a0Volz, S.D.: Description logic programs: Combining logic programs with description logics. In: WWW 2003, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"40_CR11","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1017\/S1471068407003201","volume":"8","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., Bruijn, J.D., Predoiu, L., Feier, C., Niewenborgh, D.V.: Guarded hybrid knowledge bases. Theory and Practice of Logic Programming\u00a08, 411\u2013429 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"40_CR12","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2006), pp. 57\u201367 (2006)"},{"issue":"1","key":"40_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"40_CR14","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web rule language combining OWL and RuleML. In: W3C Member Submission (2004), http:\/\/www.w3.org\/Submission\/SWRL"},{"key":"40_CR15","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: IJCAI-1991, pp. 381\u2013386 (1991)"},{"issue":"11","key":"40_CR16","doi-asserted-by":"publisher","first-page":"1577","DOI":"10.1109\/TKDE.2010.111","volume":"22","author":"T. Lukasiewicz","year":"2010","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. IEEE Transactions on Knowledge and Data Engineering\u00a022(11), 1577\u20131592 (2010)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"40_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. Artificial Intelligence\u00a025(1), 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"40_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"Boris Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5) (2010)","journal-title":"Journal of the ACM"},{"key":"40_CR19","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2006), pp. 68\u201378 (2006)"},{"key":"40_CR20","unstructured":"Shen, Y.D.: Well-supported semantics for description logic programs. In: IJCAI 2011, pp. 1081\u20131086 (2011)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25073-6_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T17:14:29Z","timestamp":1560791669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25073-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250729","9783642250736"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25073-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}