Discussione:Web Ontology Language

Versione del 31 mar 2017 alle 17:27 di 2001:1bc8:1004::1 (discussione) (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...)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)

Ultimo commento: 8 anni fa, lasciato da 2001:1BC8:1004:0:0:0:0:1 in merito all'argomento Decidibilità

Estensione

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

Decidibilità

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

Ritorna alla pagina "Web Ontology Language".