Supporting SPARQL queries over relational databases becomes an active topic recently. However, it has not received enough consideration when SPARQL queries include restrictions on...
Traditional graph drawing is only concerned with viewing of data and relations amount data items. It uses a graph model to present the data items and the relations and tries to ca...
We introduce a new metaphor for learning spatial relations--the 3D puzzle. With this metaphor users learn spatial relations by assembling a geometric model themselves. For this pu...
Bernhard Preim, Felix Ritter, Oliver Deussen, Thom...
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...