Discussione:Web Ontology Language
Ultimo commento: 7 anni fa, lasciato da Horcrux92 in merito all'argomento Decidibilità
Questa voce contiene una traduzione, completa o parziale, della voce originale:
«Web Ontology Language» tratta da Wikipedia in inglese.
Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.
«Web Ontology Language» tratta da Wikipedia in inglese.
Consulta la cronologia della pagina originale per conoscere l'elenco degli autori.
Estensione modifica
In che senso OWL è "un'estensione" di RDF? --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 [1]) e ne aumenta la potenza espressiva. --Horcrux九十二 20:05, 31 mar 2017 (CEST)
Decidibilità modifica
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)
- Ovvero? --Horcrux九十二 20:05, 31 mar 2017 (CEST)