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.

Publication topic:

Public documents: 
Year: 
2009
Evaluation: 

-

Publication place: 

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

Publication type:

Publication clasification: