Conference Proceedings
Intuitionistic logic and legal ontologies
Fecha
2010Registro en:
978-1-60750-682-9; 978-1-60750-681-2
0301-4215 / 1873-6777
10.3233/978-1-60750-682-9-155
000325253000020
Rademaker, Alexandre/0000-0002-7583-0792; de Paiva, Valeria/0000-0002-1078-6970
Autor
Haeusler, Edward Hermann
Paiva, Valeria de
Rademaker, Alexandre
Institución
Resumen
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.