Sciweavers

129 search results - page 1 / 26
» Benchmarking Reasoners for Multi-Ontology Applications
Sort
View
EON
2007
13 years 6 months ago
Benchmarking Reasoners for Multi-Ontology Applications
We describe an approach to create a synthetic workload for large scale extensional query answering experiments. The workload comprises multiple interrelated domain ontologies, data...
Ameet Chitnis, Abir Qasem, Jeff Heflin
JSC
2000
117views more  JSC 2000»
13 years 4 months ago
Goals and Benchmarks for Automated Map Reasoning
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
Andrea Formisano, Eugenio G. Omodeo, Marco Temperi...
ICAS
2006
IEEE
114views Robotics» more  ICAS 2006»
13 years 11 months ago
Benchmarking Knowledge-based Context Delivery Systems
As context-aware systems become more widespread and mobile there is an increasing need for a common distributed event platform for gathering context information and delivering to ...
John Keeney, David Lewis, Declan O'Sullivan
TPCTC
2010
Springer
149views Hardware» more  TPCTC 2010»
13 years 2 months ago
A Discussion on the Design of Graph Database Benchmarks
Graph Database Management systems (GDBs) are gaining popularity. They are used to analyze huge graph datasets that are naturally appearing in many application areas to model interr...
David Dominguez-Sal, Norbert Martínez-Bazan...
UAI
1996
13 years 6 months ago
An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits
Many algorithms for processing probabilistic networks are dependent on the topological properties of the problem's structure. Such algorithmse.g., clustering, conditioning ar...
Yousri El Fattah, Rina Dechter