OWA: conseguenze Query answering con FOL su basi di conoscenza DL indecidibile.
{"Image DocumentName": "OWA: conseguenzeQuery answering con FOL su basi di conoscenza DL indecidibile.", "Image ImageDescription": "Soluzione \u2192 considerare un sottoinsieme della FOL che abbia il massimo potere espressivo possibile e che sia decidibile \u2192 unioni di query congiuntive (UCQs) e le query congiuntive (CQ) Problema: limiti espressivi. Soluzione: Epistemic Queries Languages (EQLs) Principio base EQLs: su ci\u00f2 che conosci tu hai un informazione completa sulla quale \u00e8 possibile applicare l\u2019assunzione di mondo chiuso. EQLs sono decidibili ed hanno potere espressivo analogo alla FOL.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}