Search
loader loading subjects...
cover
Intuitionistic Logic and Legal Ontologies
Authors
Edward H. Haeusler, Valeria De Paiva, Alexandre Rademaker
Pages
155 - 158
DOI
10.3233/978-1-60750-682-9-155
Series
Frontiers in Artificial Intelligence and Applications
Ebook
Volume 223: Legal Knowledge and Information Systems
Abstract

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.