What happens if the way in which we handle a genuine deontic conflict ---i.e., a deontic ambiguity--- matters regarding the application of other norms that are not directly affected by that conflict? We argue that the law requires sometimes propagating ...
Hybrid knowledge representations that combine description logics with logic programs are considered. Previous works combine description logics with Horn logic programs. In this paper, the expressive power of such hybrid systems is extended by allowing ...
Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were independently ...
Association for Computational Linguistics
United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in