Sciweavers

23 search results - page 5 / 5
» Efficiently answering reachability queries on very large dir...
Sort
View
FOIKS
2006
Springer
13 years 9 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ACL
2010
13 years 3 months ago
Wikipedia as Sense Inventory to Improve Diversity in Web Search Results
Is it possible to use sense inventories to improve Web search results diversity for one word queries? To answer this question, we focus on two broad-coverage lexical resources of ...
Celina Santamaría, Julio Gonzalo, Javier Ar...
VLDB
1998
ACM
117views Database» more  VLDB 1998»
13 years 9 months ago
DTL's DataSpot: Database Exploration Using Plain Language
DTL's DataSpot is a database publishing tool that enables non-technical end users to explore a database using free-form plain language queries combined with hypertext navigat...
Shaul Dar, Gadi Entin, Shai Geva, Eran Palmon