Normative systems require hybrid knowledge bases
Marco Alberti, Matthias Knorr, Ana Sofía Gomes, João Alexandre Leite, Ricardo Gonçalves, Martin Slota · Institutional Research Information System University of Ferrara (University of Ferrara) · 2012
In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are provided by Hybrid MKNF Knowledge Bases.