A B C D E F G I L M N O P Q R S T U V W X

A

AnonIDRef - Class in test.wsmo4j.validator

Title: WSMO4J

AnonIDRef() - Constructor for class test.wsmo4j.validator.AnonIDRef

atestAddRemoveNamespaces() - Method in class test.wsmo4j.common.NamespaceTest

Test probes if addNamespace / removeNamespace / findNamespace works correctly

atestCreateNamespace() - Method in class test.wsmo4j.common.NamespaceTest

Tests the preconditions to create namespace

axiom - Variable in class test.wsmo4j.validator.ValidatorTestCase

B

BinaryImplTest - Class in test.wsmo4j.logicalexpression

Checks different methods of binary logical expressions

BinaryImplTest() - Constructor for class test.wsmo4j.logicalexpression.BinaryImplTest

BugTests - Class in test.wsmo4j.validator

This unit test class is meant to show up bugs in the validator that need to be fixed.

BugTests() - Constructor for class test.wsmo4j.validator.BugTests

C

CarlosValidatorTests - Class in test.wsmo4j.validator

This unit test class is meant to show up bugs in the validator that need to be fixed.

CarlosValidatorTests() - Constructor for class test.wsmo4j.validator.CarlosValidatorTests

ConceptTest - Class in test.wsmo4j.ontology

Title: WSMO4J

ConceptTest() - Constructor for class test.wsmo4j.ontology.ConceptTest

createAxiomDef(String) - Method in class test.wsmo4j.validator.ValidatorTestCase

Add a given logical expression as definition to the test axiom.

createIRI(String) - Method in class test.wsmo4j.Wsmo4jTestCase

createIRI(Namespace, String) - Method in class test.wsmo4j.Wsmo4jTestCase

D

dataFactory - Variable in class test.wsmo4j.validator.ValidatorTestCase

dataFactory - Variable in class test.wsmo4j.Wsmo4jTestCase

DataFactoryDateTimeTest - Class in test.wsmo4j.factory

DataFactoryDateTimeTest() - Constructor for class test.wsmo4j.factory.DataFactoryDateTimeTest

DataFactoryTest - Class in test.wsmo4j.factory

Interface or class description

DataFactoryTest() - Constructor for class test.wsmo4j.factory.DataFactoryTest

E

EqualityTest - Class in test.wsmo4j.logicalexpression

Checks Equality Method of terms and different logical expressions

EqualityTest() - Constructor for class test.wsmo4j.logicalexpression.EqualityTest

errors - Variable in class test.wsmo4j.validator.ValidatorTestCase

F

factory - Variable in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

factory - Variable in class test.wsmo4j.validator.ValidatorTestCase

factory - Variable in class test.wsmo4j.Wsmo4jTestCase

G

getOntHeader() - Method in class test.wsmo4j.validator.ValidatorTestCase

getOntLocalName() - Method in class test.wsmo4j.validator.ValidatorTestCase

getResource(String) - Static method in class test.wsmo4j.Utils

GetRootUtilTest - Class in test.wsmo4j.logicalexpression

Test class for testing the utility class to get the root variable from a WSML-DL formula.

GetRootUtilTest() - Constructor for class test.wsmo4j.logicalexpression.GetRootUtilTest

getStream(String) - Static method in class test.wsmo4j.Utils

I

IDReferenceTest - Class in test.wsmo4j.common

Title: WSMO4J

IDReferenceTest() - Constructor for class test.wsmo4j.common.IDReferenceTest

IRITest - Class in test.wsmo4j.common

IRITest() - Constructor for class test.wsmo4j.common.IRITest

L

le - Variable in class test.wsmo4j.validator.ValidatorTestCase

leFactory - Variable in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

leFactory - Variable in class test.wsmo4j.validator.ValidatorTestCase

leFactory - Variable in class test.wsmo4j.Wsmo4jTestCase

leSet - Variable in class test.wsmo4j.validator.ValidatorTestCase

LocatorImplTest - Class in test.wsmo4j.locator

Checks if local and remote files are correctly imported.

LocatorImplTest() - Constructor for class test.wsmo4j.locator.LocatorImplTest

LocatorTest - Class in test.wsmo4j.locator

LocatorTest() - Constructor for class test.wsmo4j.locator.LocatorTest

