{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:03:34Z","timestamp":1725455014931},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/skg.2008.14","type":"proceedings-article","created":{"date-parts":[[2009,1,5]],"date-time":"2009-01-05T21:20:29Z","timestamp":1231190429000},"page":"42-48","source":"Crossref","is-referenced-by-count":2,"title":["A Testing Framework for OWL-DL Reasoning"],"prefix":"10.1109","author":[{"given":"Marian","family":"Babik","sequence":"first","affiliation":[]},{"given":"Ladislav","family":"Hluchy","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"K-Wf Grid technical annex","year":"2004","key":"19"},{"key":"17","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/11581116_19","article-title":"owlim a pragmatic semantic repository for owl","author":"kiryakov","year":"2005","journal-title":"Web Information Systems Engineering WISE 2005 Workshops"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72667-8_22"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/122296.122309"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66932"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_23"},{"year":"0","key":"11"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","key":"12"},{"year":"0","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_4"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"23","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1007\/11926078_47","article-title":"framework for an automated comparison of description logic reasoners","author":"tom gardiner","year":"2006","journal-title":"Proceedings of the International Semantic Web Conference - ISWC 2006"},{"key":"24","article-title":"benchmarking dl reasoners using realistic ontologies","author":"pan","year":"2005","journal-title":"Proc OWL Experiences and Directions Workshop"},{"key":"25","first-page":"682","article-title":"a survey of the web ontology landscape","author":"wang","year":"2006","journal-title":"International Semantic Web Conference"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2004.1265879"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1142\/5738"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2007.51"},{"key":"1","article-title":"the semantic web","author":"lee","year":"0","journal-title":"Scientific American"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"year":"0","key":"6"},{"article-title":"resource description framework (rdf): concepts and abstract syntax","year":"2004","author":"klyne","key":"5"},{"article-title":"owl web ontology language reference, w3c proposed recommendation","year":"2003","author":"bechhofer","key":"4"},{"year":"0","key":"9"},{"key":"8","first-page":"131","article-title":"description of the racer system and its applications","author":"haarslev","year":"2001","journal-title":"Proceedings International Workshop on Description Logics (DL-200I) Stanford USA 1 -3 August"}],"event":{"name":"2008 Fourth International Conference on Semantics, Knowledge and Grid (SKG)","start":{"date-parts":[[2008,12,3]]},"location":"Beijing, China","end":{"date-parts":[[2008,12,5]]}},"container-title":["2008 Fourth International Conference on Semantics, Knowledge and Grid"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4725878\/4725879\/04725894.pdf?arnumber=4725894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T15:21:05Z","timestamp":1497799265000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4725894\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/skg.2008.14","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}