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).