LocatorTest.BogusLocator - Class in test.wsmo4j.locator

LocatorTest.BogusLocator() - Constructor for class test.wsmo4j.locator.LocatorTest.BogusLocator

LogicalExpressionFactoryTest - Class in test.wsmo4j.logicalexpression

Interface or class description

LogicalExpressionFactoryTest() - Constructor for class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

LogicalExpressionTestCase - Class in test.wsmo4j.logicalexpression

Base Test Case for Logical Expression API provides serializer, parser, and default topEntity

LogicalExpressionTestCase() - Constructor for class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

lookup(Identifier) - Method in class test.wsmo4j.locator.LocatorTest.BogusLocator

lookup(Identifier, Class) - Method in class test.wsmo4j.locator.LocatorTest.BogusLocator

M

MediatorTest - Class in test.wsmo4j.mediator

Title: WSMO4J

MediatorTest() - Constructor for class test.wsmo4j.mediator.MediatorTest

N

NamespaceTest - Class in test.wsmo4j.common

Title: WSMO4J

NamespaceTest() - Constructor for class test.wsmo4j.common.NamespaceTest

NFPTest - Class in test.wsmo4j.common

Title: WSMO4J

NFPTest() - Constructor for class test.wsmo4j.common.NFPTest

ns - Variable in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

ns - Variable in class test.wsmo4j.validator.ValidatorTestCase

O

ontology - Variable in class test.wsmo4j.ontology.OntologyTest

ontology - Variable in class test.wsmo4j.validator.ValidatorTestCase

OntologyTest - Class in test.wsmo4j.ontology

Title: WSMO4J

OntologyTest() - Constructor for class test.wsmo4j.ontology.OntologyTest

OntologyUtilTest - Class in test.wsmo4j.logicalexpression

Test class for testing the collection of concepts, instances, relations and attributes via the OntologyUtil.

OntologyUtilTest() - Constructor for class test.wsmo4j.logicalexpression.OntologyUtilTest

open.wsmo4.parser.wsml - package open.wsmo4.parser.wsml

open.wsmo4j.parser.owl - package open.wsmo4j.parser.owl

OWLParserTest - Class in open.wsmo4j.parser.owl

Test method for OWL parsing

OWLParserTest() - Constructor for class open.wsmo4j.parser.owl.OWLParserTest

OWLParserTest - Class in test.wsmo4j.parser.owl

Test method for OWL parsing

OWLParserTest() - Constructor for class test.wsmo4j.parser.owl.OWLParserTest

P

parser - Variable in class open.wsmo4j.parser.owl.OWLParserTest

parser - Variable in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

parser - Variable in class test.wsmo4j.parser.owl.OWLParserTest

parser - Variable in class test.wsmo4j.parser.rdf.RDFParserTest

parser - Variable in class test.wsmo4j.parser.xml.XmlParserTest

parser - Variable in class test.wsmo4j.serializer.rdf.RDFSerializerTest

parser - Variable in class test.wsmo4j.validator.ValidatorTestCase

ParsingTest - Class in test.wsmo4j.logicalexpression.io

Testing the implementation of parse(String) that converts the string representation of a logical expression to a ObjectModel

ParsingTest() - Constructor for class test.wsmo4j.logicalexpression.io.ParsingTest

printError(List) - Method in class test.wsmo4j.validator.ValidatorTestCase

Give out the error messages.

printWarning(List) - Method in class test.wsmo4j.validator.ValidatorTestCase

Q

QuantifiedImplTest - Class in test.wsmo4j.logicalexpression

Checks different methods of quantified logical expressions

QuantifiedImplTest() - Constructor for class test.wsmo4j.logicalexpression.QuantifiedImplTest

R

rdfparser - Variable in class test.wsmo4j.serializer.rdf.RDFSerializerTest

RDFParserTest - Class in test.wsmo4j.parser.rdf

Test method for RDF parsing.

RDFParserTest() - Constructor for class test.wsmo4j.parser.rdf.RDFParserTest

RDFSerializerTest - Class in test.wsmo4j.serializer.rdf

Test method for RDF parsing.

RDFSerializerTest() - Constructor for class test.wsmo4j.serializer.rdf.RDFSerializerTest

