المؤلفون: Diego Calvanese, Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.

المصدر: Scopus-Elsevier

مصطلحات موضوعية: Database technology, Description logic, First order logic

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e745924d3a7aa6aed2f8d10d3d0fdb7Test
http://www.scopus.com/inward/record.url?eid=2-s2.0-84880858606&partnerID=MN8TOARSTest

المؤلفون: Calvanese, D., Giacomo, G., Lembo, D., Maurizio Lenzerini, Rosati, R.

المصدر: Scopus-Elsevier

مصطلحات موضوعية: Complex queries, Description Logic, DL knowledge bases

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e86505989e4a003dd0c1f163fa33a2fTest
http://www.scopus.com/inward/record.url?eid=2-s2.0-29344454351&partnerID=MN8TOARSTest

المؤلفون: COLOMBO, GIANLUCA, ANTONIOTTI, MARCO, DE PAOLI, FLAVIO MARIA, MAURI, GIANCARLO, Merico, D

المساهمون: Calvanese, D, Franconi, E, Haarslev, V, Lembo, D, Motik, B, Turhan, A-Y, Tessaris, S, Colombo, G, Merico, D, Antoniotti, M, DE PAOLI, F, Mauri, G

مصطلحات موضوعية: ontological modelling, neurovascular diseases, description logic, INF/01 - INFORMATICA

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-88-6046-008-5; ispartofseries:CEUR Workshop Proceedings; ispartofbook:20th International Workshop on Description Logics; International Workshop on Description Logics; volume:250; firstpage:529; lastpage:530; numberofpages:2; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Calvanese, D; Franconi, E; Haarslev, V; Lembo, D; Motik, B; Turhan, A-Y; Tessaris, S; http://hdl.handle.net/10281/12030Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84872933555; http://ceur-ws.org/Vol-250Test/

الإتاحة: http://hdl.handle.net/10281/12030Test
http://ceur-ws.org/Vol-250Test/

المؤلفون: Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Roman Kontchakov, Egor V. Kostylev

المساهمون: Faber, W., Lembo, D., Faber, Wolfgang, Lembo, Domenico

المصدر: Web Reasoning and Rule Systems ISBN: 9783642396656
RR
Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

مصطلحات موضوعية: Turing machine, symbols.namesake, Theoretical computer science, Description logic, Negation, csis, Computer science, symbols, Conjunctive query, Data complexity, Domain element, Undecidable problem

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::116277a7c2c0f6d2ba202c428a1ae5d3Test
https://eprints.bbk.ac.uk/id/eprint/10328/1/RR-2013.pdfTest