Intuitionistic logic and legal ontologies

dc.contributorFGV
dc.creatorHaeusler, Edward Hermann
dc.creatorPaiva, Valeria de
dc.creatorRademaker, Alexandre
dc.date.accessioned2018-05-10T13:36:26Z
dc.date.accessioned2019-05-22T13:59:15Z
dc.date.available2018-05-10T13:36:26Z
dc.date.available2019-05-22T13:59:15Z
dc.date.created2018-05-10T13:36:26Z
dc.date.issued2010
dc.identifier978-1-60750-682-9; 978-1-60750-681-2
dc.identifier0301-4215 / 1873-6777
dc.identifierhttp://hdl.handle.net/10438/23347
dc.identifier10.3233/978-1-60750-682-9-155
dc.identifier000325253000020
dc.identifierRademaker, Alexandre/0000-0002-7583-0792; de Paiva, Valeria/0000-0002-1078-6970
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/2688794
dc.description.abstractThis paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.
dc.languageeng
dc.publisherIos Press
dc.relationLegal knowledge and information systems
dc.rightsrestrictedAccess
dc.sourceWeb of Science
dc.subjectLegal ontologies
dc.subjectIntuitionistic description logic
dc.subjectLaw
dc.titleIntuitionistic logic and legal ontologies
dc.typeConference Proceedings


Este ítem pertenece a la siguiente institución