RelationTest - Class in test.wsmo4j.ontology

Title: WSMO4J

RelationTest() - Constructor for class test.wsmo4j.ontology.RelationTest

removeAxiomDef() - Method in class test.wsmo4j.validator.ValidatorTestCase

Remove all definitions from the test axiom.

S

serialize(TopEntity) - Method in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

serialize(LogicalExpression, TopEntity) - Static method in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

serialize(LogicalExpression) - Method in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

serializer - Variable in class open.wsmo4j.parser.owl.OWLParserTest

serializer - Variable in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

serializer - Variable in class test.wsmo4j.parser.owl.OWLParserTest

serializer - Variable in class test.wsmo4j.parser.rdf.RDFParserTest

serializer - Variable in class test.wsmo4j.parser.xml.XmlParserTest

serializer - Variable in class test.wsmo4j.serializer.rdf.RDFSerializerTest

SerializingTest - Class in test.wsmo4j.logicalexpression.io

Testing serializer for correct presedence order and namespace handling

SerializingTest() - Constructor for class test.wsmo4j.logicalexpression.io.SerializingTest

setUp() - Method in class open.wsmo4j.parser.owl.OWLParserTest

setUp() - Method in class test.wsmo4j.common.NFPTest

setUp() - Method in class test.wsmo4j.common.TopEntityTest

setUp() - Method in class test.wsmo4j.locator.LocatorImplTest

setUp() - Method in class test.wsmo4j.locator.LocatorTest

setUp() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

setUp() - Method in class test.wsmo4j.ontology.ConceptTest

setUp() - Method in class test.wsmo4j.ontology.OntologyTest

setUp() - Method in class test.wsmo4j.ontology.RelationTest

setUp() - Method in class test.wsmo4j.parser.owl.OWLParserTest

setUp() - Method in class test.wsmo4j.parser.rdf.RDFParserTest

setUp() - Method in class test.wsmo4j.parser.xml.TestCase_XMLWSML

setUp() - Method in class test.wsmo4j.parser.xml.XmlParserTest

setUp() - Method in class test.wsmo4j.serializer.rdf.RDFSerializerTest

setUp() - Method in class test.wsmo4j.validator.ValidatorTestCase

setUp() - Method in class test.wsmo4j.Wsmo4jTestCase

SpecDerivation - Class in open.wsmo4.parser.wsml

Tests that are known to break with wsmo4j, but valid according to specification

SpecDerivation() - Constructor for class open.wsmo4.parser.wsml.SpecDerivation

suite() - Static method in class test.wsmo4j.Wsmo4jTests

T

tearDown() - Method in class open.wsmo4j.parser.owl.OWLParserTest

tearDown() - Method in class test.wsmo4j.common.TopEntityTest

tearDown() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

tearDown() - Method in class test.wsmo4j.parser.owl.OWLParserTest

tearDown() - Method in class test.wsmo4j.parser.rdf.RDFParserTest

tearDown() - Method in class test.wsmo4j.parser.xml.XmlParserTest

tearDown() - Method in class test.wsmo4j.serializer.rdf.RDFSerializerTest

tearDown() - Method in class test.wsmo4j.validator.ValidatorTestCase

test.wsmo4j - package test.wsmo4j

test.wsmo4j.common - package test.wsmo4j.common

test.wsmo4j.factory - package test.wsmo4j.factory

test.wsmo4j.locator - package test.wsmo4j.locator

test.wsmo4j.logicalexpression - package test.wsmo4j.logicalexpression

test.wsmo4j.logicalexpression.io - package test.wsmo4j.logicalexpression.io

test.wsmo4j.mediator - package test.wsmo4j.mediator

test.wsmo4j.ontology - package test.wsmo4j.ontology

test.wsmo4j.parser.owl - package test.wsmo4j.parser.owl

test.wsmo4j.parser.rdf - package test.wsmo4j.parser.rdf

test.wsmo4j.parser.wsml - package test.wsmo4j.parser.wsml

test.wsmo4j.parser.xml - package test.wsmo4j.parser.xml

test.wsmo4j.serializer.rdf - package test.wsmo4j.serializer.rdf

test.wsmo4j.serializer.wsml - package test.wsmo4j.serializer.wsml

