Alexandre Rademaker  Alexandre Rademaker photo       

contact information

Researcher
Brazil Research Lab, Brazil

links

Professional Associations

Professional Associations:  Global Wordnet Association


2016

On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
Haeusler, Edward Hermann and Rademaker, Alexandre
Logical Reasoning and Computation: Essays dedicated to Luis Fari{~n}as del Cerro, 55, 2016
Abstract

Verifying Integrity Constraints of a RDF-based WordNet
Alexandre Rademaker, Fabricio Chalub
Global Wordnet Conference 2016

An overview of Portuguese WordNets
Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões
Global Wordnet Conference 2016

Gentle with Gentilics
Livy Real, Valeria de Paiva, Fabricio Chalub, Alexandre Rademaker
Joint Second Workshop on Language and Ontologies (LangOnto2) and Terminology and Knowledge Structures (TermiKS) (co-located with LREC 2016)

Semantic Links for Portuguese
Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva
10th Edition of its Language Resources and Evaluation Conference (LREC), 2016

Making Virtue of Necessity: a Verb Lexicon
Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker
International Conference on the Computational Processing of Portuguese, 2016

OpenVIVO: A VIVO anyone can join
Michael Conlon, Graham Triggs, Violeta Ilik, Ted Lawless, Kristi Holmes, Jim Blake, Paul Friedman, Muhammed Javed, Melissa Haendel, Marijane White, David Eichmann, Simon Porter, Martin Szomszor, John Serafin, Shahim Essaid, Alexandre Rademaker, Matthew Br
2016


2015

