Adimen-sumo: Reengineering an ontology for first-order reasoning (0)

by Javier Álvez, Paqui Lucio, German Rigau
Venue:Int. J. Semantic Web Inf. Syst