{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204106},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437604"},{"type":"electronic","value":"9783540480051"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48005-6_30","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T21:15:43Z","timestamp":1179609343000},"page":"394-398","source":"Crossref","is-referenced-by-count":32,"title":["Nonmonotonic Rule Systems on Top of Ontology Layers"],"prefix":"10.1007","author":[{"given":"Grigoris","family":"Antoniou","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"G. Antoniou, D. Billington, G. Governatori and M.J. Maher. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2,2 (2001): 255\u2013287.","journal-title":"ACM Transactions on Computational Logic"},{"doi-asserted-by":"crossref","unstructured":"F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithm. In Proc. Workshop on Processing Declarative Knowledge, LNAI, Springer 1991, 67\u201386.","key":"30_CR2","DOI":"10.1007\/BFb0013522"},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"M. Buchheit, F. Donini and A. Schaerf. Decidable Reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1 (1993): 109\u2013138.","journal-title":"Journal of Artificial Intelligence Research"},{"unstructured":"D. Connolly et al. DAML+OIL (March 2001) Reference Description. http:\/\/www.w3.org\/TR\/daml+oil-reference .","key":"30_CR4"},{"unstructured":"F. Donini, M. Lenzerini, D. Nardi and A. Schaerf. Reasoning in Description Logics. In G. Brewka (ed): Principles of Knowledge Representation and Reasoning, Studies in Logic, Language and Information, CLSI Publications 1996, 193\u2013238.","key":"30_CR5"},{"doi-asserted-by":"crossref","unstructured":"F. Donini, M. Lenzerini, D. Nardi and A. Schaerf. A hybrid system with datalog and concept languages. In E. Ardizzone, S. Gaglio, F. Sorbello (eds): Trends in Artificial Intelligence, LNAI 549, Springer 1991, 88\u201397.","key":"30_CR6","DOI":"10.1007\/3-540-54712-6_221"},{"unstructured":"A. Frisch (ed). Workshop Notes of the AAAI Fall Symposium on Principles of Hybrid Reasoning. AAAI Press 1991.","key":"30_CR7"},{"unstructured":"G. Governatori, A. ter Hofstede and P. Oaks. Defeasible Logic for Automated Negotiation. Proc. Collecter\u20192000.","key":"30_CR8"},{"unstructured":"B. Grosof. Prioritized conflict handling for logic programs. In Proc. International Logic Programming Symposium, MIT Press 1997, 197\u2013211.","key":"30_CR9"},{"doi-asserted-by":"crossref","unstructured":"B. Grosof, Y. Lambrou and H. Chan. A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In Proc. 1st ACM Conference on Electronic Commerce, ACM 1999.","key":"30_CR10","DOI":"10.1145\/336992.337010"},{"unstructured":"I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI-01), Morgan Kaufmann 2001, 199\u2013204.","key":"30_CR11"},{"issue":"1\u20132","key":"30_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. Levy","year":"1998","unstructured":"A. Levy and M-C. Rousset. CARIN: A Representation Language Combining Horn rules and Description Logics. Artificial Intelligence 104(1\u20132), 1998, 165\u2013209.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"30_CR13","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M.J. Maher","year":"2001","unstructured":"M.J. Maher. Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming, 1,6 (2001): 691\u2013711.","journal-title":"Theory and Practice of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353\u2013395.","key":"30_CR14","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"doi-asserted-by":"crossref","unstructured":"H. Prakken. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers 1997.","key":"30_CR15","DOI":"10.1007\/978-94-015-8975-8"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A Logic for Default Reasoning. Artificial Intelligence 13(1980): 81\u2013132.","journal-title":"Artificial Intelligence"},{"unstructured":"www.w3.org\/2001\/sw\/","key":"30_CR17"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2014 ISWC 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48005-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T11:57:36Z","timestamp":1707911856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48005-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437604","9783540480051"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48005-6_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}