Skip to main content
Ixa taldea
Euskal Herriko Unibertsitatea
Search form
Search
Languages
Euskara
English
[Private]
You are here
Home
»
A New Proposal for Using First-Order Theorem Provers to Reason with OWL DL Ontologies.
Who we are
Home
About us
Members
What we do
Research lines
Publications
Patents
Projects & contracts
Spin-off company
Organized events
Doctoral programme
Official master
Continuous training
Others
Prizes
Press clipings
For students
Contact
bibtex katea:
@InProceedings{ author = {Alecha M. and Álvez J. and Hermo M. and Laparra E.}, title = {A New Proposal for Using First-Order Theorem Provers to Reason with OWL DL Ontologies. }, booktitle = {Proceedings Spanish Conference on Programming and Computer Languages (PROLE 2009).}, year = {2009}, annote = {https://ixa.si.ehu.eus/sites/default/files/dokumentuak/4012/prole2009_submission_6.pdf} }