{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:48Z","timestamp":1725564648406},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203612"},{"type":"electronic","value":"9783540397151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39715-1_8","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:33:00Z","timestamp":1283560380000},"page":"111-120","source":"Crossref","is-referenced-by-count":16,"title":["Rules and Defeasible Reasoning on the Semantic Web"],"prefix":"10.1007","author":[{"given":"Grigoris","family":"Antoniou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerd","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Billington, D., Maher, M.J.: On the analysis of regulations using defeasible rules. In: Proc. 32nd Hawaii International Conference on Systems Sciences (1999)","DOI":"10.1109\/HICSS.1999.772631"},{"key":"8_CR2","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: Proc. 17th American National Conference on Artificial Intelligence (AAAI 2000), pp. 405\u2013410 (2000)"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation Results for Defeasible Logic. ACM Transactions on Computational Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-48005-6_30","volume-title":"The Semantic Web - ISWC 2002","author":"G. Antoniou","year":"2002","unstructured":"Antoniou, G.: Nonmonotonic Rule Systems on top of Ontology Layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 394\u2013398. Springer, Heidelberg (2002)"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"Buchheit, M., Donini, F., Schaerf, A.: Decidable Reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research\u00a01, 109\u2013138 (1993)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"8_CR6","unstructured":"Connolly, D., et al.: DAML+OIL. Reference Description (March 2001), http:\/\/www.w3.org\/TR\/daml+oil-reference"},{"key":"8_CR7","unstructured":"Dean, M., et al.: OWL Web Ontology Language Reference 1.0, http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Dumas, M., Governatori, G., ter Hofstede, A., Oaks, P.: A formal approach to negotiating agents development. Electronic Commerce Research and Applications\u00a01(2 ) (2002)","DOI":"10.1016\/S1567-4223(02)00016-9"},{"key":"8_CR9","volume-title":"Proc. 1st ACM Conference on Electronic Commerce","author":"B. Grosof","year":"1999","unstructured":"Grosof, B., Labrou, Y., Chan, H.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: Proc. 1st ACM Conference on Electronic Commerce. ACM, New York (1999)"},{"key":"8_CR10","unstructured":"Grosof, B., Poon, T.: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process. In: Proc. Intern. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Sardinia, Italy, June 14 (2002); in conjunction with the First International Semantic Web Conference"},{"key":"8_CR11","unstructured":"Grosof, B., Horrocks, I.: Description Logic Programs: Combining Logic Programs with Description Logic (unpublished manuscript)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1007\/3-540-36124-3_66","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"S. Heymanns","year":"2002","unstructured":"Heymanns, S., Vermeir, D.: A Defeasible Ontology Language. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, pp. 1033\u20131046. Springer, Heidelberg (2002)"},{"key":"8_CR13","first-page":"199","volume-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)","author":"I. Horrocks","year":"2001","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199\u2013204. Morgan Kaufmann, San Francisco (2001)"},{"issue":"1-2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. Levy","year":"1998","unstructured":"Levy, A., Rousset, M.-C.: CARIN: A Representation Language Combining Horn rules and Description Logics. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"8_CR15","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K.: Negation in Logic Programming. Journal of Logic Programming\u00a04(4), 289\u2013308 (1987)","journal-title":"Journal of Logic Programming"},{"key":"8_CR16","unstructured":"Maher, M.J., Governatori, G.: A Semantic Decomposition of Defeasible Logics. In: Proc. American National Conference on Artificial Intelligence (AAAI 1999), pp. 299\u2013306 (1999)"},{"issue":"6","key":"8_CR17","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J.: Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming\u00a01(6), 691\u2013711 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR18","volume-title":"Nonmonotonic Reasoning \u2013 Context-Dependent Reasoning","author":"V. Marek","year":"1993","unstructured":"Marek, V., Truszczynski, M.: Nonmonotonic Reasoning \u2013 Context-Dependent Reasoning. Springer, Heidelberg (1993)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00073-3","volume":"103","author":"L. Morgenstern","year":"1998","unstructured":"Morgenstern, L.: Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. Artificial Intelligence\u00a0103, 1\u201334 (1998)","journal-title":"Artificial Intelligence"},{"key":"8_CR20","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. Oxford University Press, Oxford (1994)"},{"key":"8_CR21","volume-title":"Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law","author":"H. Prakken","year":"1997","unstructured":"Prakken, H.: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"8_CR23","unstructured":"www.w3.org\/2001\/sw\/"},{"key":"8_CR24","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence IJCAI 1991","author":"G. Wagner","year":"1991","unstructured":"Wagner, G.: Ex contradictione nihil sequitur. In: Proceedings of International Joint Conference on Artificial Intelligence IJCAI 1991. Morgan Kaufmann, San Francisco (1991)"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39715-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T03:38:24Z","timestamp":1711769904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39715-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203612","9783540397151"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39715-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}