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.
Fitxategi publikoak: 
Urtea: 
2009
Artikuluaren erreferentzia: 

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

Argitalpen mota fina (argitalpen_sailkapen_ohia):