{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:25:26Z","timestamp":1725463526407},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/icsc.2007.35","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T16:51:56Z","timestamp":1209401516000},"page":"113-120","source":"Crossref","is-referenced-by-count":0,"title":["An Interactive Diagnosis and Repair of OWL Ontology"],"prefix":"10.1109","author":[{"given":"Lu","family":"Lu","sequence":"first","affiliation":[]},{"given":"Nandan","family":"Parameswaran","sequence":"additional","affiliation":[]},{"given":"Pradeep Kumar","family":"Ray","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"A tableaux decision procedure for shoiq","author":"horrocks","year":"2005","journal-title":"Proc Int Joint Artif Intell Conf"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664.001"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref6","article-title":"Tableaux tracing in shoin","author":"kalyanpur","year":"2005","journal-title":"Technical Report Dept of Computer Science"},{"journal-title":"Journal of Automated Reasoning","article-title":"Debugging incoherent terminologies","year":"2007","key":"ref11"},{"journal-title":"Debugging and Repair of OWL Ontologies","year":"2006","author":"kalyanpur","key":"ref5"},{"key":"ref12","article-title":"Non-standard reasoning services for the debugging of description logic terminologies","author":"schlabach","year":"2003","journal-title":"Proc Int Joint Artif Intell Conf"},{"journal-title":"Explaining Reasoning in Description Logics","year":"1996","author":"mcguinness","key":"ref8"},{"key":"ref7","article-title":"Partial meet contraction and revision functions","author":"markinson","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"ref2","article-title":"Oiled: a reason-able ontology editor for the semantic web","author":"bechhofer","year":"2001","journal-title":"Proceedings of KI2001 Joint Germani Austrian Conference on Artificial Intelligence"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920601"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"0","author":"baader","key":"ref1"}],"event":{"name":"International Conference on Semantic Computing (ICSC 2007)","start":{"date-parts":[[2007,9,17]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2007,9,19]]}},"container-title":["International Conference on Semantic Computing (ICSC 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4338315\/4338316\/04338339.pdf?arnumber=4338339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T22:38:48Z","timestamp":1489703928000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4338339\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icsc.2007.35","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}