Alexandre Rademaker, profile picture

Alexandre Rademaker

Sort by
Verifying Integrity Constraints of a RDF-based WordNet
An overview of Portuguese WordNets
On the Computational Complexity of Intuitionistic Hybrid Modal Logic
OpenWordnet-PT: A Project Report
Embedding NomLex-BR nominalizations into OpenWordnet-PT
A linked open data architecture for contemporary historical archives
Processamento de Linguagem Natural em textos da História Comptemporânea do Brasil: o projeto OpenWordnet-PT
On the proof theory for Description Logics
OpenWN-PT: a Brazilian Wordnet for all
A database approach to monitoring the quality of information in RDF stores
Intuitionistic Description Logic for Legal Reasoning
First Order Logic
Is it important to explain a theorem? A case study in UML and ALCQI