Skip to main content
Ixa taldea
Euskal Herriko Unibertsitatea
Bilaketa formularioa
Bilatu
Hizkuntzak
Euskara
English
[Pribatua]
Hemen zaude
Azala
»
A New Proposal for Using First-Order Theorem Provers to Reason with OWL DL Ontologies.
Nor gara?
Hasiera
Aurkezpena
Kideak
Zer egiten dugu?
Ikerlerroak
Argitalpenak
Patenteak
Proiektuak eta kontratuak
Spin-off enpresa
Doktorego programa
Master ofiziala
Antolatutako ekintzak
Etengabeko formakuntza
Beste batzuk
Sariak
Prentsa aipamenak
Ikasleentzat
Kontaktua
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 = {http://ixa.si.ehu.es/sites/default/files/dokumentuak/4012/prole2009_submission_6.pdf} }
