Labinot Bajraktari

Combining Rules and Ontologies into Clopen Knowledge Bases

2018 · Proceedings of the AAAI Conference on Artificial Intelligence

We propose Clopen Knowledge Bases (CKBs) as a new formalism combining Answer Set Programming (ASP) with ontology languages based on first-order logic. CKBs generalize the prominent r-hybrid and DL+LOG languages of Rosati, and are more …