test.wsmo4j.validator - package test.wsmo4j.validator

TEST_FILE - Variable in class test.wsmo4j.parser.xml.XmlParserTest

TEST_FILE_WSML - Variable in class test.wsmo4j.parser.xml.XmlParserTest

test_WsmlToXml() - Method in class test.wsmo4j.parser.xml.TestCase_XMLWSML

testAddImportedOntology() - Method in class test.wsmo4j.common.TopEntityTest

testAddMemberOf() - Method in class test.wsmo4j.validator.AnonIDRef

testAddRemoveNFPwithIRI() - Method in class test.wsmo4j.common.NFPTest

testAddSuperConcept() - Method in class test.wsmo4j.validator.AnonIDRef

testAddSuperRelation() - Method in class test.wsmo4j.validator.AnonIDRef

testAddValueAttribute() - Method in class test.wsmo4j.validator.AnonIDRef

testAddValueParameter() - Method in class test.wsmo4j.validator.AnonIDRef

testAndBrackets() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testAnonymous() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testAnonymousSubConcept() - Method in class test.wsmo4j.validator.AnonIDRef

Anonymous concept is a subconcept of non anonymous concept concept http://example/testProblemC1 concept _# subConceptOf http://example/testProblemC1 This WSML fragment is valid (if reparsed it would be the same)

testAnonymousSuperConcept() - Method in class test.wsmo4j.validator.AnonIDRef

Anonymous concept could not have sub concepts: concept _# concept http://example/testProblemC1 subConceptOf _# The link between the two concepts is lost after a parse/serialize

testAnonymousSuperRelation() - Method in class test.wsmo4j.validator.AnonIDRef

testAnonymousTopEntity() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testAtom() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testAttributeAddType() - Method in class test.wsmo4j.validator.AnonIDRef

testAttributeCard() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

checking the cardinality parsing

testAttributeFeatures() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

check attribute Features (transitive, reflexive, symmetric, inverseOf)

testAttributeFeatures() - Method in class test.wsmo4j.validator.ValidatorConceptualTests

This tests checks if attribute features are allowed on attributes with a datatype on their range.

testAttributeLocality() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

checking if attribute restrictions are local.

testAttributes() - Method in class test.wsmo4j.ontology.ConceptTest

Test the createAttribute / addType / removeAttribute + all attribute properties.

testAttributeValues() - Method in class test.wsmo4j.ontology.ConceptTest

Test addAttributeValue / removeAttributeValue / listAttributeValue.

testAxiomDefinition() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBinary() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testBoolean() - Method in class test.wsmo4j.factory.DataFactoryTest

testBug1238534() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBug1249600() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBug1252521() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBug1280781() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBug1293837NumericNFP() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

checking the cardinality parsing

testBug1315669() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBugAnonIDSerialize() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBugGabor() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBugGaborRelation() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testBuiltInAtom() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testBuiltInInWSMLDL() - Method in class test.wsmo4j.validator.BugTests

In the following logical expression, a built-in atom is used.

testBuiltInPredicate() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testBuiltInStrongEqual() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testCarlos() - Method in class test.wsmo4j.validator.CarlosValidatorTests

TestCase_XMLWSML - Class in test.wsmo4j.parser.xml

TestCase_XMLWSML() - Constructor for class test.wsmo4j.parser.xml.TestCase_XMLWSML

testClearEntities() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testCompleteGetAttributes() - Method in class test.wsmo4j.logicalexpression.OntologyUtilTest

testComplex() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testConceptAddAttribute() - Method in class test.wsmo4j.validator.AnonIDRef

testConceptInheritance() - Method in class test.wsmo4j.ontology.ConceptTest

Test the concept inheritance addSubConcept / addSuperConcept / removeSubConcept / removeSuperConcept / listSubConcepts.

testConstrainingDataType() - Method in class test.wsmo4j.validator.ValidatorConceptualTests

This test checks for the validity of constraining attributes.

testConstructedTerm() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testCoreGraph() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).

testCoreGraphWithCycle() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).

testCoreInvalidMoleculeMemberOf() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of a MembershipMolecule At memberOf, the identifier must be an instance and the arguments need to be Concepts.

testCoreInvalidMoleculeSubConceptOf() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of a SubConceptOfMolecule.

