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

Authors (IXA members): 
Authors: 
Alecha M., Álvez J., Hermo M. and Laparra E.
Public documents: 
Year: 
2009
Publication place: 

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