MobiBench

This website represents the online documentation for the MobiBench framework, which is used to benchmark mobile reasoners.

This website also serves as the online documentation for the paper "Optimizing and Benchmarking OWL2 RL for Semantic Reasoning on Mobile Platforms", submitted to the Journal of Web Semantics (2016). In this capacity, the website also lists large-scale version of figures 3-8 here (which were cut off due to high peaks in the paper).

All software related to MobiBench can be found at its github repo.

All content is released under the Apache License 2.0.

Contact: William Van Woensel

• MobiBench usage
  • Code
    • MobiBench projects
      • Web Service
      • Benchmark Engine
      • Benchmark Automation
      • Analysis
      • Utils
    • Reasoners
      • Code
      • Plugin
  • Instructions
    • Web Service
    • Benchmark Engine
    • Automation support
    • Programmatic access
    • Analysis tools
    • Separate Web service access
    • Run on Eclipse
• Mobile reasoning benchmark resources
  • OWL 2 materializing inference
    • Benchmark ontologies
      • OWL2 RL Benchmark Corpus
    • Benchmark rulesets
    • Conformance tests
      • OWL2 RL test suite
  • Semantic service matching
    • OWL-S service retrieval test collection
• OWL2 RL optimizations
  • Equivalent OWL2 RL subset
    • Entailments between OWL2 RL rules
    • Extra supporting axiomatic triples
    • New generalized OWL2 RL rules
    • Equivalence with instance-based rules
  • Purpose- and reference-based subsets
  • Removal of inefficient rules
• Supporting OWL2 RL n-ary rules
  • Types of n-ary rules
  • Solutions
    • List membership functions
    • Instantiate n-ary rules
    • Normalize (or “binarize”) the input ontology
    • Replace each n-ary rule by 3 auxiliary rules