From: <lor...@us...> - 2013-04-10 10:08:02
|
Revision: 3917 http://sourceforge.net/p/dl-learner/code/3917 Author: lorenz_b Date: 2013-04-10 10:07:59 +0000 (Wed, 10 Apr 2013) Log Message: ----------- Added JUNIT test for pattern detection. Added Paths: ----------- trunk/components-core/src/test/java/org/dllearner/algorithms/pattern/ trunk/components-core/src/test/java/org/dllearner/algorithms/pattern/OWLAxiomRenamerTest.java Added: trunk/components-core/src/test/java/org/dllearner/algorithms/pattern/OWLAxiomRenamerTest.java =================================================================== --- trunk/components-core/src/test/java/org/dllearner/algorithms/pattern/OWLAxiomRenamerTest.java (rev 0) +++ trunk/components-core/src/test/java/org/dllearner/algorithms/pattern/OWLAxiomRenamerTest.java 2013-04-10 10:07:59 UTC (rev 3917) @@ -0,0 +1,95 @@ +package org.dllearner.algorithms.pattern; + +import static org.junit.Assert.assertEquals; + +import org.junit.Before; +import org.junit.Test; +import org.semanticweb.owlapi.io.ToStringRenderer; +import org.semanticweb.owlapi.model.OWLAxiom; +import org.semanticweb.owlapi.model.OWLClass; +import org.semanticweb.owlapi.model.OWLDataFactory; +import org.semanticweb.owlapi.model.OWLIndividual; +import org.semanticweb.owlapi.model.OWLObjectProperty; +import org.semanticweb.owlapi.model.PrefixManager; +import org.semanticweb.owlapi.util.DefaultPrefixManager; + +import uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl; +import uk.ac.manchester.cs.owlapi.dlsyntax.DLSyntaxObjectRenderer; + +public class OWLAxiomRenamerTest { + private OWLDataFactory df; + + private OWLClass clsA; + private OWLClass clsB; + private OWLClass clsC; + private OWLObjectProperty propR; + private OWLObjectProperty propS; + private OWLIndividual indA; + private OWLIndividual indB; + + private OWLAxiomRenamer renamer; + + @Before + public void setUp() throws Exception { + df = new OWLDataFactoryImpl(); + PrefixManager pm = new DefaultPrefixManager("http://examples.org/ontology#"); + + clsA = df.getOWLClass("A", pm); + clsB = df.getOWLClass("B", pm); + clsC = df.getOWLClass("C", pm); + + propR = df.getOWLObjectProperty("r", pm); + propS = df.getOWLObjectProperty("s", pm); + + indA = df.getOWLNamedIndividual("a", pm); + indB = df.getOWLNamedIndividual("b", pm); + + renamer = new OWLAxiomRenamer(df); + } + + @Test + public void testRename() { + ToStringRenderer.getInstance().setRenderer(new DLSyntaxObjectRenderer()); + OWLAxiom ax1 = df.getOWLSubClassOfAxiom(clsA, clsB); + OWLAxiom ax2 = df.getOWLSubClassOfAxiom(clsB, clsC); + + System.out.print(ax1 + "->");ax1 = renamer.rename(ax1);System.out.println(ax1); + System.out.print(ax2 + "->");ax2 = renamer.rename(ax2);System.out.println(ax1); + assertEquals(ax1, ax2); + + ax1 = df.getOWLSubClassOfAxiom( + clsA, + df.getOWLObjectIntersectionOf( + clsB, + df.getOWLObjectSomeValuesFrom(propR, clsC))); + ax2 = df.getOWLSubClassOfAxiom( + clsA, + df.getOWLObjectIntersectionOf( + df.getOWLObjectSomeValuesFrom(propS, clsB), + clsC)); + System.out.print(ax1 + "->");ax1 = renamer.rename(ax1);System.out.println(ax1); + System.out.print(ax2 + "->");ax2 = renamer.rename(ax2);System.out.println(ax2); + assertEquals(ax1, ax2); + + ax1 = df.getOWLSubClassOfAxiom( + clsA, + df.getOWLObjectIntersectionOf( + clsB, + df.getOWLObjectSomeValuesFrom( + propR, + df.getOWLObjectUnionOf(clsB, clsA)))); + ax2 = df.getOWLSubClassOfAxiom( + clsA, + df.getOWLObjectIntersectionOf( + df.getOWLObjectSomeValuesFrom( + propS, + df.getOWLObjectUnionOf(clsB, clsA)), + clsB)); + System.out.print(ax1 + "->");ax1 = renamer.rename(ax1);System.out.println(ax1); + System.out.print(ax2 + "->");ax2 = renamer.rename(ax2);System.out.println(ax2); + assertEquals(ax1, ax2); + + + } + +} This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |