A new proposal for using first-order theorem provers to reason with OWL DL ontologies

  1. Alecha Movilla, Mikel
  2. Álvez, Javier
  3. Hermo Huguet, Montserrat
  4. Laparra Martín, Egoitz
Libro:
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
  1. Lucio, Paqui (ed. lit.)
  2. Moreno Valverde, Ginés Damián (ed. lit.)
  3. Peña Marí, Ricardo (ed. lit.)

Editorial: Mondragon Unibertsitatea

ISBN: 978-84-692-4600-9

Año de publicación: 2009

Páginas: 151-160

Congreso: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet