alexandre-rademaker documents

A database approach to monitoring the quality of information in RDF stores
Education A database approach to monitoring the quality of information in RDF stores
OpenWordnet-PT: A Project Report
Technology OpenWordnet-PT: A Project Report
On the proof theory for Description Logics
Education On the proof theory for Description Logics
OpenWN-PT: a Brazilian Wordnet for all
Technology OpenWN-PT: a Brazilian Wordnet for all
Embedding NomLex-BR nominalizations into OpenWordnet-PT
Technology Embedding NomLex-BR nominalizations into OpenWordnet-PT
A linked open data architecture for contemporary historical archives
Education A linked open data architecture for contemporary historical archives
On the Computational Complexity of Intuitionistic Hybrid Modal Logic
Science On the Computational Complexity of Intuitionistic Hybrid Modal Logic
Intuitionistic Description Logic for Legal Reasoning
Technology Intuitionistic Description Logic for Legal Reasoning
Is it important to explain a theorem? A case study in UML and ALCQI
Education Is it important to explain a theorem? A case study in UML and ALCQI
A Rewriting Semantics for a Software Architecture Description Language
Documents A Rewriting Semantics for a Software Architecture Description Language
An overview of Portuguese WordNets
Science An overview of Portuguese WordNets
Verifying Integrity Constraints of a RDF-based WordNet
Science Verifying Integrity Constraints of a RDF-based WordNet