From NeOn Wiki

Rule Debugging

Screenshot

Developed by Ontoprise
Review not available
Status not available
Last Update 10.05.2007
Current Version The given value was not understood.
Homepage 1.x/Rule Debugging Website
Activity
License Free for non-commercial use
Affiliation
NTKVersion 1.2.3

While the ontology evolves and the set of axioms grows, the need to ensure that the ontology together with the rules describes a consistent and correct model of the domain increases. Especially the set of rules and their interrelationships are sometimes complex to survey as a whole. Users are able to debug the rules by using this plugin.String representation While the ontology evolves and the set of […] e to debug the rules by using this plugin. is too long.


Contents

Functional Description

NeOn Toolkit includes a debugging environment that is oriented on an intuitive process of debugging.

  • Execute a query using the Debug Query command in the context menu. All involved rules will be displayed.
  • If the results do not match the expectations, isolate the problem by extracting a rule body of one of the involved rules.
  • Having found the erroneous rule you might isolate the problem further by examining the rules in its sublevel.

Image:RuleDebug_Perspective.JPG

User Documentation

Debug Monitor

This view displays the number of invocations of the rules (will be updated automatically during runtime).

Image:RuleDebug_DebugMonitor.JPG

Reference Explorer

The "Reference Explorer" shows the referenced rules that could be invoked by a selected rule body from the "Rule Body View".

Image:RuleDebug_ReferenceExplorer.JPG

Rule Body View

The "Rule Body View" splits a selected rule into its head and body. You can select which parts of a body can be put together as a new query.

Image:RuleDebug_RuleLiterals.JPG

Rule Graph

The Hierarchy Tab shows the query and all rules which are invoked by the query in a tree structure. Also internal axioms are displayed. The first sub level shows the direct rule instantiations, the next level the rules which are invoked by these rule instantiations.

Image:RuleDebug_RuleGraphHierarchy.JPG

The Graph Tab displays the same information in a graph.

Image:RuleDebug_RuleGraph.JPG

Tuples

This view displays the results of a selected rule.

Image:RuleDebug_Tuples.JPG