Discussione:Web Ontology Language

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

Estensione[modifica wikitesto]

In che senso OWL è "un'estensione" di RDF? --2001:1BC8:1004:0:0:0:0:1 (msg) 17:27, 31 mar 2017 (CEST)[rispondi]

Ne è un'estensione dal punto di vista semantico. Il OWL è un'estensione del vocabolario di RDF (vedi [1]) e ne aumenta la potenza espressiva. --Horcrux九十二 20:05, 31 mar 2017 (CEST)[rispondi]

Decidibilità[modifica wikitesto]

Mi pare che w:First-order_logic#Completeness_and_undecidability dica qualcosa di leggermente diverse. --2001:1BC8:1004:0:0:0:0:1 (msg) 17:27, 31 mar 2017 (CEST)[rispondi]

Ovvero? --Horcrux九十二 20:05, 31 mar 2017 (CEST)[rispondi]