21 search results - page 5 / 5 » Learning to verify branching time properties |
SEMWEB
2005
Springer
14 years 13 days ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...