OWL Ontology WEB Languages 2/2
 
 
 - OWL DL
 
 Basato su Logiche Descrittive
 Massima espressivita' possibile
 Completezza Computazionale (capace di estrarre TUTTE le conclusioni)
 Decidibilita' (elaborazioni in un TEMPO FINITO)
 
 Come OWL Full ma con restrizioni (ES: no classe istanza di una classe che e' sottoclasse di piu' classi)
 
 - OWL Full
 
 Massima espressivita' possibile senza restrizioni (non si ha sicurezza che si raggiungano obiettivi)
 Non esistono implementazioni di OWL Full
 
 OWL Full puo' essere visto come una estensione di RDF