A new proposal for using first-order theorem provers to reason with OWL DL ontologies
- Alecha, Mikel
- Álvez, Javier
- Hermo Huguet, Montserrat
- Laparra Martín, Egoitz
- Lucio, Paqui (ed. lit.)
- Moreno Valverde, Ginés Damián (ed. lit.)
- Peña Marí, Ricardo (ed. lit.)
Argitaletxea: Mondragon Unibertsitatea
ISBN: 978-84-692-4600-9
Argitalpen urtea: 2009
Orrialdeak: 151-160
Biltzarra: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)
Mota: Biltzar ekarpena