{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T07:10:02Z","timestamp":1742627402744,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284717"},{"type":"electronic","value":"9783642284724"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28472-4_18","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T10:47:10Z","timestamp":1330512430000},"page":"312-331","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Resource Requirements for Ontology-Driven Rule-Based Agents"],"prefix":"10.1007","author":[{"given":"Abdur","family":"Rakib","sequence":"first","affiliation":[]},{"given":"Rokan Uddin","family":"Faruqui","sequence":"additional","affiliation":[]},{"given":"Wendy","family":"MacCaull","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Basic formal ontology (2002), http:\/\/ontology.buffalo.edu\/bfo\/"},{"key":"18_CR2","unstructured":"SNOMED-CT Systematized Nomenclature of Medicine-Clinical Terms (2007), http:\/\/www.ihtsdo.org\/snomed-ct\/"},{"key":"18_CR3","unstructured":"OWL 2 Web Ontology Language Manchester Syntax. W3C Candidate Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-manchester-syntax\/"},{"key":"18_CR4","unstructured":"OWL 2 Web Ontology Language Structural Specification and Functional-style Syntax. W3C Candidate Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"18_CR5","unstructured":"The Prot\u00e9g\u00e9 ontology editor and knowledge-base framework (Version 4.1) (July 2011), http:\/\/protege.stanford.edu\/"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00431-5_1","volume-title":"Model Checking and Artificial Intelligence","author":"N. Alechina","year":"2009","unstructured":"Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying Time and Communication Costs of Rule-Based Reasoners. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008. LNCS, vol.\u00a05348, pp. 1\u201314. Springer, Heidelberg (2009)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-20674-0_5","volume-title":"Model Checking and Artificial Intelligence","author":"N. Alechina","year":"2011","unstructured":"Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. In: van der Meyden, R., Smaus, J.-G. (eds.) MoChArt 2010. LNCS, vol.\u00a06572, pp. 69\u201384. Springer, Heidelberg (2011)"},{"key":"18_CR8","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J.A., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference, World Wide Web Consortium, recommendation rec-owl-ref-20040210 (February 2004)"},{"key":"18_CR9","unstructured":"Broadfield, L., Banerjee, S., Jewers, H., Pollett, A.J., Simpson, J.: Guidelines for the management of cancer-related pain in adults. Supportive care cancer site team, cancer care Nova Scotia, Canada (2005)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S1571-0661(04)00034-9","volume":"4","author":"M. Clavel","year":"1996","unstructured":"Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: Principles of Maude. Electronic Notes in Theoretical Computer Science\u00a04, 65\u201389 (1996)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/5254.988447","volume":"17","author":"R.S. Cost","year":"2002","unstructured":"Cost, R.S., Finin, T.W., Joshi, A., Peng, Y., Nicholas, C.K., Soboroff, I., Chen, H., Kagal, L., Perich, F., Zou, Y., Tolia, S.: ITtalks: A case study in the Semantic Web and DAML+OIL. IEEE Intelligent Systems\u00a017, 40\u201347 (2002)","journal-title":"IEEE Intelligent Systems"},{"key":"18_CR12","unstructured":"Culbert, C.: CLIPS reference manual. NASA (2007)"},{"issue":"3","key":"18_CR13","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1016\/j.apal.2005.12.003","volume":"141","author":"M.I. Dekhtyar","year":"2006","unstructured":"Dekhtyar, M.I., Dikovsky, A.J., Valiev, M.K.: On complexity of verification of interacting agents\u2019 behavior. Annals of Pure and Applied Logic\u00a0141(3), 336\u2013362 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Ferris, F.D., Balfour, H.M., Bowen, K., Farley, J., Hardwick, M., Lamontagne, C., Lundy, M., Syme, A., West, P.J.: A model to guide hospice palliative care: Based on national principles and norms of practice (March 2002)","DOI":"10.1016\/S0885-3924(02)00468-2"},{"key":"18_CR15","unstructured":"Friedman-Hill, E.J.: Jess, the rule engine for the java platform. Sandia national laboratories (2008)"},{"key":"18_CR16","unstructured":"Glimm, B., Horridge, M., Parsia, B., Patel-Schneider, P.F.: A syntax for rules in OWL 2. In: Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009), vol.\u00a0529. CEUR (2009)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., 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, pp. 48\u201357. ACM Press (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. Gruber","year":"1993","unstructured":"Gruber, T.: A translation approach to protable ontology specifications. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"18_CR19","first-page":"705","volume":"122","author":"N. Hardiker","year":"2006","unstructured":"Hardiker, N., Coenen, A.: A formal foundation for ICNP. Journal of Stud. Health Technol. Inform.\u00a0122, 705\u2013709 (2006)","journal-title":"Journal of Stud. Health Technol. Inform."},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/5254.920597","volume":"16","author":"J. Hendler","year":"2001","unstructured":"Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems\u00a016, 30\u201337 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A java API for working with OWL 2 Ontologies. In: 6th OWL Experienced and Directions Workshop (OWLED 2009) (October 2009)","DOI":"10.3233\/SW-2011-0025"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, pp. 723\u2013731. ACM Press (2004)","DOI":"10.1145\/988672.988771"},{"key":"18_CR23","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web rule language combining OWL and RuleML. Acknowledged W3C submission, standards proposal research report: Version 0.6 (April 2004)"},{"issue":"2-3","key":"18_CR24","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics\u00a03(2-3), 79\u2013115 (2005)","journal-title":"Journal of Web Semantics"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for owl: nominal schemas for integrating rules and ontologies. In: Proceedings of the 20th International Conference on World Wide Web, pp. 645\u2013654. ACM (2011)","DOI":"10.1145\/1963405.1963496"},{"key":"18_CR26","unstructured":"Kr\u00f6tzsch, M., Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL 2 profiles. In: Proceedings of the 23rd International Workshop on Description Logics, vol.\u00a0573. CEUR (2010)"},{"key":"18_CR27","unstructured":"McGuinness, D., Smith, M., Welty, C.: OWL Web Ontology Language Guide, W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/owl-guide\/"},{"key":"18_CR28","unstructured":"Motik, B., Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles, W3C Recommendation (October 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"18_CR29","doi-asserted-by":"publisher","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: Science, Services and Agents on the World Wide Web\u00a03, 41\u201360 (2005)","journal-title":"Journal of Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"557","DOI":"10.3844\/jcssp.2010.557.565","volume":"6","author":"A. Mousavi","year":"2010","unstructured":"Mousavi, A., Nordin, M.J., Othman, Z.A.: An ontology driven, procedural reasoning system-like agent model,for multi-agent based mobile workforce brokering systems. Journal of Computer Science\u00a06, 557\u2013565 (2010)","journal-title":"Journal of Computer Science"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Rabbi, F., Mashiyat, A., MacCaull, W.: Model checking workflow monitors and its application to a pain management process. In: Proceedings of International Symposium on Foundations of Health Information Engineering and Systems, Johannesburg, South Africa, pp. 110\u2013127 (2011)","DOI":"10.1007\/978-3-642-32355-3_7"},{"key":"18_CR32","unstructured":"Rakib, A.: Verifying requirements for resource-bounded agents. Ph.D. thesis, The University of Nottingham (2011)"},{"key":"18_CR33","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: Proceedings of the First International Conference on Multi-agent Systems, pp. 312\u2013319. The MIT Press (1995)"},{"key":"18_CR34","unstructured":"Ruan, J., MacCaull, W.: Data-aware monitoring for healthcare workflows using formal methods. In: Proceedings of the Second Workshop Knowledge Representation for Health Care (KR4HC 2010), Lisbon, Portugal, pp. 51\u201360 (2010)"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Subercaze, J., Maret, P.: SAM - semantic agent model for swrl rule-based agents. In: Proceedings of the International Conference on Agents and Artificial Intelligence, pp. 245\u2013248. INSTICC Press (2010)","DOI":"10.5220\/0002689002450248"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press (2000)","DOI":"10.7551\/mitpress\/3487.001.0001"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Tzafestas, S.G.: Knowledge-Based System Diagnosis, Supervision, and Control. Plenum Publishing Co. (1988)","DOI":"10.1007\/978-1-4899-2471-1"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28472-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T06:03:33Z","timestamp":1742623413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28472-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284717","9783642284724"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28472-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}