testCoreInvalidTransitiveAttribute() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an transitive InverseImplication.

testCoreUnconnectedGraph() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).

testCoreValidEquivalence() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an Equivalence

testCoreValidInvImplAttribute() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication.

testCoreValidSubAttribute() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an sub-attribute InverseImplication.

testCorrectWSMLVariant() - Method in class test.wsmo4j.parser.rdf.RDFParserTest

testCreateAnonymousID() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateAxiom() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateBinary() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

testCreateCapability() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateConcept() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateConstructedTerm() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

testCreateDateTimeCalendar() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateDateTimeFloat() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateDateTimeString() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateGGMediator() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateGoal() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateInstance() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateInterface() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateIRI() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateMemberShipMolecules() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

testCreateOntology() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateOOMediator() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateQuantified() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

testCreateRelation() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateRelationInstance() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateRelationInstance() - Method in class test.wsmo4j.validator.AnonIDRef

testCreateTimeCalendar() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateTimeFloat() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateTimeInt() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateTimeString() - Method in class test.wsmo4j.factory.DataFactoryDateTimeTest

testCreateUnary() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

testCreateVariable() - Method in class test.wsmo4j.logicalexpression.LogicalExpressionFactoryTest

testCreateWebService() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateWGMediator() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testCreateWWMediator() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testD16() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testD16Example() - Method in class test.wsmo4j.parser.xml.XmlParserTest

testDataTypePredicateInParsing() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testDataTypePredicateRewrite() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testDataTypes() - Method in class test.wsmo4j.factory.DataFactoryTest

testDataTypes() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testDataValueandType() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testDate() - Method in class test.wsmo4j.factory.DataFactoryTest

testDateTime() - Method in class test.wsmo4j.factory.DataFactoryTest

testDefaultNamespace() - Method in class test.wsmo4j.common.NamespaceTest

Test probes if the set of the default namespace works correctly

testDetermineCoreVariantOfLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testDetermineFlightVariantOfLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testDetermineRightVariant() - Method in class test.wsmo4j.validator.VariantsTest

Checks if the validator determines the right variant.

testDLGraph() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication.

testDLGraphWithCycle() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication (the variable graph of each description must be connected and acyclic).

testDLInvalidDisjunction() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks an invalid DL LogicalExpression.

testDLUnconnectedGraph() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication (the variable graph of each description must be connected and acyclic).

testDLValidExistentialQuantification() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an DL Quantification.

testDLValidImplication() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks an valid DL Implication.

testDLValidInverseImplication() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an transitive InverseImplication.

testDLValidInvImpl() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an InverseImplication.

testDLValidInvImplAttribute() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an InverseImplication.

testDLValidQuantifications() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an DL Quantification.

testDLValidTransitiveAttribute() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of an transitive InverseImplication.

testDLValidUniversalQuantification() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an DL Quantification.

testDot() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testDouble() - Method in class test.wsmo4j.factory.DataFactoryTest

testEmptySqName() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testEmptyStream() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

test for checking if an empty stream does parse and return empty array.

testEscapeSQNameChars() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testException() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testExceptions() - Method in class test.wsmo4j.factory.DataFactoryTest

testFileIdentityAfterSerializationParse() - Method in class test.wsmo4j.parser.xml.XmlParserTest

Try to parse/serialized multiple times a file

testFileParsing() - Method in class open.wsmo4j.parser.owl.OWLParserTest

testFileParsing() - Method in class test.wsmo4j.parser.owl.OWLParserTest

testFlightFunctionSymbol() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the safety of function symbols.

testFlightModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits a valid wsml-flight file to the validator and asserts that the validator recognizes the file as valid.

testFlightProposition() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks for the validity of a proposition.

testFlightSafetyCondition() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the flight safety condition.

testFlightSafetyOfBuiltInPredicate() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the safety of built-in predicates.

testFlightSafetyOfNegativeBodyLiteral() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the safety of an negative body literal.

testFloat() - Method in class test.wsmo4j.factory.DataFactoryTest

testFunctionSymbols() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testGetArgument() - Method in class test.wsmo4j.logicalexpression.BinaryImplTest

