Discussione:Web Ontology Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
←Nuova pagina: ==Estensione== In che senso OWL è "un'estensione" di RDF? --~~~~ ==Decidibilità== Mi pare che w:First-order_logic#Completeness_and_undecidability dica qualcosa d... |
Nessun oggetto della modifica |
||
| (Una versione intermedia di un altro utente non mostrate) | |||
Riga 1:
{{Tradotto da|en|Web Ontology Language}}
==Estensione==
In che senso OWL è "un'estensione" di RDF? --[[Speciale:Contributi/2001:1BC8:1004:0:0:0:0:1|2001:1BC8:1004:0:0:0:0:1]] ([[User talk:2001:1BC8:1004:0:0:0:0:1|msg]]) 17:27, 31 mar 2017 (CEST)
:Ne è un'estensione dal punto di vista semantico. Il OWL è un'estensione del vocabolario di RDF (vedi [https://www.w3.org/TR/owl-ref/#Semantics]) e ne aumenta la potenza espressiva. --[[Utente:Horcrux92|Horcrux]]<sub>[[Discussioni utente:Horcrux92|九十二]]</sub> 20:05, 31 mar 2017 (CEST)
==Decidibilità==
Mi pare che [[w:First-order_logic#Completeness_and_undecidability]] dica qualcosa di leggermente diverse. --[[Speciale:Contributi/2001:1BC8:1004:0:0:0:0:1|2001:1BC8:1004:0:0:0:0:1]] ([[User talk:2001:1BC8:1004:0:0:0:0:1|msg]]) 17:27, 31 mar 2017 (CEST)
:Ovvero? --[[Utente:Horcrux92|Horcrux]]<sub>[[Discussioni utente:Horcrux92|九十二]]</sub> 20:05, 31 mar 2017 (CEST)
| |||