{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T03:38:10Z","timestamp":1649216290190},"reference-count":12,"publisher":"International Academy Publishing (IAP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.2.322-331","type":"journal-article","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T20:25:51Z","timestamp":1330547151000},"source":"Crossref","is-referenced-by-count":0,"title":["Deciding the SHOQ(D)-Satisfiability with a Fully Tiered Clause Group"],"prefix":"10.17706","volume":"7","author":[{"given":"Huamao","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinqin","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,2,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920598"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9080-3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9079-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9049-7"},{"key":"ref5","first-page":"115","article-title":"A Dynamic Description Logic for Representation and Reasoning About Actions","volume-title":"KSEM 2007. LNAI 4798","author":"Chang","year":"2007"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2008.00896"},{"issue":"no. 6","key":"ref7","first-page":"1257","article-title":"Fuzzy Description Logic for Semantics Representation of the Semantic Web","volume":"18","author":"Jiang","year":"2007","journal-title":"J. Softw.","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref8","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader","year":"2003"},{"key":"ref9","first-page":"199","article-title":"Ontology reasoning in the SHOQ(D) description logic","volume-title":"Proc. of IJCAI 2001","author":"Horrocks","year":"2001"},{"issue":"no.1","key":"ref10","first-page":"4","article-title":"DAML+OIL: A description logic for the semantic Web","volume":"25","author":"Horrocks","year":"2002","journal-title":"Bulletin of the IEEE Computer Society Technical Committee on Data Engineering"},{"key":"ref11","first-page":"452","article-title":"A scheme for integrating concrete domains into concept languages","volume-title":"Proc. of IJCAI","volume":"91","author":"Baader","year":"1991"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(94)90002-7"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:22:19Z","timestamp":1442330539000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/6803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,1]]},"references-count":12,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,2,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.2.322-331","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,2,1]]}}}