As wordnets do Portugu{\^e}s
Oliveira, Hugo Gon{\c{c}}alo and de Paiva, Valeria and Freitas, Cl{\'a}udia and Rademaker, Alexandre and Real, Livy and Sim{\~o}es, Alberto
Oslo Studies in Language 7(1), 2015
Abstract

3.21 How Kelsenian Jurisprudence and Intuitionistic Description Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
Rademaker, Alexandre
LSFA 2015 GeTFun 3.0 FILOMENA 2 LFIsˆ15 TRS Reasoning School, 72
Abstract

HAREM and Klue: how to compare two tagsets for named entities
Real, Livy and Rademaker, Alexandre
Proceedings of NEWS 2015 The Fifth Named Entities Workshop, pp. 43
Abstract

An Overview on Portuguese Nominalizations
Real, Livy and Rademaker, Alexandre
2015 - lirmm.fr
Abstract

A scalable architecture for real-time analysis of microblogging data
Cavalin, Paulo Rodrigo and Gatti, Ma{\'\i}ra A de C and Moraes, TGP and Oliveira, Fabio Silva and Pinhanez, Claudio S and Rademaker, Alexandre and de Paula, Rog{\'e}rio Abreu
IBM Journal of Research and Development 59(2/3), 16--1, IBM, 2015
Abstract

A scalable architecture for real-time analysis of microblogging data
Paulo Rodrigo Cavalin, Maira Athanazio C. Gatti, Tiago G. P. Moraes, Fabio S. Oliveira, Claudio S. Pinhanez, Alexandre Rademaker, Rogerio Abreu de Paula
IBM Journal of Research and Development 59(2/3), 16:1-16:10, 2015

As Wordnets do Portugu\^es
Hugo Gon\c calo Oliveira, Valeria de Paiva, Cl\'audia Freitas, Alexandre Rademaker, Livy Real, Alberto Sim\ oes
Oslo Studies in Language 7(1), 397--424, 2015
Abstract

A linked open data architecture for the historical archives of the Getulio Vargas Foundation
Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, Moacyr Alvim
International Journal on Digital Libraries 15(2-4), 153-167, Springer Berlin Heidelberg, 2015

On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
Edward Hermann Haeusler, Alexandre Rademaker
Handbook of the 5th World Congress and School on Universal Logic, pp. 307--208, 2015
abstract only

An Overview on Portuguese Nominalisation
Livy Real, Alexandre Rademaker
Workshop on TYpe Theory and LExical Semantics, 2015
Abstract

HAREM and Klue: how to compare two tagsets for named entities annotation
Livy Real, Alexandre Rademaker
Proceedings of 53rd Annual Meeting of the Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural , 2015
Abstract

Seeing is Correcting: curating lexical resources using social interfaces
Livy Real, Fabricio Chalub, Valeria de Paiva, Claudia Freitas, Alexandre Rademaker
Proceedings of 53rd Annual Meeting of the Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural , 2015
Abstract

Using openWordnet-PT to improve VIVO
Alexandre Rademaker, Daniela Brauner, Glauco Munsberg, André Peil
VIVO Conference 2015

How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
Alexandre Rademaker, Edward Hermann Haeusler
Proceedings of 3rd Workshop on Generalizations of Truth‑Functionality, 2015

Anotação de corpus com a OpenWordNet-PT: um exercício de desambiguação
Cláudia Freitas, Livy Real, Alexandre Rademaker
Proceedings of the 10th Brazilian Symposium in Information and Human Language Technology, pp. 51-55, 2015

Seeing is Correcting: curating lexical resources using social interfaces
Real, Livy and Chalub, Fabricio and de Paiva, Valeria and Freitas, Claudia and Rademaker, Alexandre
ACL-IJCNLP 2015, 20
Abstract


2014

Semantic traffic diagnosis with star-city: Architecture and lessons learned from deployment in dublin, bologna, miami and rio
L{\'e}cu{\'e}, Freddy and Tucker, Robert and Tallevi-Diotallevi, Simone and Nair, Rahul and Gkoufas, Yiannis and Liguori, Giuseppe and Borioni, Mauro and Rademaker, Alexandre and Barbosa, Luciano
International Semantic Web Conference, pp. 292--307, 2014
Abstract

OpenWordNet-PT: A Project Report
Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Maria Real Coelho, Maira Gatti
Proceedings of the 7th Global WordNet Conference, 2014

Embedding NomLex-BR nominalizations into OpenWordnet-PT
Livy Maria Real Coelho, Alexandre Rademaker, Valeria de Paiva, Gerard de Melo
Proceedings of the 7th Global WordNet Conference, pp. 378--382, 2014

NomLex-PT: A Lexicon of Portuguese Nominalizations
Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo
Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14), European Language Resources Association (ELRA), 2014

An intuitionistic ALC description default logic
Alexandre Rademaker, Edward Hermann Haeusler
Proceedings of the Workshop of Compositional Meaning in Logic (GeTFun 2.0) on Vienna Summer of Logic, 2014
extended abstract

An Intuitionisticaly based Description Logic
Edward Hermann Haeusler, Alexandre Rademaker
Technical Report, Arxiv, 2014

Using OAI/PMH for Data Ingest into VIVO Instances
Alexandre Rademaker, Violeta Ilik
Proceedings of VIVO 2014

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora
Cl\'audia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne de Araujo Correia da Silva
Computational Processing of the Portuguese Language, 11th International Conference, PROPOR 2014, Springer

Improving the Verb Lexicon of OpenWordnet-PT
Valeria de Paiva, Cl\'audia Freitas, Livy Real, Alexandre Rademaker
Proceedings of Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp), Biblioteca Digital Brasileira de Computação, UFMG, Brazil, 2014

Exploratory Information Extraction from a Historical Dictionary
Valeria De Paiva, Dário Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard De Melo
IEEE 10th International Conference on e-Science (e-Science), pp. 11-18, IEEE, 2014

Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio
Freddy L\'{e}cu\'{e}, Robert Tucker, Simone Tallevi-Diotallevi, Rahul Nair, Yiannis Gkoufas, Giuseppe Liguori, Mauro Borioni, Alexandre Rademaker, Luciano Barbosa
The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, pp. 292--307

Proceedings of the 6th Workshop on Formal Ontologies meet Industry (FOMI)

Proceedings of the 6th Workshop on Formal Ontologies meet Industry (FOMI), 2014

Specifying ubiquitous systems through the Algebra of Contextualized Ontologies
Isabel Cafezeiro, Jos\'e Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
Knowledge Engineering Review 29(2), 171--185, 2014
Abstract


2013

A Linked Open Data Architecture for Contemporary Historical Archives.
Rademaker, Alexandre and Higuchi, Suemi and Oliveira, D{\'a}rio Augusto Borges
SDA, pp. 52--64, 2013
Abstract

Semantic Lattes and VIVO Project
Alexandre Rademaker, Edward Hermann Haeusler
Proceedings of VIVO 2013

A linked open data architecture for contemporary historical archives
Alexandre Rademaker, Suemi Higuchi, D\'ario Augusto Borges Oliveira
Proceedings of 3rd edition of the Semantic Digital Archives Workshop, 2013
Workshop website at http://mt.inf.tu-dresden.de/sda2013/. Proceedings at http://ceur-ws.org/Vol-1091/


2012

OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning
Valeria de Paiva, Alexandre Rademaker, Gerard de Melo
Proceedings of COLING 2012: Demonstration Papers, pp. 353--360, The COLING 2012 Organizing Committee
Published also as Techreport http://hdl.handle.net/10438/10274

Applying Ontology in the Analysis of a DSS Research Collaboration Network
Antonio Carlos Saraiva Branco, Fatima Dargam, Alexandre Rademaker, Renato Rocha de Souza
Proceedings of the 25th European Conference on Operational Research, EURO XXV (Stream: Decision Support Systems), 2012
Abstract

Revisiting a Brazilian WordNet
Valeria dePaiva, Alexandre Rademaker
Proceedings of Global Wordnet Conference, Global Wordnet Association, 2012
http://www.globalwordnet.org/gwa/gwa_conferences.html


2011

Constructive Description Logics Hybrid-Style
Valeria dePaiva, Edward Hermann Haeusler, Alexandre Rademaker
Electronic Notes in Theoretical Computer Science273, 21--31, 2011
Abstract

Intuitionistic Description Logic and Legal Reasoning
Edward Hermann Haeusler, Valeria dePaiva, Alexandre Rademaker
2011 Database and Expert Systems Applications, DEXA, International Workshops, IEEE Computer Society

Portal Sem\^antico do CPDOC
Renato Rocha Souza, Suemi Higuchi, Alexandre Rademaker, Asla Medeiros e S\'a
Anais do IV Encontro de Bases de Dados Sobre Informa\cc\~oes Arquiv\'isticas, 2011

Intuitionistic Description Logic for Legal Reasoning
Edward Hermann Haeusler, Valeria dePaiva, Alexandre Rademaker
XVI The Brazilian Logic Conference, 2011


2010

Constructive Description Logic Hybrid-Style
Valeria dePaiva, Edward Hermann Haeusler, Alexandre Rademaker
Pre-Proceedings of International Workshop on Hybrid Logic and Applications, 2010
Abstract

Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
Alexandre Rademaker, Edward Hermann Haeusler
Journal of Universal Computer Science (Online)16, 3016--3042, 2010

Intuitionistic Logic and Legal Ontologies
Edward Hermann Haeusler, Valeria dePaiva, Alexandre Rademaker
Frontiers in Artificial Intelligence and Applications, IOS Press, 2010

Constructive Description Logic, Hybrid-Style
Valeria dePaiva, Edward Hermann Haeusler, Alexandre Rademaker
Pre-Proceedings of International Workshop on Hybrid Logic and Applications, 2010

Using Intuitionistic Logic as a Basis for Legal Ontologies
Edward Hermann Haeusler, Valeria dePaiva, Alexandre Rademaker
Informatica e diritto1, 289--298, 2010

A Proof Theory for Description Logics
Alexandre Rademaker
Ph.D. Thesis, 2010
Abstract


2009

Is it important to explain a theorem? A case study on UML and ALCQI
Edward Hermann Haeusler, Alexandre Rademaker
Advances in Conceptual Modeling - Chalenging Perspectives, Springer-Verlag, 2009

Designing ubiquitous applications: proposal of a specification environment
Isabel Cafezeiro, Jose Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
MUCS '09: Proceedings of the 6th international workshop on Managing ubiquitous communications and services, ACM, 2009
Abstract


2008

On The Proof Theory of ALC
Alexandre Rademaker, Edward Hermann Haeusler, Luiz Carlos Pereira
CLE e-Prints (Impresso)8, Article 14, 2008

A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Isabel Cafezeiro, Jose Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
Third International Symposium, ISoLA 2008, Proceddings, Springer Berlin

Ontology and Context
Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker
IEEE International Conference on Pervasive Computing and Communications, IEEE Computer Society, 2008

Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach
Alexandre Rademaker, Edward Hermann Haeusler
Advances in Artificial Intelligence - SBIA 2008, Springer Berlin
Abstract


2007

Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study
Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Davi Romero de Vasconcelos, Fernando N\'aufel do Amaral, Carlos Baz\'ilio Martins, Vaston Costa, Edward Hermann Haeusler
Third Australasian Ontology Workshop (AOW 2007), Australian Computer Society


2006

An Ontology-based Approach to the Formalization of Information Security Policies
Fernando N\'aufel do Amaral, Carlos Baz\'ilio Martins, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler
VORTE - Workshop on Vocabularies, Ontologies, and Rules for the Enterprise, 2006


2005

Uma ferramenta formal para especifica\cc\~ao e an\'alise de arquiteturas de software
Alexandre Rademaker
Masters Thesis, 2005

A Rewriting Semantics for a Software Architecture Description Language
Alexandre Rademaker, Christiano de Oliveira Braga, Alexandre Sztajnberg
Anais do Simp\'osio Brasileiro de M\'etodos Formais de 2004, 2005

Uma ferramenta formal para especifica\cc\~ao e an\'alise de arquiteturas de software
Alexandre Rademaker
Masters Thesis, 2005


Year Unknown

Extending NomLex-PT using AnCora-Nom
Real, Livy and de Paiva, Valeria and Rademaker, Alexandre
arademaker.github.io, 0
Abstract

FOMI’2014 Formal Ontologies meet Industry
Rademaker, Alexandre and Chaudhri, Vinay K
ceur-ws.org, 0
Abstract

Improving the Verb Lexicon of OpenWN-PT⋆
de Paiva, Valeria and Freitas, Claudia and Real, Livy and Rademaker, Alexandre
academia.edu, 0
Abstract