Intuitionistic logic and legal ontologies

Thumbnail
View/Open
Date
2010
Author
Metadata
Show full item record
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.
URI
http://hdl.handle.net/10438/23347
Collections
Knowledge Areas
Subject
Keyword
Law