{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T11:52:48Z","timestamp":1768737168635,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261247","type":"print"},{"value":"9783540315476","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431053_27","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:48:34Z","timestamp":1279082914000},"page":"392-407","source":"Crossref","is-referenced-by-count":23,"title":["Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs"],"prefix":"10.1007","author":[{"given":"Stijn","family":"Heymans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davy","family":"Van Nieuwenborgh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"The Rule Markup Initiative, http:\/\/www.ruleml.org"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G.: A Nonmonotonic Rule System using Ontologies. In: CEUR Proceedings (2002)","DOI":"10.1007\/3-540-48005-6_30"},{"key":"27_CR3","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Sattler, U.: Number Restrictions on Complex Roles in Description logics. In: Proc. of KR 1996, pp. 328\u2013339 (1996)","DOI":"10.25368\/2022.70"},{"key":"27_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"27_CR6","unstructured":"Bechhofer, S., Goble, C., Horrocks, I.: DAML+OIL is not Enough. In: Proc. of the First Semantic Web Working Symposium (SWWS 2001) CEUR, pp. 151\u2013159 (2001)"},{"key":"27_CR7","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"issue":"1-2","key":"27_CR8","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence\u00a082(1-2), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"27_CR9","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"27_CR10","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with DLs for the Semantic Web. In: Proc. of KR 2004, pp. 141\u2013151 (2004)"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-Founded Semantics for Description Logic Programs in the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"key":"27_CR12","unstructured":"Friendman-Hill, E.J.: Jess homepage: http:\/\/herzberg.ca.sandia.gov\/jess\/"},{"key":"27_CR13","first-page":"1070","volume-title":"Proc. of ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. of ICLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-30504-0_2","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"C. Golbreich","year":"2004","unstructured":"Golbreich, C.: Combining Rule and Ontology Reasoners for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 6\u201322. Springer, Heidelberg (2004)"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/775152.775200","volume-title":"Proc. of WWW 2003","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Poon, T.C.: SweetDeal: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In: Proc. of WWW 2003, pp. 340\u2013349. ACM Press, New York (2003)"},{"key":"27_CR16","unstructured":"Haarslev, V., Moller, R.: Description of the RACER System and its Applications. In: Proc. of Description Logics 2001 (2001)"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-30504-0_9","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"S. Heymans","year":"2004","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Semantic Web Reasoning with Conceptual Logic Programs. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 113\u2013127. Springer, Heidelberg (2004)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.: Reducing OWL Entailment to Description Logic Satisfiability. J. of Web Semantics (2004) (to appear)","DOI":"10.1016\/j.websem.2004.06.003"},{"key":"27_CR19","volume-title":"Proc. of WWW 2004","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. of WWW 2004. ACM, New York (2004)"},{"key":"27_CR20","unstructured":"Horrocks, I., Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule language Combining OWL and RuleML (May 2004)"},{"key":"27_CR21","unstructured":"Leone, N., Faber, W., Pfeifer, G.: DLV homepage: http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-30504-0_12","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"J. Mei","year":"2004","unstructured":"Mei, J., Liu, S., Yue, A., Lin, Z.: An Extension to OWL with General Rules. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 6\u201322. Springer, Heidelberg (2004)"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-540-30475-3_38","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B. Motik","year":"2004","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 549\u2013563. Springer, Heidelberg (2004)"},{"key":"27_CR24","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 353\u2013395. Clarendon Press, Oxford (1994)"},{"key":"27_CR25","unstructured":"Simons, P.: Smodels homepage, http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"27_CR26","unstructured":"Smith, M., Welty, C., McGuinness, D.: OWL Web Ontology Language Guide (2004), http:\/\/www.w3.org\/TR\/owl-guide\/"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431053_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T09:03:29Z","timestamp":1711616609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431053_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261247","9783540315476"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11431053_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}