{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:12:36Z","timestamp":1759032756670,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250927"},{"type":"electronic","value":"9783642250934"}],"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-25093-4_16","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T04:58:29Z","timestamp":1318913909000},"page":"237-252","source":"Crossref","is-referenced-by-count":20,"title":["Rule-Based OWL Reasoning for Specific Embedded Devices"],"prefix":"10.1007","author":[{"given":"Christian","family":"Seitz","sequence":"first","affiliation":[]},{"given":"Ren\u00e9","family":"Sch\u00f6nfelder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","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 \u2013 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":"16_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL \u2014 A polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"16_CR3","unstructured":"Bechhofer, S.: The DIG description logic interface: DIG\/1.1. Tech. rep., University of Manchester (2003)"},{"key":"16_CR4","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Department of Computer Science, Carnegie-Mellon University, Pittsburgh (2003)"},{"key":"16_CR5","unstructured":"Grosof, B., Dean, M., Ganjugunte, S., Tabet, S., Neogy, C.: Sweetrules homepage (2005), http:\/\/sweetrules.semwebcentral.org\/"},{"key":"16_CR6","unstructured":"Gumstix: Gumstix website (2010), http:\/\/www.gumstix.com"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Tableaux and Related Methods. Handbook of Automated Reasoning (2001)","DOI":"10.1016\/B978-044450813-3\/50005-9"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Horridge, M.: OWL2 API (2010), http:\/\/owlapi.sourceforge.net\/","DOI":"10.3233\/SW-2011-0025"},{"key":"16_CR9","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":"T. Kleemann","year":"2005","unstructured":"Kleemann, T., Sinner, A.: KRHyper - in your pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, pp. 452\u2013457. Springer, Heidelberg (2005)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-15675-5_21","volume-title":"Logics in Artificial Intelligence","author":"M. Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 234\u2013246. Springer, Heidelberg (2010)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for the description logic underlying OWL EL. Institut AIFB, KIT, Karlsruhe (2010)","DOI":"10.1007\/978-3-642-15675-5_21"},{"key":"16_CR12","unstructured":"Kr\u00f6tzsch, M., ul Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL 2 profiles. In: Int. Workshop on Description Logics (2010)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Meditskos, G., Bassilades, N.: A rule-based object-oriented OWL reasoner. In: IEEE Transactions on Knowledge and Data Engineering (2008)","DOI":"10.1109\/TKDE.2007.190699"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.websem.2009.11.001","volume":"8","author":"G. Meditskos","year":"2010","unstructured":"Meditskos, G., Bassiliades, N.: DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet. Web Semantics\u00a08(1), 89\u201394 (2010)","journal-title":"Web Semantics"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-30504-0_10","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M. Jang","year":"2004","unstructured":"Jang, M., Sohn, J.-C.: Bossam: An Extended Rule Engine for OWL Inferencing. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 128\u2013138. Springer, Heidelberg (2004)"},{"key":"16_CR16","unstructured":"Parsia, B., Sirin, E.: Pellet: An OWL DL Reasoner. In: Third International Semantic Web Conference-Poster (2004)"},{"key":"16_CR17","unstructured":"Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett, D.: Cautiously approaching SWRL. Tech. rep., University of Maryland (2005)"},{"key":"16_CR18","unstructured":"Raptor: Raptor website (2010), http:\/\/librdf.org\/raptor\/"},{"key":"16_CR19","unstructured":"Riley, G.: CLIPS (2010), http:\/\/clipsrules.sourceforge.net\/"},{"key":"16_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"16_CR21","unstructured":"University, L.: LUBM website (2010), http:\/\/swat.cse.lehigh.edu\/projects\/lubm\/query.htm"},{"key":"16_CR22","unstructured":"Volz, R.: FactConverter (2010), http:\/\/phoebus.cs.man.ac.uk:9999\/OWL\/Converter"},{"key":"16_CR23","unstructured":"World Wide Web Consortium (W3C): OWL-Lite (2010), http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210\/#s3"},{"key":"16_CR24","unstructured":"World Wide Web Consortium (W3C): OWL profiles (2010), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"16_CR25","unstructured":"World Wide Web Consortium (W3C): SPARQL (2010), http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"16_CR26","unstructured":"World Wide Web Consortium (W3C) OWL Working Group: nTriples Format (2010), http:\/\/www.w3.org\/TR\/rdf-testcases\/#ntriples"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25093-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T03:48:35Z","timestamp":1593143315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25093-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250927","9783642250934"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25093-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}