This paper is about a practical implementation of a search mechanism, whereby the concepts of an ontological layer are applied over the federal jurisprudence repository of court decisions (STF). After some brief considerations about the basis of this project, we discuss the steps followed to build the system. Resumo. Este artigo apresenta uma implementação real de um mecanismo de busca, onde os...

We study inverse semigroup amalgams of the form S U T where S and T are free inverse semigroups and U is an arbitrary nitely generated inverse subsemigroup of S and T. We make use of recent work of Bennett to show that the word problem is decidable for any such amalgam. This is in contrast to the general situation for semigroup amalgams, where recent work of Birget, Margolis and Meakin shows th...