{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T23:47:23Z","timestamp":1772668043625,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T00:00:00Z","timestamp":1486425600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Natural Science Key Foundation","award":["91118005"],"award-info":[{"award-number":["91118005"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61173131"],"award-info":[{"award-number":["61173131"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities of China","doi-asserted-by":"crossref","award":["106112014CDJZR098801"],"award-info":[{"award-number":["106112014CDJZR098801"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10515-017-0210-9","type":"journal-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T14:19:01Z","timestamp":1486477141000},"page":"295-339","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2690-0475","authenticated-orcid":false,"given":"Chunlei","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haibo","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,7]]},"reference":[{"key":"210_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook Theory, Implementation, and Applications","author":"F Baader","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"210_CR2","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of Verify, Workshop at Federated Logic Conferences (FLoC\u20192002), pp. 113\u2013123 (2002)"},{"key":"210_CR3","volume-title":"Verification of Object-Oriented Software: The KeY Approach","author":"B Beckert","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H.: Verification of Object-Oriented Software: The KeY Approach. Springer, Berlin (2007)"},{"key":"210_CR4","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams using description logic based systems. In: Proceedings of the KI-2001 Workshop on Applications of Description Logics (KI\u20192001) (2001). http:\/\/ceur-ws.org\/Vol-44\/"},{"issue":"1","key":"210_CR5","doi-asserted-by":"crossref","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. Artif. Intell. 168(1), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"210_CR6","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: Proceedings of the 3rd International Conference on the Unified Modeling Language: Advancing the Standard (UML\u201900), pp. 294\u2013308 (2000)","DOI":"10.1007\/3-540-40011-7_21"},{"key":"210_CR7","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL Book. Technical report 525, Swiss Federal Institute of Technolgy, Zurich, August (2006)"},{"key":"210_CR8","doi-asserted-by":"crossref","unstructured":"Cabot, J., Teniente, E.: Transforming OCL constraints: a context change approach. In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC\u201906), pp. 1196\u20131201 (2006)","DOI":"10.1145\/1141277.1141562"},{"issue":"3","key":"210_CR9","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/j.scico.2007.05.001","volume":"68","author":"J Cabot","year":"2007","unstructured":"Cabot, J., Teniente, E.: Transformation techniques for OCL constraints. Sci. Comput. Progr. 68(3), 152\u2013168 (2007)","journal-title":"Sci. Comput. Progr."},{"issue":"4","key":"210_CR10","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/j.is.2008.12.002","volume":"35","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Paub, R., Ravent\u00f3sc, R.: From UML\/OCL to SBVR specifications: a challenging transformation. Inf. Syst. 35(4), 417\u2013440 (2010)","journal-title":"Inf. Syst."},{"key":"210_CR11","unstructured":"Cali, A., Calvanese, D., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proceedings of IJCAR Workshop on Precise Modeling and Deduction for Object-Oriented Software Development (PMD\u201901), pp. 15\u201328 (2001)"},{"key":"210_CR12","doi-asserted-by":"crossref","unstructured":"Cali, A., Calvanese, D., Giacomo, G.D., Lenzerini, M.: A formal framework for reasoning on UML class diagrams. In: Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems (ISMIS\u20192002), pp. 503\u2013513 (2002)","DOI":"10.1007\/3-540-48050-1_54"},{"key":"210_CR13","unstructured":"DIG 2.0: The DIG description logic interface document index. http:\/\/dig.cs.manchester.ac.uk\/ (2006)"},{"key":"210_CR14","unstructured":"Egana-Aranguren, M.: Role and application of ontology design patterns in bioontologies. Ph.D. thesis, University of Manchester (2009)"},{"key":"210_CR15","doi-asserted-by":"crossref","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: A new approach for checking schema validation properties. In: Proceedings of 15th International Conference on Database and Expert Systems Applications (DEXA\u201904), pp. 77\u201386 (2004)","DOI":"10.1007\/978-3-540-30075-5_8"},{"issue":"2","key":"210_CR16","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C Farr\u00e9","year":"2005","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Checking query containment with the CQC method. Data Knowl. Eng. 53(2), 163\u2013223 (2005)","journal-title":"Data Knowl. Eng."},{"key":"210_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Progr. 69, 27\u201334 (2007)","journal-title":"Sci. Comput. Progr."},{"key":"210_CR18","unstructured":"Haase, P., Qi, G.: An analysis of approaches to resolving inconsistencies in DL-based ontologies. In: Proceedings of the 2007 International Workshop on Ontology Dynamics (IWOD\u201907), pp. 97\u2013109 (2007)"},{"key":"210_CR19","doi-asserted-by":"crossref","unstructured":"Li, M., Zang, F.: A dynamic description logic for UML. In: Proceedings of the 2009 International Joint Conference on Artificial Intelligence (JCAI\u201909), pp. 175\u2013178 (2009)","DOI":"10.1109\/JCAI.2009.123"},{"key":"210_CR20","unstructured":"Lukichev, S.: Defining a subset of OCL for expressing SWRL rules. In: Proceedings of 2nd East European Work-Shop on Rule-Based Applications (RuleApps\u20192008). http:\/\/ceur-ws.org\/Vol-428\/ (2008)"},{"key":"210_CR21","doi-asserted-by":"crossref","unstructured":"Mandel, L., Cengarle, M. V.: On the expressive power of OCL. In: Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM\u201999), pp. 854\u2013874 (1999)","DOI":"10.1007\/3-540-48119-2_47"},{"key":"210_CR22","unstructured":"Milanovi\u0107, M., Ga\u0161evi\u0107, D., Giurca, A., Wagner, G.: On interchanging between OWL\/SWRL and UML\/OCL. In: Proceedings of the 6th Workshop on OCL for (Meta-)Models in Multiple Application Domains (OCLApps\u201920-06), pp. 81\u201395 (2006)"},{"key":"210_CR23","unstructured":"OCL: Object constraint language 2.0. http:\/\/www.omg.org\/spec\/OCL\/2.2\/PDF\/ (2006)"},{"key":"210_CR24","unstructured":"OCL2 Toolkit: Dresden OCL2 toolkit. http:\/\/www.dresden-ocl.org\/index.php\/DresdenOCL:DresdenOCL2Toolkit (2007)"},{"key":"210_CR25","unstructured":"OCL2 Parser: Dresden OCL2 parser. http:\/\/www.dresden-ocl.org\/index.php\/DresdenOCL:Documentation (2007)"},{"key":"210_CR26","unstructured":"OWL 2: OWL 2 Web Ontology Language Document Overview, 2nd edn. http:\/\/www.w3.org\/TR\/owl2-overview\/ (2012)"},{"key":"210_CR27","unstructured":"OWL 2 Semantics: OWL 2 Web Ontology Language Direct Semantics, 2nd edn. http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/ (2012)"},{"key":"210_CR28","unstructured":"Pellet: OWL DL reasoner for Java\u2014Clark & Parsia. http:\/\/weblog.clarkparsia.com\/2010\/07\/06\/pellet-22-release\/ (2010)"},{"key":"210_CR29","unstructured":"Prot\u00e9g\u00e9-OWL API: Prot\u00e9g\u00e9-OWL API. http:\/\/protege.stanford.edu\/plugins\/owl\/api\/ (2006)"},{"key":"210_CR30","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Proceedings of the 25th International Conference on Conceptual Modeling (ER\u201906), pp. 497\u2013512 (2006)","DOI":"10.1007\/11901181_37"},{"key":"210_CR31","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Decidable reasoning in UML schemas with constraints. In: Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE\u201908), pp. 281\u2013295 (2008)","DOI":"10.1007\/978-3-540-69534-9_23"},{"key":"210_CR32","doi-asserted-by":"crossref","unstructured":"Queralt, A., Rull, G., Teniente, E., Farr\u00e9, C., Urp\u00ed, T.: AuRUS: automated reasoning on UML\/OCL schemas. In: Proceedings of the 29th International Conference on Conceptual Modeling(ER\u201910), pp. 438\u2013444 (2010)","DOI":"10.1007\/978-3-642-16373-9_32"},{"key":"210_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng. 73, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"key":"210_CR34","doi-asserted-by":"crossref","unstructured":"Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL piz-zas: practical experience of teaching OWL-DL: common errors and common patterns. In: Proceedings of the European Conference on Knowledge Acquisition (EKAW\u20192004), pp. 63\u201381 (2004)","DOI":"10.1007\/978-3-540-30202-5_5"},{"key":"210_CR35","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Proceedings of 17th International Conference Conceptual Modeling (ER\u201998), pp. 449\u2013464 (1998)","DOI":"10.1007\/978-3-540-49524-6_35"},{"key":"210_CR36","unstructured":"Roe, D., Broda, K., Russo, A.: Mapping UML models incorporating OCL constraints into Object Z. Technical Report, Department of Computing, Imperial College London, London, September (2003)"},{"key":"210_CR37","unstructured":"Simmonds, J.: Consistency maintenance of UML models with description logics. Master thesis, Vrije Universiteit Brussel (2003)"},{"key":"210_CR38","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Straeten, R. V., Jonkers, V., Mens, T.: Using description logic to maintain consistency between UML models. In: Proceedings of the 6th International Conference on \u201cUML\u201d\u2014the Unified Modeling Language, pp. 326\u2013340 (2003)","DOI":"10.1007\/978-3-540-45221-8_28"},{"key":"210_CR39","unstructured":"Simmonds, J., Bastarrica, M.: Description logics for consistency checking of architectural features in UML 2.0 models. Technical report DCC-2005-1, Department of Computer Science, University of Chile, Santiago (2005a)"},{"key":"210_CR40","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Bastarrica, M.: A tool for automatic UML model consistency checking. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE\u20192005), pp. 431\u2013432 (2005b)","DOI":"10.1145\/1101908.1101989"},{"issue":"6","key":"210_CR41","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1142\/S0218194008003829","volume":"18","author":"J Simmonds","year":"2008","unstructured":"Simmonds, J., Bastarrica, M., Hitschfeld-Kahler, N., Rivas, S.: A tool based on DL for UML model consistency checking. Int. J. Softw. Eng. Knowl. 18(6), 713\u2013735 (2008)","journal-title":"Int. J. Softw. Eng. Knowl."},{"key":"210_CR42","unstructured":"Straeten, R. V.: Inconsistency management in modeldriven engineering\u2014an approach using description logics. PhD thesis, Vrije Universiteit Brussel (2005)"},{"key":"210_CR43","unstructured":"Straeten, R. V., Simmonds, J., Mens, T.: Detecting inconsistencies between UML models using description logic. In: Proceedings of International Workshop on Description Logics (DL\u20192003) (2003). http:\/\/ceur-ws.org\/Vol-81\/"},{"key":"210_CR44","unstructured":"Straeten, R. V.: Inconsistency detection between UML models using Racer and nRQL. In: Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI\u20192004) (2004). http:\/\/www.ceur-ws.org\/Vol-115\/"},{"key":"210_CR45","unstructured":"SWRL: A semantic web rule language combining OWL and RuleML. http:\/\/www.w3.org\/Submission\/SWRL\/ (2004)"},{"key":"210_CR46","unstructured":"UML Superstructure: Unified modeling language 2.0 superstructure. http:\/\/www.omg.org\/spec\/UML\/2.0\/Superstructu-re\/PDF\/ (2005)"},{"key":"210_CR47","unstructured":"Weitl, F., Nakajima, S.: Integrated model checking of static structure and dynamic behavior using temporal description logics. In: Electronic Communications of the EASST 46. http:\/\/journal.ub.tu-berlin.de\/eceasst\/issue\/view\/58 (2011)"},{"key":"210_CR48","unstructured":"XMI: MOF 2 XMI mapping 2.1.1. http:\/\/www.omg.org\/spec\/XMI\/2.1.1\/PDF\/index.htm (2007)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-017-0210-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-017-0210-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-017-0210-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:12:35Z","timestamp":1589728355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-017-0210-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,7]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["210"],"URL":"https:\/\/doi.org\/10.1007\/s10515-017-0210-9","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,7]]}}}