... hyper-tableau algorithm checks the satisfiability of (R,A) where R = [∼](G) ... API [17] as well as OWL API [20]. To create graph concepts and roles we use ...
確定! 回上一頁