Verifying Integrity Constraints of a RDF-based WordNet

Há 8 anos 347 Visualizações

An overview of Portuguese WordNets

Há 8 anos 358 Visualizações

OpenWordnet-PT: A Project Report

Há 10 anos 1090 Visualizações

Embedding NomLex-BR nominalizations into OpenWordnet-PT

Há 10 anos 606 Visualizações

On the proof theory for Description Logics

Há 11 anos 790 Visualizações

OpenWN-PT: a Brazilian Wordnet for all

Há 12 anos 1799 Visualizações

Intuitionistic Description Logic for Legal Reasoning

Há 13 anos 670 Visualizações

First Order Logic

Há 13 anos 420 Visualizações