Verifying Integrity Constraints of a RDF-based WordNet

Hace 8 años 347 Visualizaciones

An overview of Portuguese WordNets

Hace 8 años 358 Visualizaciones

OpenWordnet-PT: A Project Report

Hace 10 años 1090 Visualizaciones

Embedding NomLex-BR nominalizations into OpenWordnet-PT

Hace 10 años 606 Visualizaciones

On the proof theory for Description Logics

Hace 11 años 792 Visualizaciones

OpenWN-PT: a Brazilian Wordnet for all

Hace 12 años 1799 Visualizaciones

Intuitionistic Description Logic for Legal Reasoning

Hace 13 años 671 Visualizaciones

First Order Logic

Hace 13 años 420 Visualizaciones

Is it important to explain a theorem? A case study in UML and ALCQI

Hace 13 años 493 Visualizaciones