{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:58:41Z","timestamp":1729630721604,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/is.2012.6335195","type":"proceedings-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T16:32:39Z","timestamp":1351096359000},"page":"082-087","source":"Crossref","is-referenced-by-count":3,"title":["On the measurement of semantic reasoners in Ambient Assisted Living environments"],"prefix":"10.1109","author":[{"given":"David","family":"Ausin","sequence":"first","affiliation":[]},{"given":"Federico","family":"Castanedo","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Lopez-de-Ipina","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"SPARQL query language for RDF","year":"2008","author":"prud'hommeaux","key":"19"},{"journal-title":"RDF Vocabulary Description Language 1 0 RDF Schema","year":"2004","author":"guha","key":"17"},{"journal-title":"OWL 2 Web Ontology Language Document Overview","year":"2009","key":"18"},{"key":"33","article-title":"Swrl: A semantic web rule language combining owl and ruleml, 2004","author":"horrocks","year":"2006","journal-title":"W3C Submission"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1013367.1013381"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21303-8_26"},{"journal-title":"Resource Description Framework (RDF) Concepts and Abstract Syntax","year":"2004","author":"carroll","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2008.05.002"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-010-0331-7"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00179-6_17"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.02.001"},{"key":"21","article-title":"The owl api: A java api for working with owl 2 ontologies","volume":"529","author":"horridge","year":"2009","journal-title":"Proc OWLED 2009 Workshop on OWL Experiences and Directions CEUR Workshop Proceedings"},{"key":"20","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1007\/978-3-540-39718-2_42","article-title":"Cooking the semantic web with the owl api","author":"bechhofer","year":"2003","journal-title":"The Semantic Web-ISWC 2003"},{"key":"22","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/11814771_26","article-title":"Fact++ description logic reasoner: System description","author":"tsarkov","year":"2006","journal-title":"Automated Reasoning"},{"key":"23","first-page":"26","article-title":"Hermit: A highly-efficient owl reasoner","author":"shearer","year":"2008","journal-title":"Proceedings of the 5th International Workshop on OWL Experiences and Directions (OWLED 2008)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"25","article-title":"The racerpro knowledge representation and reasoning system","author":"haarslev","year":"2011","journal-title":"Semantic Web"},{"key":"26","first-page":"287","article-title":"Cel-a polynomialtime reasoner for life science ontologies","volume":"4130","author":"baader","year":"2006","journal-title":"Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06) Ser Lecture Notes in Artificial Intelligence"},{"key":"27","first-page":"23","article-title":"Owllink","volume":"2","author":"liebig","year":"2011","journal-title":"Semantic Web - Interoperability Usability Applicability"},{"key":"28","article-title":"The dig description logic interface: Dig\/1.1","author":"bechhofer","year":"2003","journal-title":"Proceedings of the 2003 Description Logic Workshop (DL 2003)"},{"key":"29","article-title":"Description-logic knowledge representation system specification from the krss group of the arpa knowledge sharing effort","author":"patel-schneider","year":"1993","journal-title":"KRSS Group of the ARPA"},{"key":"3","article-title":"Automated benchmarking of description logic reasoners","volume":"189","author":"gardiner","year":"2006","journal-title":"Proc DL"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1409635.1409638"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1504\/IJWET.2009.025011"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.04.001"},{"year":"0","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2009.06.002"},{"key":"6","first-page":"1","article-title":"dynamic discovery and semantic reasoning for next generation intelligent environments","author":"lopez-de-ipina","year":"2008","journal-title":"2008 IET 4th International Conference on Intelligent Environments IET-ICIE"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61630-6_1"},{"key":"5","first-page":"101","article-title":"Whats wrong with owl benchmarks","author":"weith?oner","year":"2006","journal-title":"Proc of the Second Int Workshop on Scalable Semantic Web Knowledge Base Systems"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"9","first-page":"270","article-title":"An ontology-based context model in intelligent environments","volume":"2004","author":"gu","year":"2004","journal-title":"Proceedings of Communication Networks and Distributed Systems Modeling and Simulation Conference"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888904000025"}],"event":{"name":"2012 6th IEEE International Conference Intelligent Systems (IS)","start":{"date-parts":[[2012,9,6]]},"location":"Sofia, Bulgaria","end":{"date-parts":[[2012,9,8]]}},"container-title":["2012 6th IEEE INTERNATIONAL CONFERENCE INTELLIGENT SYSTEMS"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6320720\/6335103\/06335195.pdf?arnumber=6335195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:50:30Z","timestamp":1497995430000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6335195\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/is.2012.6335195","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}