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: