12 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.AI2013★ 1 cited
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Evgeny Kharlamov, Marco Montali +2
Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain o…
cs.AI2013★ 12 cited
Exchanging OWL 2 QL Knowledge Bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese +1
Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a…