{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:43:34Z","timestamp":1743039814453,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225451"},{"type":"electronic","value":"9783642225468"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_17","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T00:30:13Z","timestamp":1310603413000},"page":"212-226","source":"Crossref","is-referenced-by-count":12,"title":["COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices"],"prefix":"10.1007","author":[{"given":"Wei","family":"Tai","sequence":"first","affiliation":[]},{"given":"John","family":"Keeney","sequence":"additional","affiliation":[]},{"given":"Declan","family":"O\u2019Sullivan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1109\/69.298172","volume":"6","author":"T. Ishida","year":"1994","unstructured":"Ishida, T.: An optimization algorithm for production systems. IEEE Transactions on Knowledge and Data Engineering\u00a06, 549\u2013558 (1994)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.4304\/jcp.2.4.41-48","volume":"2","author":"T. Ozacar","year":"2007","unstructured":"Ozacar, T., Ozturk, O., Unalir, M.O.: Optimizing a Rete-based Inference Engine using a Hybrid Heuristic and Pyramid based Indexes on Ontological Data. J. of Computers\u00a02, 41 (2007)","journal-title":"J. of Computers"},{"key":"17_CR3","unstructured":"Scales, D.J.: Efficient Matching Algorithm for the OAR\/OPS5 Production System. Technical Report KSL-86-47, Department of Computer Science, Stanford University (1986)"},{"key":"17_CR4","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. Web Semantics: Science, Services and Agents on the World Wide Web\u00a03, 79\u2013115 (2005)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A Fast Algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019, 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Tai, W., Brennan, R., Keeney, J., O\u2019Sullivan, D.: An Automatically Composable OWL Reasoner for Resource Constrained Devices. In: Proc. Intl. Conf. on Semantic Computing (2009)","DOI":"10.1109\/ICSC.2009.41"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TKDE.2007.190699","volume":"20","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: A Rule-Based Object-Oriented OWL Reasoner. IEEE Transactions on Knowledge and Data Engineering\u00a020, 397\u2013410 (2008)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"17_CR8","unstructured":"Gu, T., Kwok, Z., Koh, K.K., Pung, H.K.: A Mobile Framework Supporting Ontology Processing and Reasoning. In: Proc. Workshop on Requirements and Solutions for Pervasive Software Infrastructures (2007)"},{"key":"17_CR9","unstructured":"Steller, L., Krishnaswamy, S.: Pervasive Service Discovery: mTableaux Mobile Reasoning. In: Proc. Intl. Conf. on Semantic Systems (2008)"},{"key":"17_CR10","unstructured":"Wright, I., Marshall, J.: The execution kernel of RC++: RETE*, a faster RETE with TREAT as a special case. Int. J. of Intelligent Games and Simulation\u00a02 (2003)"},{"key":"17_CR11","unstructured":"Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proc. of AAAI Conf., pp. 42\u201347 (1987)"},{"key":"17_CR12","unstructured":"Pellet reasoner, \n                    \n                      http:\/\/clarkparsia.com\/pellet\/"},{"key":"17_CR13","unstructured":"FaCT++, \n                    \n                      http:\/\/owl.man.ac.uk\/factplusplus\/"},{"key":"17_CR14","unstructured":"RacerPro, \n                    \n                      http:\/\/www.racer-systems.com\/"},{"key":"17_CR15","unstructured":"Jena, \n                    \n                      http:\/\/jena.sourceforge.net\/"},{"key":"17_CR16","unstructured":"KAON2 reasoner, \n                    \n                      http:\/\/kaon2.semanticweb.org\/"},{"key":"17_CR17","unstructured":"QuOnto, \n                    \n                      http:\/\/www.dis.uniroma1.it\/~quonto\/"},{"key":"17_CR18","unstructured":"CEL, \n                    \n                      http:\/\/lat.inf.tu-dresden.de\/systems\/cel\/"},{"key":"17_CR19","unstructured":"OWLIM, \n                    \n                      http:\/\/www.ontotext.com\/owlim\/"},{"key":"17_CR20","unstructured":"BaseVISor, \n                    \n                      http:\/\/vistology.com\/basevisor\/basevisor.html"},{"key":"17_CR21","unstructured":"Bossam, \n                    \n                      http:\/\/bossam.wordpress.com\/about-bossam\/"},{"key":"17_CR22","unstructured":"Oracle Database Semantic Technologies, \n                    \n                      http:\/\/www.oracle.com\/technetwork\/database\/options\/semantic-tech\/index.html"},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning\u00a039, 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR24","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Web Ontology Language (OWL) Abstract Syntax and Semantics, W3C Recommendation (2004)"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Kim, T., Park, I., Hyun, S.J., Lee, D.: MiRE4OWL: Mobile Rule Engine for OWL. In: Proc. Intl. Workshop on Middleware Engineering, ME 2010 (2010)","DOI":"10.1109\/COMPSACW.2010.62"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-01671-4_28","volume-title":"Advances in Grid and Pervasive Computing","author":"S. Ali","year":"2009","unstructured":"Ali, S., Kiefer, S.: \u03bcOR - A Micro OWL DL Reasoner for Ambient Intelligent Devices. In: Abdennadher, N., Petcu, D. (eds.) GPC 2009. LNCS, vol.\u00a05529, pp. 305\u2013316. Springer, Heidelberg (2009)"},{"key":"17_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/11532231_33","volume-title":"Automated Deduction \u2013 CADE-20","author":"A. Sinner","year":"2005","unstructured":"Sinner, A., Kleemann, T.: KRHyper - In Your Pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, pp. 452\u2013457. Springer, Heidelberg (2005)"},{"key":"17_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11963578_11","volume-title":"Declarative Programming for Knowledge Management","author":"T. Kleemann","year":"2006","unstructured":"Kleemann, T., Sinner, A.: User Profiles and Matchmaking on Mobile Phones. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds.) INAP 2005. LNCS (LNAI), vol.\u00a04369, pp. 135\u2013147. Springer, Heidelberg (2006)"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Brennan, R., Tai, W., O\u2019Sullivan, D., Aslam, M.S., Rea, S., Pesch, D.: Open Framework Middleware for Intelligent WSN Topology Adaption in Smart Buildings. In: Proc. Intl. Conf. on Ultra Modern Telecommunications & Workshops (2009)","DOI":"10.1109\/ICUMT.2009.5345504"},{"key":"17_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-88793-5_13","volume-title":"Smart Sensing and Context","author":"M. Koziuk","year":"2008","unstructured":"Koziuk, M., Domaszewicz, J., Schoeneich, R.O., Jablonowski, M., Boetzel, P.: Mobile Context-Addressable Messaging with DL-Lite Domain Model. In: Roggen, D., Lombriser, C., Tr\u00f6ster, G., Kortuem, G., Havinga, P. (eds.) EuroSSC 2008. LNCS, vol.\u00a05279, pp. 168\u2013181. Springer, Heidelberg (2008)"},{"key":"17_CR31","unstructured":"Teams, \n                    \n                      http:\/\/owl.man.ac.uk\/2005\/sssw\/teams"},{"key":"17_CR32","unstructured":"OWLS-profile, \n                    \n                      http:\/\/www.daml.org\/services\/owl-s\/1.1\/Profile.owl"},{"key":"17_CR33","unstructured":"Koala, \n                    \n                      http:\/\/protege.stanford.edu\/plugins\/owl\/owl-library\/koala.owl"},{"key":"17_CR34","unstructured":"University, \n                    \n                      http:\/\/www.mindswap.org\/ontologies\/debugging\/university.owl"},{"key":"17_CR35","unstructured":"Beer, \n                    \n                      http:\/\/www.purl.org\/net\/ontology\/beer"},{"key":"17_CR36","unstructured":"Mindswapper, \n                    \n                      http:\/\/www.mindswap.org\/2004\/owl\/mindswappers"},{"key":"17_CR37","unstructured":"FOAF, \n                    \n                      http:\/\/xmlns.com\/foaf\/0.1\/"},{"key":"17_CR38","unstructured":"mad_cows, \n                    \n                      http:\/\/www.cs.man.ac.uk\/~horrocks\/OWL\/Ontologies\/mad_cows.owl"},{"key":"17_CR39","unstructured":"Biopax, \n                    \n                      http:\/\/www.biopax.org\/release\/biopax-level1.owl"},{"key":"17_CR40","unstructured":"food, \n                    \n                      http:\/\/www.w3.org\/2001\/sw\/WebOnt\/guide-src\/food"},{"key":"17_CR41","unstructured":"miniTambis, \n                    \n                      www.mindswap.org\/ontologies\/debugging\/miniTambis.owl"},{"key":"17_CR42","unstructured":"ATK-Portal, \n                    \n                      http:\/\/www.aktors.org\/ontology\/portal"},{"key":"17_CR43","unstructured":"wine, \n                    \n                      http:\/\/www.w3.org\/2001\/sw\/WebOnt\/guide-src\/wine"},{"key":"17_CR44","unstructured":"amino-acid, \n                    \n                      http:\/\/www.co-ode.org\/ontologies\/amino-acid\/2005\/10\/11\/amino-acid.owl"},{"key":"17_CR45","unstructured":"pizza, \n                    \n                      http:\/\/www.co-ode.org\/ontologies\/pizza\/pizza_20041007.owl"},{"key":"17_CR46","unstructured":"tambis-full, \n                    \n                      http:\/\/www.mindswap.org\/ontologies\/tambis-full.owl"},{"key":"17_CR47","unstructured":"NATO, \n                    \n                      http:\/\/www.mindswap.org\/ontologies\/IEDMv1.0.owl"},{"key":"17_CR48","unstructured":"SUN SPOT, \n                    \n                      http:\/\/www.sunspotworld.com\/"},{"key":"17_CR49","unstructured":"\u03bcJena, \n                    \n                      http:\/\/poseidon.elet.polimi.it\/ca\/?page_id=59"},{"key":"17_CR50","unstructured":"Hanson, E.N., Hasan, M.S.: Gator: An Optimized Discrimination Network for Active Database Rule Condition Testing. Tech. Report, CIS Dept, University of Florida (1993)"},{"key":"17_CR51","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. Intl. Conf. on World Wide Web (2003)","DOI":"10.1145\/775152.775160"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T22:40:16Z","timestamp":1553899216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}