{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:51:23Z","timestamp":1729626683342,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/icsc.2011.17","type":"proceedings-article","created":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T21:00:41Z","timestamp":1320181241000},"page":"27-34","source":"Crossref","is-referenced-by-count":1,"title":["RESP: A Computer Aided OWL REasoner Selection Process"],"prefix":"10.1109","author":[{"given":"Wei","family":"Tai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Keeney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Declan","family":"O'Sullivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1145\/1739041.1739095"},{"key":"ref38","article-title":"Processing OWL2 ontologies using Thea: An application of logic programming","author":"vassiliadis","year":"2009","journal-title":"Proc OWL Experiences and Directions Workshop"},{"key":"ref33","article-title":"QuOnto: Querying Ontologies","author":"acciarri","year":"2005","journal-title":"Proc National Conf on Artificial Intelligence"},{"key":"ref32","article-title":"Owlgres: A Scalable OWL Reasoner","author":"stocker","year":"2008","journal-title":"Proc OWL Experiences and Directions Workshop"},{"key":"ref31","article-title":"Pushing the EL Envelop Further","author":"baader","year":"2008","journal-title":"Proc OWL Experiences and Directions Workshop"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1016\/j.websem.2005.06.001"},{"key":"ref37","article-title":"Reintroducing CEL as an OWL 2 EL Reasoner","author":"mendez","year":"2009","journal-title":"Proc Int l Workshop Description Logics"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/ICIS.2008.100"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/CIMSA.2007.4362539"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1007\/s10817-007-9078-x"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1016\/j.websem.2009.11.001"},{"key":"ref27","article-title":"COROR: A COmposable Rule-entailment Owl Reasoner for Resource Constrained Devices","author":"tai","year":"2011","journal-title":"Proc 5th Intl Symposium on Rules Research Based and Industry Focused"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.3233\/SW-2011-0026","article-title":"OWLIM: A Family of Scalable Semantic Repositories","author":"bishop","year":"2011","journal-title":"Journal of Web Semanticsi"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.ecoinf.2009.08.007"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1017\/CBO9780511711787"},{"key":"ref20","article-title":"A Survey of the Semantic Specification of Sensors","author":"compton","year":"2009","journal-title":"Proceedings of the Semantic Sensor Networks Workshop"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/0004-3702(82)90020-0"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/1385989.1385995"},{"key":"ref24","article-title":"Towards Expressive Stream Reasoning","author":"stuckenschmidt","year":"2010","journal-title":"Dagstuhl Seminar on Semantic Aspects of Sensor Networks"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/s10817-009-9159-0"},{"key":"ref26","article-title":"The OWL Instance Store: System Description","author":"bechhofer","year":"2005","journal-title":"Proc Ninth Intl Conf on Automated Deduction"},{"key":"ref25","first-page":"1","article-title":"Incremental Reasoning on Streams and Rich Background Knowledge","author":"barbieri","year":"2010","journal-title":"Proc Extended Semantic Web Conference"},{"key":"ref50","doi-asserted-by":"crossref","DOI":"10.1613\/jair.2811","article-title":"Hypertableau Reasoning for Description Logics","volume":"36","author":"motik","year":"2009","journal-title":"J Artificial Intelligence Research"},{"key":"ref51","article-title":"Orel: Database-driven reasoning for OWL 2 profile","author":"kr\u00f6tzsch","year":"2010","journal-title":"Proc Int l Workshop Description Logics"},{"key":"ref52","article-title":"Using ontologies to simplify wireless network configuration","author":"cleary","year":"2005","journal-title":"Proc of the FOMI Workshop"},{"key":"ref10","first-page":"114","article-title":"Determining What Individual SUS Scores Mean: Adding an Adjective Rating Scale","volume":"4","author":"bangor","year":"2009","journal-title":"Journal of Usability Studies"},{"key":"ref11","article-title":"A Survey of Requirements for Automated Reasoning Services for Bio-Ontologies in OWL","author":"keet","year":"2007","journal-title":"Proc OWL Experiences and Directions Workshop"},{"key":"ref40","article-title":"Reasoning about Sensors and Compositions","author":"compton","year":"2009","journal-title":"Proceedings of the Semantic Sensor Networks Workshop"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/11916277_16","article-title":"A comparison of reasoning techniques for querying large description logic aboxes","author":"motik","year":"2006","journal-title":"Proc Intl Conf on Logic for Programming Artificial Intelligence and Reasoning"},{"key":"ref13","article-title":"E. S.: Towards Incremental Reasoning Through Updates","author":"parsia","year":"2006","journal-title":"OWL DL in Proc Intl Conf on World Wide Web"},{"key":"ref14","first-page":"637","article-title":"Building a Sensor Ontology: A Practical Approach Leveraging ISO and OGC Models","author":"russomanno","year":"2005","journal-title":"Proc of Intl Conf on Artificial Intelligence"},{"key":"ref15","article-title":"Software configuration management using ontologies","author":"shahri","year":"2007","journal-title":"2nd International Workshop on Semantic Web Enabled Software Engineering"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/MIC.2008.87"},{"key":"ref17","article-title":"Using Vampire to Reason with OWL","author":"tsarkov","year":"2004","journal-title":"Proc Int l Semantic Web Conf"},{"key":"ref18","first-page":"882","article-title":"A semantic infosphere","author":"ushchold","year":"2003","journal-title":"Proc Int l Semantic Web Conf"},{"key":"ref19","first-page":"16","article-title":"F-OWL: an Inference Engine for Semantic Web","author":"zou","year":"2004","journal-title":"Proc 2nd IEEE W on Formal Approaches to Agent-Based Systems (FAABS II)"},{"key":"ref4","article-title":"An Ontology-Centric Approach to Sensor-Mission Assignment","author":"gomez","year":"2008","journal-title":"Proc Int'l Conf Knowledge Eng and Knowledge Management"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.websem.2008.06.002"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","article-title":"RACER system description","author":"haarslev","year":"2001","journal-title":"Proc Int'l Joint Conf Automated Reasoning"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"258d","DOI":"10.1093\/nar\/gkh036","article-title":"The Gene Ontology (GO) database and informatics resource","volume":"32","author":"harris","year":"2004","journal-title":"Nucleic Acids Research"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/11914853_44"},{"key":"ref7","first-page":"85","article-title":"Incremental Query Answering for Implementing Document Retrieval Services","author":"haarslev","year":"2003","journal-title":"Proc Int l Workshop Description Logics"},{"key":"ref49","article-title":"Debugging Unsatisfiable Classes in OWL Ontologies","volume":"3","author":"kalyanpur","year":"2006","journal-title":"J Web Semantics"},{"key":"ref9","first-page":"189","article-title":"SUS-A quick and dirty usability scale","author":"brooke","year":"1996","journal-title":"Usability Evaluation in Industry"},{"key":"ref46","article-title":"Towards a Nonmonotonic Extension to OWL","author":"katz","year":"2005","journal-title":"Proc OWL Experiences and Directions Workshop"},{"key":"ref45","article-title":"Description Logic Systems with Concrete Domains: Applications for the Semantic Web","author":"haarslev","year":"2003","journal-title":"Proc 5th Int Workshop on Knowledge Representation Meets Databases (KRDB)"},{"key":"ref48","article-title":"A Database Backend for OWL","author":"henss","year":"2009","journal-title":"Proc OWL Experiences and Directions Workshop"},{"key":"ref47","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v24i1.7525","article-title":"Integrity Constraints in OWL","author":"tao","year":"2010","journal-title":"Proc of AAAI Conf on Artificial Intelligence"},{"key":"ref42","article-title":"Practical Reasoning in RACER with a Concrete Domain for Linear Inequations","author":"haarslev","year":"2002","journal-title":"Proc Int l Workshop Description Logics"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1109\/ICUMT.2009.5345504"},{"key":"ref44","article-title":"Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution","author":"hustadt","year":"2004","journal-title":"Proc European Conf on Artificial Intelligence"},{"key":"ref43","article-title":"Reasoning with Concrete Domains","author":"lutz","year":"1999","journal-title":"Proc Intl Joint Conf on Artificial Intelligence"}],"event":{"name":"2011 IEEE Fifth International Conference on Semantic Computing (ICSC)","start":{"date-parts":[[2011,9,18]]},"location":"Palo Alto, CA, USA","end":{"date-parts":[[2011,9,21]]}},"container-title":["2011 IEEE Fifth International Conference on Semantic Computing"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6059526\/6061289\/06061432.pdf?arnumber=6061432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T08:27:17Z","timestamp":1713083237000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6061432\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":52,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/icsc.2011.17","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}