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.

Ixako argitalpen alorra:

Fitxategi publikoak: 
Urtea: 
2009
Balorazioa testu bezala (oso garrantzitsua): 

-

Artikuluaren erreferentzia: 

Proceedings Spanish Conference on Programming and Computer Languages (PROLE 2009).

Argitalpen mota fina (argitalpen_sailkapen_ohia):