Browsing Produção Intelectual em Bases Externas by Subject "Ontologias (Recuperação da informação)"

Now showing items 1-1 of 1

    • Intuitionistic logic and legal ontologies 

      Haeusler, Edward Hermann; Paiva, Valeria de; Rademaker, Alexandre
      2010
      This paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.