top of page

Koncordant Lab

VEL: Verified EL++ Reasoner

Koncordant Lab
Over the past two decades, the Web Ontology Language (OWL) has been instrumental in advancing the development of ontologies and knowledge graphs, providing a structured framework that enhances the semantic integration of data. However, the reliability of deductive reasoning within these systems remains challenging, as evidenced by inconsistencies among popular reasoners in competitions. This evidence underscores the limitations of current testing-based methodologies, particularly in high-stakes domains such as healthcare. To mitigate these issues, in this study, we have developed VEL, a formally verified ℰℒ++ reasoner equipped with machine-checkable correctness proofs that ensure the validity of outputs across all possible inputs.
k-state-logo

2224, Engineering Hall, Platt St, Manhattan, KS, 66502

koncordantlab@gmail.com

785-532-6350

© 2022 All rights reserved to KONCORDANT

bottom of page