Implements Equivalent Object property Axiom with test cases.
Created by: skapoe
- Implements equivalent object property axiom with test cases.
Signed-off-by: skapoe sourabhkapoor1512@gmail.com
Created by: skapoe
Signed-off-by: skapoe sourabhkapoor1512@gmail.com