32 citations · 75 across the 16 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 32 cited
Nested Regular Path Queries in Description Logics
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz +1
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They a…
cs.LO2014★ 1 cited
Extending ALCQIO with reachability
Tomer Kotek, Mantas Simkus, Helmut Veith +1
We introduce a description logic ALCQIO_{b,Re} which adds reachability assertions to ALCQIO, a sub-logic of the two-variable fragment of first order logic with counting quantifiers…