{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T01:09:40Z","timestamp":1648602580585},"reference-count":25,"publisher":"International Academy Publishing (IAP)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.7.10.2454-2461","type":"journal-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T15:07:47Z","timestamp":1350313667000},"source":"Crossref","is-referenced-by-count":5,"title":["A Non-Standard Approach for the OWL Ontologies Checking and Reasoning"],"prefix":"10.17706","volume":"7","author":[{"given":"Yingjie","family":"Song","sequence":"first","affiliation":[]},{"given":"Rong","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Yaqing","family":"Liu","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2012,10,1]]},"reference":[{"key":"ref1","first-page":"411","article-title":"DAML-S: Semantic markup for Web services","volume-title":"Proceedings of the International Semantic Web Working Symposium (SWWS)","author":"Ankolekar","year":"2001","unstructured":"[2] A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. \"DAML-S: Semantic markup for Web services\". In Proceedings of the International Semantic Web Working Symposium (SWWS), pages 411-430, 2001."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060836"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5254.988447"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1145\/988672.988770","article-title":"A combined approach to checking web ontologies","volume-title":"Proceedings of the Proceedings of the 13th international conference on World Wide Web","author":"Dong","year":"2004","unstructured":"[7] J. S. Dong, C. H. Lee, H. B. Lee, Y. F. Li and H. Wang. \"A combined approach to checking web ontologies\". In Proceedings of the Proceedings of the 13th international conference on World Wide Web, New York, NY, USA 2004 ACM, 988770, 714-722."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39967-4_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1995.1081"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.003"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref9","volume-title":"The Complexity of Reasoning with Concrete Domains Revised Version","author":"Lutz","year":"1999","unstructured":"[17] C. Lutz. \"The Complexity of Reasoning with Concrete Domains Revised Version\". Rheinisci-Westfalische Technische Hochschule. 1999."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.17"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/11814771","article-title":"\"OREMP : Ontology Reasoning Engine for Molecular Pathways Use Case 1 : Model Alignment for Parallel Simulation with Cytosolve Use Case 2 : Aligned Ontologies\". Lloydia Cincinnati, 2122-2122. 2009. [26] I. Conforence and C. Academy. \"Decomposition Model Building and Ontology Reasoning Towards G-Layer of RGPS Requirement Meta-Model","author":"Umeton","year":"2010","unstructured":"[25] R. Umeton, B. Yankama, G. Nicosia and C.F. Dewey. \"OREMP : Ontology Reasoning Engine for Molecular Pathways Use Case 1 : Model Alignment for Parallel Simulation with Cytosolve Use Case 2 : Aligned Ontologies\". Lloydia Cincinnati, 2122-2122. 2009. [26] I. Conforence and C. Academy. \"Decomposition Model Building and Ontology Reasoning Towards G-Layer of RGPS Requirement Meta-Model\". Computer, 47-51. 2010.","journal-title":"Computer","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9162","issn-type":"print"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[1] B. FRANZ, C. DIEGO, L.M. DEBORAH, N. DANIELE AND F.P.-S. PETER Eds. The description logic handbook: theory, implementation, and applications, Cambridge University Press, 545. 2003.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[3] T. Berners-Lee, J. A. Hendler and O. Lassila, \"The Semantic Web\". Scientific American. v284 iMay (5). 34-43.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[5] J. J. Carroll, I. Dickinson, C. Dollin, D. Reynolds, A. Seavorne AND K. Wilknson, \"Jena: implementing the semantic web recommendations\". In Proceedings of the Proceedings of the 13th international World Wide Web conference on Alternate track papers \\& posters, New York, NY, USA2004 ACM, 1013381, 74-83.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[8] J. S. Dong, C. H. Lee, H. B. Lee, Y. F. Li and H. \"Verifying DAML+OIL and Beyond in Z\/EVES\". In Proceedings of the Proceedings of the 26th International Conference on Software Engineering2004 IEEE Computer Society, 999425, 201-210.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[9] J. S. Dong, J. Sun and H. Wang. \"Checking and reasoning about Semantic Web through alloy\". In Fme 2003: Formal Methods, Proceedings, K. Araki, S. Gnesi and D. Mandrioli Eds. Springer-Verlag Berlin, Berlin, 796-813.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[12] I. Horrocks, \"The FaCT System\" In Proceedings of the Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, vol. LNAI 1397, pp. 307-312. 1998.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[13] I. Horrocks, D. Fensel, J. Boriekstra, S. Decker, M. Erdmann, C.Goble et al. The Ontology Inference Layer OIL, Tech. Report, Vrije Universiteit, Amsterdam. Retrieved March 19, 2002.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[16] D. Jackson, I. Schechter and H. Shlyahter. \"Alcoa: the alloy constraint analyzer\". In Proceedings of the Proceedings of the 22nd international conference on Software engineering, Limerick, Ireland2000 ACM, 337616, 730-733. 2000.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[20] Y. Song and R. Chen. \"Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies\". In Artificial Intelligence Applications and Innovations, H. PAPADOPOULOS, A. ANDREOU AND M. BRAMER Eds. Springer Boston, 203-210-210. 2010.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[21] D. Tsarkov and I. Horrocks. \"FaCT++ Description Logic reasoner: System description\". In Automated Reasoning, Proceedings, U. FURBACH AND N. SHANKAR Eds. Springer-Verlag Berlin, Berlin, 292-297. 2006.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[22] H. Volker, M. Ralf and A. Turhan. \"RACER User''s Guide and Reference Manual Universitaet Hamburg\". 1999.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[23] H. Wang, J. Dong, and J. Sun. \"Reasoning support for Semantic Web ontology family languages using Alloy\". Multiagent and Grid Systems 2. 2006.","DOI":"10.1007\/11814771"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"[24] A. Alnusair and T. Zhao. \"Using Ontology Reasoning for Reverse Engineering Design Patterns\". Models in Software Engineering, 344\u2013358. 2010.","DOI":"10.1007\/11814771"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:24:27Z","timestamp":1497993867000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/6532"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,1]]},"references-count":25,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2012,10,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.7.10.2454-2461","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,10,1]]}}}