Ontology-Based Finite Satisfiability of UML Class Model

Abdul Hafeez Khan, Sayed Hyder Abbas Musavi, Aqeel-ur-Rehman, Asadullah Shaikh. Ontology-Based Finite Satisfiability of UML Class Model. IEEE Access, 6:3040-3050, 2018. [doi]

Abstract

Abstract is missing.