TY - RPRT TI - Improving the Competency of First-Order Ontologies AU - Javier Álvez AU - Paqui Lucio AU - German Rigau PY - 2015 DO - 10.1145/2815833.2815841 UR - https://arxiv.org/abs/1510.04817 ID - 1510.04817 ER -