Artigo científico
Intuitionistic logic and legal ontologies
Haeusler, Edward Hermann; Paiva, Valeria de; Rademaker, Alexandre
Acessar documento originalAcesso restrito
O documento é disponibilizado pela fonte de origem, que mantém a versão integral e as condições de uso.
Resumo
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.
Ficha do documento
- Tipo
- Artigo científico
- Ano
- 2010
- Instituição
- Ios Press
- Fonte
- Repositório da FGV
- Idioma
- Inglês
- Acesso
- Acesso restrito
- Identificador
- oai:repositorio.fgv.br:10438/23347
- Temas
- Tecnologia
Conteúdos relacionados
- Artigo científicoEmbedding NomLex-BR nominalizations into OpenWordnet-PTUniv Tartu Press · 2014
- Artigo científicoOpenWordNet-PTUniv Tartu Press · 2014
- Artigo científicoRevisiting a Brazilian WordNetTribun EU s. r. o. · 2012
- OutroI Congresso Internacional em Humanidades Digitais no Rio de Janeiro HDRio2018 – 10/4/2018 - Mesa 1Fundação Getulio Vargas · 2018