testGetArgument() - Method in class test.wsmo4j.logicalexpression.QuantifiedImplTest

testGetArgument() - Method in class test.wsmo4j.logicalexpression.UnaryImplTest

testGetConcepts() - Method in class test.wsmo4j.logicalexpression.OntologyUtilTest

testGetInstances() - Method in class test.wsmo4j.logicalexpression.OntologyUtilTest

testGetRelations() - Method in class test.wsmo4j.logicalexpression.OntologyUtilTest

testGetRoot() - Method in class test.wsmo4j.logicalexpression.GetRootUtilTest

testGYear() - Method in class test.wsmo4j.factory.DataFactoryTest

testIDReference() - Method in class test.wsmo4j.common.IDReferenceTest

testImportOntologies() - Method in class test.wsmo4j.locator.LocatorImplTest

This test parses a wsml file and tries to import 4 others.

testIncompleteAttribute() - Method in class test.wsmo4j.validator.ValidatorConceptualTests

Tests an attribute without a range.

testIncompleteGetAttributes() - Method in class test.wsmo4j.logicalexpression.OntologyUtilTest

testInstance() - Method in class test.wsmo4j.ontology.ConceptTest

Test the correctness of the 3 possible ways to create instance.

testInstanceAttributeValues() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testInvalidConceptModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits an invalid wsml-core file to the validator.

testInValidCoreLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testInvalidCoreModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits an invalid wsml-core file to the validator.

testInValidDLLogExpr1() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testInValidDLLogExpr2() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testInValidFlightLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testInvalidFlightModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits an invalid wsml-flight file to the validator.

testInvalidGoal() - Method in class test.wsmo4j.validator.ValidatorWSandGoalTests

This test submits an invalid wsml-flight goal to the validator and asserts that the validator recognizes the file as valid.

testInValidRuleLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testInvalidRuleModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits an invalid wsml-rule file to the validator.

testInvalidSQNameChars() - Method in class test.wsmo4j.serializer.wsml.WSMLSerializeTest

testInvalidWebService() - Method in class test.wsmo4j.validator.ValidatorWSandGoalTests

This test submits an invalid wsml-flight web service to the validator and asserts that the validator recognizes the file as valid.

testIRI() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testIRIException() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

check if relation instance without relation can be parsed.

testLatestImplicationBindsStrongest() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

checking latest element binds strongest behaviour

testLocationsOnt() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testLocator() - Method in class test.wsmo4j.locator.LocatorTest

testMediator() - Method in class test.wsmo4j.mediator.MediatorTest

testMediatorAnonymousSource() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testMediatorUsage() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testMetaModeling() - Method in class test.wsmo4j.common.IDReferenceTest

Tries to create multiple objects with the same IRI (see the test below as suite)

testMetaModeling() - Method in class test.wsmo4j.factory.WSMOFactoryTest

testMetaModeling() - Method in class test.wsmo4j.validator.VariantsTest

testMetaModelling() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testMetaModelling2() - Method in class test.wsmo4j.common.IDReferenceTest

testMolecule() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testMutableConcept() - Method in class test.wsmo4j.validator.AnonIDRef

testMutableEntityWithAnonId() - Method in class test.wsmo4j.validator.AnonIDRef

testNegativeDecimalWithLeadingZero() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testNestedQuantified() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testNewQuantifier() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

testNoRootVariableInWSMLDL() - Method in class test.wsmo4j.validator.BugTests

In the following logical expression, the left and the right side of the implication have no common root variable.

testNullPointerExceptionDuringTopEntityIdentifierCheck() - Method in class open.wsmo4.parser.wsml.SpecDerivation

testOntologyAndOntologyElement() - Method in class test.wsmo4j.ontology.OntologyTest

testOOMedator() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testParemeterAddType() - Method in class test.wsmo4j.validator.AnonIDRef

testParseBugJan() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testParserException() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

checking if ParseException returns correct line numbers

testParserTypedRelation() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

checks the parsing and handling of relation TODO clarify why it throw SynchronizationException respectively why proxy objects only allow getIdentifier

testParserUnTypedRelation() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testParseSerialize() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

serializer Bug reported by Stephan Grimm.

testParseSerializeComplex() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testParseSerializePresedenceImpliedByAnd() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testParseSerializeValues() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testParseUnTypedRelation() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

