Discussione:Web Ontology Language
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)
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)