{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:30:40Z","timestamp":1725557440914},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134883"},{"type":"electronic","value":"9783642134890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13489-0_30","type":"book-chapter","created":{"date-parts":[[2010,6,5]],"date-time":"2010-06-05T02:01:40Z","timestamp":1275703300000},"page":"391-395","source":"Crossref","is-referenced-by-count":1,"title":["Verifying and Validating Multi-layered Models with OWL\u00a0FA Toolkit"],"prefix":"10.1007","author":[{"given":"Nophadol","family":"Jekjantuk","sequence":"first","affiliation":[]},{"given":"Jeff Z.","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Gerd","family":"Gr\u00f6ner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"30_CR2","unstructured":"Beckert, B., Keller, U., Schmitt, P.H., et al.: Translating the Object Constraint Language into first-order predicate logic. In: Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark, Citeseer (2002)"},{"issue":"1-2","key":"30_CR3","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"30_CR4","unstructured":"Brown, A.: An introduction to Model Driven Architecture. IBM Technical Report (2004), http:\/\/www-128.ibm.com\/developerworks\/rational\/library\/3100.html"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Cabot, J., Clariso, R., Riera, D.: Verification of UML\/OCL Class Diagrams using Constraint Programming. In: Software Testing Verification and Validation Workshop, pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"30_CR6","unstructured":"Jekjantuk, N., Gr\u00f6ner, G., Pan, J.Z.: Reasoning in Metamodeling Enabled Ontologies. In: Proceeding of the International Workshop on OWL: Experience and Directions, OWL-ED 2009 (2009)"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11663881_13","volume-title":"Foundations of Information and Knowledge Systems","author":"K. Kaneiwa","year":"2006","unstructured":"Kaneiwa, K., Satoh, K.: Consistency checking algorithms for restricted UML class diagrams. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol.\u00a03861, pp. 219\u2013239. Springer, Heidelberg (2006)"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"1804","DOI":"10.1145\/1141277.1141703","volume-title":"SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing","author":"H. Malgouyres","year":"2006","unstructured":"Malgouyres, H., Motet, G.: A UML Model Consistency Verification Approach based on Meta-Modeling Formalization. In: SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1804\u20131809. ACM, New York (2006)"},{"issue":"4","key":"30_CR9","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B. Motik","year":"2007","unstructured":"Motik, B.: On the properties of metamodeling in owl. J. Log. Comput.\u00a017(4), 617\u2013637 (2007)","journal-title":"J. Log. Comput."},{"key":"30_CR10","unstructured":"Ober, I., Prinz, A.: What do we need metamodels for?"},{"key":"30_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-39718-2_3","volume-title":"The Semantic Web - ISWC 2003","author":"J.Z. Pan","year":"2003","unstructured":"Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 30\u201346. Springer, Heidelberg (2003)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: A Metamodeling Extension of OWL DL. In: Proceeding of the International Workshop on OWL: Experience and Directions, OWL-ED 2005 (2005)","DOI":"10.1145\/1135777.1136017"},{"key":"30_CR13","unstructured":"Roe, D., Broda, K., Russo, A.: Department of\u00a0Computing. Mapping UML models incorporating OCL constraints into Object-Z. In: Imperial College of Science, Technology and Medicine, Department of Computing (2003)"},{"key":"30_CR14","unstructured":"UML. Unified Modeling Language, http:\/\/www.uml.org\/"},{"key":"30_CR15","unstructured":"Welty, C.A., Ferrucci, D.A.: What\u2019s in an instance? Technical report, RPI Computer Science (1994)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13489-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:14:26Z","timestamp":1559150066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13489-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134883","9783642134890"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13489-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}