{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:31:46Z","timestamp":1762101106767},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T00:00:00Z","timestamp":1264982400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s10472-010-9207-9","type":"journal-article","created":{"date-parts":[[2010,8,5]],"date-time":"2010-08-05T06:27:36Z","timestamp":1280989656000},"page":"85-115","source":"Crossref","is-referenced-by-count":6,"title":["FO(ID) as an extension of DL with rules"],"prefix":"10.1007","volume":"58","author":[{"given":"Joost","family":"Vennekens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,8,6]]},"reference":[{"key":"9207_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Theory, Implementation and Applications. Cambridge University Press (2002)"},{"key":"9207_CR2","doi-asserted-by":"crossref","unstructured":"Bruijn, J.D., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: International Conference on Web Reasoning and Rule Systems (RR) (2007)","DOI":"10.1007\/978-3-540-72982-2_5"},{"key":"9207_CR3","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"JR B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J.R.: Weak second order arithmetic and finite automata. Z. Math. Log. Grundl. Math. 6, 66\u201392 (1960)","journal-title":"Z. Math. Log. Grundl. Math."},{"key":"9207_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Perspectives in Mathematical Logic. Springer (1997)","DOI":"10.1007\/978-3-642-59207-2"},{"key":"9207_CR5","doi-asserted-by":"crossref","unstructured":"Denecker, M., Vennekens, J.: Well-founded semantics and the algebraic theory of non-monotone inductive definitions. In: Baral, C., Brewka, G., Schlipf, J. (eds.) Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR. Lecture Notes in Artificial Intelligence, vol. LNAI 4483, pp. 84\u201396. Springer (2007)","DOI":"10.1007\/978-3-540-72200-7_9"},{"key":"9207_CR6","unstructured":"Drabent, W., Henriksson, J., Maluszynski, J.: HD-rules: a hybrid system interfacing prolog with DL-reasoners. In: 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (2007)"},{"key":"9207_CR7","doi-asserted-by":"crossref","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Perspectives in Mathematical Logic. Springer (1995)","DOI":"10.1007\/978-3-662-03182-7"},{"key":"9207_CR8","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proceedings of the International Conference of Knowledge Representation and Reasoning (KR) (2004)"},{"key":"9207_CR9","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Walukiewicz, I.: Guarded fixed point logic. In: LICS (Logic in Computer Science), pp. 45\u201355 (1999)","DOI":"10.1109\/LICS.1999.782585"},{"key":"9207_CR10","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (2003)","DOI":"10.1145\/775152.775160"},{"issue":"3","key":"9207_CR11","doi-asserted-by":"crossref","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 (TPLP) 8(3), 411\u2013429 (2008)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"issue":"4","key":"9207_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380572.1380575","volume":"9","author":"S Heymans","year":"2008","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4), 1\u201353 (2008)","journal-title":"ACM Trans. Comput. Log."},{"key":"9207_CR13","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantics web rule language combining OWL and RuleML (2004). W3C submission. http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/ . Accessed January 2010"},{"key":"9207_CR14","doi-asserted-by":"crossref","unstructured":"Kreutzer, S.: Expressive equivalence of least and inflationary fixed-point logic. In: Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS) (2002)","DOI":"10.1109\/LICS.2002.1029848"},{"key":"9207_CR15","unstructured":"Lenzerini, M.: Tbox and Abox reasoning in expressive description logics. In: Proc. of KR-96, pp. 316\u2013327. Morgan Kaufmann (1996)"},{"key":"9207_CR16","unstructured":"Mitchell, D., Ternovska, E.: A framework for representing and solving NP search problems. In: AAAI\u201905, pp. 430\u2013435. AAAI Press\/MIT Press (2005)"},{"key":"9207_CR17","volume-title":"Elementary Induction on Abstract Structures","author":"YN Moschovakis","year":"1974","unstructured":"Moschovakis, Y.N.: Elementary Induction on Abstract Structures. North-Holland Publishing Company, Amsterdam- New York (1974)"},{"issue":"5","key":"9207_CR18","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM (JACM) 57(5), 165\u2013228 (2010)","journal-title":"J. ACM (JACM)"},{"key":"9207_CR19","doi-asserted-by":"crossref","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: Proc. of the 3rd International Semantic Web Conference (ISWC) (2004)","DOI":"10.1007\/978-3-540-30475-3_38"},{"key":"9207_CR20","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. J. Web Semant. 3, 61\u201373 (2005)","journal-title":"J. Web Semant."},{"key":"9207_CR21","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\u00a02006), pp. 68\u201378 (2006)"},{"issue":"1","key":"9207_CR22","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A Van Gelder","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. J. Comput. Syst. Sci. 47(1), 185\u2013221 (1993)","journal-title":"J. Comput. Syst. Sci."},{"key":"9207_CR23","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Denecker, M.: FO(ID) as an extension of DL with rules. In: European Semantic Web Conference. Lecture Notes in Computer Science, vol. 5554, pp. 384\u2013398 (2009)","DOI":"10.1007\/978-3-642-02121-3_30"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9207-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-010-9207-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-010-9207-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:06:25Z","timestamp":1559369185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-010-9207-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9207"],"URL":"https:\/\/doi.org\/10.1007\/s10472-010-9207-9","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2]]}}}