43 citations · 89 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 4 cited
Answering Conjunctive Queries over Knowledge Bases with Transitive and Reflexive Roles
Giorgio Stefanoni, Boris Motik
Answering conjunctive queries (CQs) over knowledge bases (KBs) with complex role inclusions is PSPACE-hard and in PSPACE in certain cases; however, if complex role i…
cs.AI2014★ 24 cited
Reasoning about Explanations for Negative Query Answers in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus +1
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research…