{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T11:00:47Z","timestamp":1771326047875,"version":"3.50.1"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/icdim.2012.6360110","type":"proceedings-article","created":{"date-parts":[[2012,11,30]],"date-time":"2012-11-30T21:16:48Z","timestamp":1354310208000},"page":"320-325","source":"Crossref","is-referenced-by-count":3,"title":["A hybrid approach to constraint reasoning in bio-ontologies"],"prefix":"10.1109","author":[{"given":"Ming","family":"Fang","sequence":"first","affiliation":[]},{"given":"Rajshekhar","family":"Sunderraman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"141","article-title":"Combining Answer Set Programming with Description Logics for the Semantic Web","author":"eiter","year":"2004","journal-title":"Proceedings of the 9th Int Conf on Principles of Knowledge Representation and Reasoning (KR)"},{"key":"2","first-page":"322","article-title":"Inference in First-Order Logic","author":"russell","year":"2003","journal-title":"Artificial Intelligence - A Modern Approach"},{"key":"1","first-page":"111","article-title":"Open vs closed world, rules vs queries: Use cases from industry","author":"ng","year":"2005","journal-title":"Proc OWLED"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2009.41"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17749-1_24"},{"key":"5","first-page":"274","article-title":"EQL-Lite: Effective First-Order Query Processing in Description Logics","author":"calvanese","year":"2007","journal-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence"},{"key":"4","first-page":"477","article-title":"A Faithful Integration of Description Logics with Logic Programming","author":"motik","year":"2007","journal-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2011.35"}],"event":{"name":"2012 Seventh International Conference on Digital Information Management (ICDIM)","location":"Macau, Macao","start":{"date-parts":[[2012,8,22]]},"end":{"date-parts":[[2012,8,24]]}},"container-title":["Seventh International Conference on Digital Information Management (ICDIM 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6341280\/6360086\/06360110.pdf?arnumber=6360110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T18:02:13Z","timestamp":1490119333000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6360110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/icdim.2012.6360110","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}