{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T21:13:48Z","timestamp":1725398028305},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/etfa.2011.6058974","type":"proceedings-article","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T20:30:25Z","timestamp":1319488225000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Formal validation techniques for Ontology-based Device Descriptions"],"prefix":"10.1109","author":[{"given":"Federico","family":"Rieckhof","sequence":"first","affiliation":[]},{"given":"Henrik","family":"Dibowski","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Kabitzsch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2004","key":"ref10","article-title":"Resource Description Framework (RDF)"},{"journal-title":"W3C Recommendation","article-title":"RDF\/XML Syntax Specification","year":"2004","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/623461"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76890-6_38"},{"journal-title":"SPARQL 1 1 Query Language for RDF","year":"2010","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1620432.1620437"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"year":"2011","key":"ref18","article-title":"Pellet Features"},{"key":"ref19","article-title":"Towards integrity constraints in OWL","author":"sirin","year":"0","journal-title":"Proceedings of the 6th International Workshop on OWL Experiences and Directions (OWLED 2009)"},{"article-title":"SPIN SPARQL Inferencing Notation","year":"2009","author":"knublauch","key":"ref28"},{"year":"2005","key":"ref4","article-title":"LonMark Device Interface File Reference Guide"},{"year":"2011","key":"ref27","article-title":"ARQ - A SPARQL Processor for Jena"},{"journal-title":"Industrial Automation Systems and Integration - Open Systems Application Integration Framework Part 3 Reference Description for IEC 61158-based Control Systems","year":"2003","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2032209"},{"year":"2011","key":"ref29","article-title":"Pellet Integrity Constraints: Validating RDF with OWL"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641257"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641291"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347070"},{"year":"0","key":"ref2","article-title":"CANopen - Overview"},{"journal-title":"W3C Recommendation","article-title":"OWL 2 Web Ontology Language Document Overview","year":"2009","key":"ref9"},{"journal-title":"Function Blocks (FB) for Process Control - Part 3 Electronic Device Description Language (EDDL)","year":"2007","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242681"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"ref21","article-title":"On closed world data bases","author":"reiter","year":"1987","journal-title":"Readings in Nonmonotonic Reasoning"},{"year":"2011","key":"ref24","article-title":"Jena - A Semantic Web Framework for Java"},{"journal-title":"Jena 2 Inference support","year":"2010","author":"raynolds","key":"ref23"},{"journal-title":"protégé-owl api","article-title":"Stanford Center for Biomedical Informatics Research","year":"2011","key":"ref26"},{"key":"ref25","article-title":"SQWRL: A Query Language for OWL","author":"o'connor","year":"0","journal-title":"Proceedings of the 6th International Workshop on OWL Experiences and Directions (OWLED 2009)"}],"event":{"name":"Factory Automation (ETFA 2011)","start":{"date-parts":[[2011,9,5]]},"location":"Toulouse, France","end":{"date-parts":[[2011,9,9]]}},"container-title":["ETFA2011"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6045288\/6058966\/06058974.pdf?arnumber=6058974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T18:36:42Z","timestamp":1490121402000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6058974\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/etfa.2011.6058974","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}