{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:24:08Z","timestamp":1725539048956},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050817"},{"type":"electronic","value":"9783642050824"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05082-4_5","type":"book-chapter","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T02:19:58Z","timestamp":1255486798000},"page":"55-70","source":"Crossref","is-referenced-by-count":1,"title":["A Reasoner for Simple Conceptual Logic Programs"],"prefix":"10.1007","author":[{"given":"Stijn","family":"Heymans","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Feier","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"RacerPro 1.9.0. Racer Systems GmbH & Co. KG, http:\/\/www.racer-systems.com\/index.phtml"},{"key":"5_CR2","unstructured":"BProlog 7.1. Afany software, http:\/\/www.probp.com\/"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"5_CR3","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)"},{"issue":"12-13","key":"5_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":"5_CR5","unstructured":"Feier, C., Heymans, S.: A sound and complete algorithm for simple conceptual logic programs. Technical Report INFSYS Research Report 184-08-10, KBS Group, Technical University Vienna, Austria (October 2008), http:\/\/www.kr.tuwien.ac.at\/staff\/heymans\/priv\/projects\/fwf-doasp\/alpsws2008-tr.pdf"},{"key":"5_CR6","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. of ICLP 1988, Cambridge, Massachusetts, pp. 1070\u20131080 (1988)"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. of the World Wide Web Conference (WWW)","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. of the World Wide Web Conference (WWW), pp. 48\u201357. ACM, New York (2003)"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1017\/S1471068407003201","volume":"8","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Van Nieuwenborgh, D.: Guarded hybrid knowledge bases. Theory and Practice of Logic Programming\u00a08(3), 411\u2013429 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1\u20132","key":"5_CR9","first-page":"103","volume":"47","author":"S. Heymans","year":"2006","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Conceptual logic programs. Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming)\u00a047(1\u20132), 103\u2013137 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming)"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jal.2006.02.001","volume":"5","author":"S. Heymans","year":"2007","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming for the semantic web. Journal of Applied Logic\u00a05(1), 144\u2013169 (2007)","journal-title":"Journal of Applied Logic"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Transactions on Computational Logic (TOCL)\u00a09(4) (October 2008)","DOI":"10.1145\/1380572.1380575"},{"key":"5_CR12","first-page":"80","volume-title":"Proc. 18th European Conf. on Artificial Intelligence (ECAI 2008)","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Proc. 18th European Conf. on Artificial Intelligence (ECAI 2008), pp. 80\u201384. IOS Press, Amsterdam (2008)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-72667-8_28","volume-title":"The Semantic Web: Research and Applications","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 384\u2013398. Springer, Heidelberg (2007)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"5_CR15","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. KR, pp. 68\u201378 (2006)"},{"issue":"1","key":"5_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1), 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"key":"5_CR17","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis (2001)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05082-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T06:16:58Z","timestamp":1634019418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05082-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050817","9783642050824"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05082-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}