Mantas Šimkus

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 …

The Triguarded Fragment of First-Order Logic

2018 · EPiC series in computing

Past research into decidable fragments of first-order logic (FO) has produced two very prominent fragments: the guarded fragment GF, and the two-variable fragment FO2. These fragments are of crucial importance because they provide significant insights …