A database approach to monitoring the quality of information in RDF stores

OpenWordnet-PT: A Project Report

On the proof theory for Description Logics

OpenWN-PT: a Brazilian Wordnet for all

Embedding NomLex-BR nominalizations into OpenWordnet-PT

A linked open data architecture for contemporary historical archives

On the Computational Complexity of Intuitionistic Hybrid Modal Logic

Intuitionistic Description Logic for Legal Reasoning

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

A Rewriting Semantics for a Software Architecture Description Language

An overview of Portuguese WordNets

Verifying Integrity Constraints of a RDF-based WordNet