Difference between revisions of "NSByGrounding"
DavidCarral (Talk | contribs) (→Approach) |
DavidCarral (Talk | contribs) (→Empirical evaluation) |
||
| Line 4: | Line 4: | ||
== Empirical evaluation == | == Empirical evaluation == | ||
| − | For this empirical evaluation several ontologies, presented in the next section, were chosen from the TONES repository (reference?). | + | For this empirical evaluation several ontologies, presented in the next section, were chosen from the TONES repository (reference?). For each experiment one or more axioms containing nominal schemas were added to each ontology. The occurences of the nominal schemas are then grounded with all possible combinations of individuals contained in the knowledge bases. Reasoning times for chekcing satisfiability (using Pellet after grounding) are averaged over 100 runs, and load time is reported separately. |
| − | + | Testing experiments try to find what are the limits of this implementation varying both the number of different nominal schemas and their number of occurrences per axiom. | |
| − | Testing | + | Testing was performed using a 64-bit Windows 7 computer with an Intel(R) Core(TM) i5 CPU processor. A java JDK 1.5 version, allocating 3GB as the minimun for the java heap and 3.5GB as the maximun, was used for each experiment. |
| − | + | The page includes a java program to ground axioms containing nominal schemas to an ontology. After the grounding reasoning tasks can be performed using any reasoner available. The program was built for testing purposes only and therefore it is not an optimised generic algorithm. | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Revision as of 16:33, 14 June 2011
Nominal Schema Reasoning by Grounding
This page contains the implementation of nominal schema reasoning using naive grounding. Although not highly time-efficient this implementation will be used as a baseline for the development and testing of more efficient algorithms, and shows that even the naive grounding approach can be used for small use cases or for initial testing.
Empirical evaluation
For this empirical evaluation several ontologies, presented in the next section, were chosen from the TONES repository (reference?). For each experiment one or more axioms containing nominal schemas were added to each ontology. The occurences of the nominal schemas are then grounded with all possible combinations of individuals contained in the knowledge bases. Reasoning times for chekcing satisfiability (using Pellet after grounding) are averaged over 100 runs, and load time is reported separately.
Testing experiments try to find what are the limits of this implementation varying both the number of different nominal schemas and their number of occurrences per axiom.
Testing was performed using a 64-bit Windows 7 computer with an Intel(R) Core(TM) i5 CPU processor. A java JDK 1.5 version, allocating 3GB as the minimun for the java heap and 3.5GB as the maximun, was used for each experiment.
The page includes a java program to ground axioms containing nominal schemas to an ontology. After the grounding reasoning tasks can be performed using any reasoner available. The program was built for testing purposes only and therefore it is not an optimised generic algorithm.
