Showing cs.LOShow all
2 papers · 1 filter
cs.LO2007★ 2 cited
Guarded Hybrid Knowledge Bases
Stijn Heymans, Jos de Bruijn, Livia Predoiu +2
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web.We define guarded hybrid knowledge bases (or g-hybrid knowledge ba…
cs.LO2004
Preferred Answer Sets for Ordered Logic Programs
Davy Van Nieuwenborgh, Dirk Vermeir
We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it…