Vikas S Kokare

Title: Vikas S Kokare: Innovator in Ontology Verification

Introduction

Vikas S Kokare is a notable inventor based in Mumbai, India. He has made significant contributions to the field of programming and ontology verification. His innovative work focuses on ensuring the semantic equivalence of programmable artifacts generated from ontology models.

Latest Patents

Vikas holds a patent for "Verifying programming artifacts generated from ontology artifacts or models." This invention involves a transformation tool and a validation tool that verify programmable artifacts, such as Java models, derived from an original ontology model. The verification process guarantees that these artifacts maintain semantic equivalence with the original ontology model. Each element within the programmable artifacts is tagged with appropriate metadata, utilizing Java language annotation support. Once tagged, these artifacts can be parsed to create a generated ontology model, which can then be compared to the original ontology model using the validation tool to confirm their semantic equivalence. Vikas has 1 patent to his name.

Career Highlights

Vikas is currently employed at International Business Machines Corporation, commonly known as IBM. His role at IBM allows him to work on cutting-edge technologies and contribute to advancements in programming and ontology verification.

Collaborations

Throughout his career, Vikas has collaborated with notable colleagues, including Naveen G Balani and Mohan G Shenoy. These collaborations have further enriched his work and contributed to the development of innovative solutions in his field.

Conclusion

Vikas S Kokare is a distinguished inventor whose work in ontology verification has made a significant impact in the programming domain. His innovative patent and contributions at IBM highlight his commitment to advancing technology.