A New Proposal for Using First-Order Theorem Provers to Reason with OWL DL Ontologies.

Egileak (ixakideak): 
Egileak: 
Alecha M., Álvez J., Hermo M. and Laparra E.

Argitalpen alorra:

Fitxategi publikoak: 
Urtea: 
2009
Balorazioa: 
-
Agerpen tokia: 
Proceedings Spanish Conference on Programming and Computer Languages (PROLE 2009).

Argitalpen mota:

Argitalpen sailkapena: