edu.stanford.smi.protegex.owl.ui.conditions.tests
Class FillInheritedTestCase

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  edu.stanford.smi.protegex.owl.ui.conditions.tests.AbstractConditionsTableTestCase
                      edu.stanford.smi.protegex.owl.ui.conditions.tests.FillInheritedTestCase

All Implemented Interfaces:

ConditionsTableConstants, junit.framework.Test

public class FillInheritedTestCase

extends AbstractConditionsTableTestCase

Author:

Holger Knublauch

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.ui.conditions.tests.AbstractConditionsTableTestCase

events, INHERITED, NECESSARY, SUFFICIENT

Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase

ontModel, owlFullModel

Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase

owlModel, owlThing, project

Fields inherited from class junit.framework.TestCase

Fields inherited from interface edu.stanford.smi.protegex.owl.ui.conditions.ConditionsTableConstants

COL_COUNT, COL_EXPRESSION, TYPE_DEFINITION_BASE, TYPE_INHERITED, TYPE_SUPERCLASS

Constructor Summary

FillInheritedTestCase()

Method Summary

void	testDontInheritDuplicatesFromEquivalentCls() owl:Thing Animal Marsupial = Koala Koala (!
void	testDontInheritOverloadedAllRestrictions() owl:Thing Super (* slot Super) Sub (* slot Sub) ------------------------------------------------------ Super * slot Sub
void	testInheritedFromDefinition() owl:Thing Animal Person = Animal & (gender >= 1) MalePerson * -------------------------------------------- Person gender >= 1
void	testInheritedRestrictions() owl:Thing Animal children <= 100 Person children <= 12 Parent children >= 1 --------------------------------------- Person children >= 1 children <= 12
void	testInheritEqualSomeRestriction() owl:Thing Super (?
void	testInheritHasRestrictions() owl:Thing Super (slot $ mySuper) Sub (slot $ mySub)
void	testInheritParallelSomeRestrictions() owl:Thing Other Super (?
void	testInheritSpecializingSomeRestrictions() owl:Thing Super (?
void	testInheritUnrelatedAllRestrictions()

Methods inherited from class edu.stanford.smi.protegex.owl.ui.conditions.tests.AbstractConditionsTableTestCase

assertTableModelStructure, getEvent, getTableModel

Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase

getNamedClassesCount, loadRemoteOntology, loadRemoteOntologyWithProtegeMetadataOntology, loadTestOntology, ontResourceExists, reload, reloadWithJenaLoader

Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase

assertContains, assertContains, assertContainsNot, assertHasValue, assertSize, assertSize, dumpRDF, getRemoteOntologyURI, getTestOntologyURI, hasTypedLiteral, list, setUp

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FillInheritedTestCase

public FillInheritedTestCase()

Method Detail

testInheritedRestrictions

public void testInheritedRestrictions()

owl:Thing Animal children <= 100 Person children <= 12 Parent children >= 1 --------------------------------------- Person children >= 1 children <= 12

testInheritedFromDefinition

public void testInheritedFromDefinition()

owl:Thing Animal Person = Animal & (gender >= 1) MalePerson * -------------------------------------------- Person gender >= 1

testDontInheritDuplicatesFromEquivalentCls

public void testDontInheritDuplicatesFromEquivalentCls()

owl:Thing Animal Marsupial = Koala Koala (!Person) ------------------------------------------------------ Marsupial !Person

testDontInheritOverloadedAllRestrictions

public void testDontInheritOverloadedAllRestrictions()

owl:Thing Super (* slot Super) Sub (* slot Sub) ------------------------------------------------------ Super * slot Sub

testInheritUnrelatedAllRestrictions

public void testInheritUnrelatedAllRestrictions()

testInheritHasRestrictions

public void testInheritHasRestrictions()

owl:Thing Super (slot $ mySuper) Sub (slot $ mySub)

testInheritParallelSomeRestrictions

public void testInheritParallelSomeRestrictions()

owl:Thing Other Super (? slot Other) Sub (? slot Sub)

testInheritSpecializingSomeRestrictions

public void testInheritSpecializingSomeRestrictions()

owl:Thing Super (? slot Super) Sub (? slot Sub)

testInheritEqualSomeRestriction

public void testInheritEqualSomeRestriction()

owl:Thing Super (? slot Super) Sub (? slot Super)