{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:05:05Z","timestamp":1725570305952},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642176210"},{"type":"electronic","value":"9783642176227"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17622-7_12","type":"book-chapter","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T08:00:06Z","timestamp":1290585606000},"page":"110-119","source":"Crossref","is-referenced-by-count":3,"title":["Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning"],"prefix":"10.1007","author":[{"given":"Xiuqin","family":"Zhong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongguang","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski, A.: Decision Method for Elementary Algebra and Geometry, 2nd edn. University of California Press, Berkeley (1951)","edition":"2"},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W. Wen-Tsun","year":"1986","unstructured":"Wen-Tsun, W.: Basic Principles of Mechanical Theorem Proving in Elementary Geometries. Journal of Automated Reasoning\u00a02(3), 221\u2013252 (1986)","journal-title":"Journal of Automated Reasoning"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"S.C. Chou","year":"1994","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)"},{"issue":"1-2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D.M. Wang","year":"1995","unstructured":"Wang, D.M.: Elimination procedures for mechanical theorem proving in geometry. Annals of Mathematics and Artificial Intelligence\u00a013(1-2), 1\u201324 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D.: Using Grobner bases to reason about geometry problems. Journal of Symbolic Computation\u00a02(4), 399\u2013408 (1986)","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"12_CR6","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BF00248249","volume":"2","author":"H. Coelho","year":"1986","unstructured":"Coelho, H., Pereira, L.M.: Automated reasoning in geometry theorem proving with Prolog. Journal of Automated Reasoning\u00a02(4), 329\u2013390 (1986)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1006171315513","volume":"25","author":"S.C. Chou","year":"2000","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. Journal of Automated Reasoning\u00a025(3), 219\u2013246 (2000)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/B:JARS.0000021960.39761.b7","volume":"32","author":"N. Matsuda","year":"2004","unstructured":"Matsuda, N., Vanlehn, K.: GRAMY: A Geometry Theorem Prover Capable of Construction. Journal of Automated Reasoning\u00a032(1), 3\u201333 (2004)","journal-title":"Journal of Automated Reasoning"},{"issue":"10","key":"12_CR9","first-page":"721","volume":"19","author":"J.Z. Zhang","year":"1996","unstructured":"Zhang, J.Z., Gao, X.S., Chou, S.C.: Geometry Information Search System by Forward Reasoning. Chinese Journal of Computers\u00a019(10), 721\u2013724 (1996)","journal-title":"Chinese Journal of Computers"},{"key":"12_CR10","unstructured":"Zhang, J.Z., Li, C.Z.: Automatic Reasoning and Intellectual Platform of CAI Software. Journal of Guangzhou University\u00a015(2) (2001)"},{"issue":"3","key":"12_CR11","first-page":"10","volume":"22","author":"W.Y. Wu","year":"2002","unstructured":"Wu, W.Y., Zeng, Z.B., Fu, H.G.: Designing Knowledge Base for the Elementary Geometry Based on Ontology. Computer Applications\u00a022(3), 10\u201314 (2002)","journal-title":"Computer Applications"},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3724\/SP.J.1016.2010.00167","volume":"33","author":"X.Q. Zhong","year":"2010","unstructured":"Zhong, X.Q., Fu, H.G., She, L., Huang, B.: Geometry Knowledge Acquisition and Representation on ontology. Chinese Journal of Computers\u00a033(1), 167\u2013174 (2010)","journal-title":"Chinese Journal of Computers"},{"key":"12_CR13","first-page":"381","volume":"3","author":"Y.Q. Huang","year":"2009","unstructured":"Huang, Y.Q., Deng, G.Y.: Research on Representation of Geographic Spatio-temporal Information and Spatio-temporal Reasoning Rules Based on Geo-ontology and SWRL. Environmental Science and Information Application Technology\u00a03, 381\u2013384 (2009)","journal-title":"Environmental Science and Information Application Technology"},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1), 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1016\/j.mcm.2006.04.002","volume":"44","author":"H.G. Fu","year":"2006","unstructured":"Fu, H.G., Zhong, X.Q., Zeng, Z.B.: Automated and Readable Simplification of Trigonometric Expressions. Mathematical and Computer Modeling\u00a044, 1169\u20131177 (2006)","journal-title":"Mathematical and Computer Modeling"}],"container-title":["Communications in Computer and Information Science","Database Theory and Application, Bio-Science and Bio-Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17622-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,14]],"date-time":"2021-11-14T01:52:54Z","timestamp":1636854774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17622-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642176210","9783642176227"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17622-7_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}