checks the parsing of relation

testPrefixAsFullIRI() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testPresendence() - Method in class test.wsmo4j.logicalexpression.io.ParsingTest

presedence is currently: -NEG,NAF (strongest) -AND -OR -IMPLIES | - impliedBy | equivalent | LP_IMPLICATION (the latest occurence binds stronger) -Constraint (lowest)

testPresendence() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testQuantified() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testRDFFileParsing() - Method in class test.wsmo4j.parser.rdf.RDFParserTest

testRDFserialization() - Method in class test.wsmo4j.serializer.rdf.RDFSerializerTest

testRDFSFileParsing() - Method in class test.wsmo4j.parser.rdf.RDFParserTest

testRDFSserialization() - Method in class test.wsmo4j.serializer.rdf.RDFSerializerTest

testRealtionWithArityOnly() - Method in class test.wsmo4j.ontology.RelationTest

testRelationDef() - Method in class test.wsmo4j.validator.ValidatorConceptualTests

Tests a relation with only some of the parameters defined.

testRelationInheritance() - Method in class test.wsmo4j.ontology.RelationTest

Test addSubRelation / addSuperRelation methods.

testRelationInstance() - Method in class test.wsmo4j.ontology.RelationTest

Test the handling of RelationInstance.

testRelationInstance() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

check if relation instance without relation can be parsed.

testRelationParameters() - Method in class test.wsmo4j.ontology.RelationTest

Test the handling of Parameters.

testRemoveImportedOntology() - Method in class test.wsmo4j.common.TopEntityTest

testReparseAnonID() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testRuleBodyNegation() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an rule logic programming rule.

testRuleBodyStrongEqual() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an rule logic programming rule.

testRuleHeadEqual() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an rule logic programming rule.

testRuleHeadNegation() - Method in class test.wsmo4j.validator.ValidatorLogExprTests

This test checks the validity of an rule logic programming rule.

testRuleModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits a valid wsml-rule file to the validator and asserts that the validator recognizes the file as valid.

testSameID() - Method in class test.wsmo4j.validator.ValidatorConceptualTests

This tests checks for ids, that are used for more than one single type.

testSameLESerialization() - Method in class test.wsmo4j.serializer.wsml.WSMLSerializeTest

testSaveDcTitle() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

test for checking if nfps are parsed and serialized correctly.

testSerializeKeyWord() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testSerializeNullPointer() - Method in class test.wsmo4j.logicalexpression.io.SerializingTest

testSimpleMolecule() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testStableIRI() - Method in class test.wsmo4j.serializer.wsml.WSMLSerializeTest

checks that parsed IRI is equal also namespaces do change

testTime() - Method in class test.wsmo4j.factory.DataFactoryTest

testUnary() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testUnConnectedGraphInWSMLDL() - Method in class test.wsmo4j.validator.BugTests

In the following logical expression, ?x and ?y are not connected.

testUseOfBooleanInWSMLDL() - Method in class test.wsmo4j.validator.BugTests

In the following logical expression, the universal truth is used.

testValidateImportedOntologies() - Method in class test.wsmo4j.validator.ValidateImportsTests

This test submits a valid wsml-rule file to the validator and asserts that the validator recognizes the file as valid.

testValidConceptModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits a valid wsml-core file to the validator and asserts that the validator recognizes the file as valid.

testValidCoreLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testValidCoreModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits a valid wsml-core file to the validator and asserts that the validator recognizes the file as valid.

testValidDLLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testValidDLModel() - Method in class test.wsmo4j.validator.ValidatorFileTests

This test submits a valid wsml-dl file to the validator and asserts that the validator recognizes the file as valid.

testValidFlightLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testValidGoal() - Method in class test.wsmo4j.validator.ValidatorWSandGoalTests

This test submits a valid wsml-flight goal to the validator and asserts that the validator recognizes the file as valid.

testValidIRI() - Method in class test.wsmo4j.common.IRITest

testValidRuleLogExpr() - Method in class test.wsmo4j.validator.ValidateLogicalExpressionTests

testValidWebService() - Method in class test.wsmo4j.validator.ValidatorWSandGoalTests

This test submits a valid wsml-rule web service to the validator and asserts that the validator recognizes the file as valid.

