Contributi di 2001:1BC8:1004:0:0:0:0:1
Per 2001:1BC8:1004:0:0:0:0:1 discussione blocchi registri
31 mar 2017
- 17:2717:27, 31 mar 2017 diff cron +477 N Discussione:Web Ontology Language ←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...
- 17:2417:24, 31 mar 2017 diff cron −101 Web Ontology Language meno deterministico