Title : Gossip protocols, network structure and distributed marketplaces

Presenter Anna Chmielowiec
Abstract

Title : Evaluation and Benchmarking of Ontology Reasoners

Presenter Zhisheng Huang
Abstract In this talk, we will present a framework of evaluation and benchmarking of ontology reasoners. We will propose a gold standard specification language for evaluation of ontologies reasoners. We have implemented a benchmarking suite for processing inconsistent ontologies, which consists of benchmarking tools, data sets, and gold standards. We will report a series of experiments of evaluation of reasoners with inconsistent ontologies.