testValueSerialization() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testVariable() - Method in class test.wsmo4j.logicalexpression.EqualityTest

testWebServiceCapability() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testWrongVariant() - Method in class test.wsmo4j.validator.VariantsTest

Checks if the indicated variant is a valid variant.

testWsmlDataValues() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

testWSMOObjectRemoval() - Method in class test.wsmo4j.common.IDReferenceTest

The test is seuqnece of the test above and it's not guarantee to work on all JVM, because System.gc() may not performed!

testWWMedator() - Method in class test.wsmo4j.parser.wsml.WSMLParseTest

topEntity - Variable in class test.wsmo4j.logicalexpression.LogicalExpressionTestCase

TopEntityTest - Class in test.wsmo4j.common

TopEntityTest() - Constructor for class test.wsmo4j.common.TopEntityTest

U

UnaryImplTest - Class in test.wsmo4j.logicalexpression

Checks different methods of unary logical expressions

UnaryImplTest() - Constructor for class test.wsmo4j.logicalexpression.UnaryImplTest

util - Variable in class test.wsmo4j.logicalexpression.GetRootUtilTest

Utils - Class in test.wsmo4j

Utils() - Constructor for class test.wsmo4j.Utils

V

ValidateImportsTests - Class in test.wsmo4j.validator

Checks if imported WSML files are validated correctly.

ValidateImportsTests() - Constructor for class test.wsmo4j.validator.ValidateImportsTests

ValidateLogicalExpressionTests - Class in test.wsmo4j.validator

Checks if logical expressions are validated correctly.

ValidateLogicalExpressionTests() - Constructor for class test.wsmo4j.validator.ValidateLogicalExpressionTests

ValidatorConceptualTests - Class in test.wsmo4j.validator

Different error types are tested via constructed invalid ontology element definitions.

ValidatorConceptualTests() - Constructor for class test.wsmo4j.validator.ValidatorConceptualTests

ValidatorFileTests - Class in test.wsmo4j.validator

Checks if WSML files are valid and checks the error messages if not.

ValidatorFileTests() - Constructor for class test.wsmo4j.validator.ValidatorFileTests

ValidatorLogExprTests - Class in test.wsmo4j.validator

Different error types are tested via constructed invalid axiom definitions.

ValidatorLogExprTests() - Constructor for class test.wsmo4j.validator.ValidatorLogExprTests

ValidatorTestCase - Class in test.wsmo4j.validator

TestCase for the validator tests.

ValidatorTestCase() - Constructor for class test.wsmo4j.validator.ValidatorTestCase

ValidatorWSandGoalTests - Class in test.wsmo4j.validator

Checks if WSML Web Service and Goals are valid and checks the error messages if not.

ValidatorWSandGoalTests() - Constructor for class test.wsmo4j.validator.ValidatorWSandGoalTests

VariantsTest - Class in test.wsmo4j.validator

General validator tests

VariantsTest() - Constructor for class test.wsmo4j.validator.VariantsTest

W

warnings - Variable in class test.wsmo4j.validator.ValidatorTestCase

WSMLParseTest - Class in test.wsmo4j.parser.wsml

Interface or class description

WSMLParseTest() - Constructor for class test.wsmo4j.parser.wsml.WSMLParseTest

WSMLSerializeTest - Class in test.wsmo4j.serializer.wsml

Interface or class description

WSMLSerializeTest() - Constructor for class test.wsmo4j.serializer.wsml.WSMLSerializeTest

Wsmo4jTestCase - Class in test.wsmo4j

Title: WSMO4J

Wsmo4jTestCase() - Constructor for class test.wsmo4j.Wsmo4jTestCase

Wsmo4jTests - Class in test.wsmo4j

Wsmo4jTests() - Constructor for class test.wsmo4j.Wsmo4jTests

WSMOFactoryTest - Class in test.wsmo4j.factory

WSMOFactoryTest() - Constructor for class test.wsmo4j.factory.WSMOFactoryTest

X

XmlParserTest - Class in test.wsmo4j.parser.xml

All test methods for xml parsing/serialization

XmlParserTest() - Constructor for class test.wsmo4j.parser.xml.XmlParserTest

A B C D E F G I L M N O P Q R S T U V W X