A class of axiomatic theories with arbitrary quantifier alternations is identified and a
conversion to normal form is provided in terms of generalized geometric implications. The …

We define LE-ALC, a generalization of the description logic ALC based on the propositional
logic of general (ie not necessarily distributive) lattices, and semantically interpreted on …

In Brazil, all legal professionals must demonstrate their knowledge of the law and its
application by passing the OAB exams, the national Bar exams. This article describes the …

Classical Logic has been used as a basis for knowledge representation and reasoning in
many domains. Legal Knowledge Representation is interesting due to the natural …

In this article we show how Hans Kelsen jurisprudence and Intuitionistic logic are used to
avoid the well-known contrary-to-duty (CTD) paradoxes, such as Chisholm paradoxes and …

Abstract Intuitionistic Public Announcement Logic (IntPAL) proposed by Ma et al.(2014) aims
at formalizing changes of an agent's knowledge in a constructive manner. IntPAL can be …

In this paper we present a new labelled Natural Deduction calculus for the logic iALC, an
intuitionistic description logic with nominals originally designed to reason over laws and …

Classical Description Logic has been widely used as a basis for ontology creation and
reasoning in many knowledge specific domains. These specific domains naturally include …

In order to practice a legal profession in Brazil, law graduates must be approved in the OAB
national unified bar exam. For their topic coverage and national reach, the OAB exams …

In this work, we present a way to model and reason over Knowledge Graphs via an
Intuitionistic Description Logic called iALC. We also introduce a Natural Deduction System …