Description of the supported tests


The following table lists the tests that are supported by Themis organized according to their goal. The table also include additional information such as examples.

Goal of the test Syntax of the test Example of test Example of competency question
The ontology contains the class [ClassA] type Class Device type Class What is a device?
There is a subsumption between two classes [ClassA] SubClassOf [ClassA] Sensor SubClassOf Device A device is a type of sensor
Multiple inheritance of a class. A class can have more than one parent [ClassA] SubClassOf [ClassA] and [ClassC] Amphibians SubClassOf WaterLivingAnimals and LandLivingAnimals Amphibians are water-living and land-living animals.
Disjointness between two classes. An element cannot be an individual of both classes [ClassA] disjointWith [ClassA] Sensor disjointWith Actuator A sensor cannot be an actuator
Equivalence between two classes [ClassA] equivalentTo [ClassA] PosionDartFrog equivalentTo PoisonArrowFrog Poison dart frogs are also known as poison-arrow frogs
The ontology contains the property [PropertyP] type Property hasName type Property There is a property hasName in the ontology
Property has a domain [PropertyP] domain [ClassA] containsFruit domain FruitBowl The property containsFruit can only be associated to FruitBowl
Property has a range [PropertyP] range [ClassB] containsFruit range Fruit The property containsFruit can only contain fruit
Relation between two classes [ClassA] SubClassOf [PropertyP] some [ClassA] Birds SubClassOf build some Nest Birds build nests
Universal restriction. All values of the property under consideration are members of the specified [ClassA] [ClassA] SubClassOf [PropertyP] only [ClassA] Herbivore SubClassOf eat only Plant Herbivore eat only plants
Union of two classes. The range of [ClassA] contains every individual which is contained in [ClassA] or [ClassC] [ClassA] SubClassOf [PropertyP] only [ClassA] or [ClassC] FruitBowl SubClassOf contains only SweetFruit or NonSweetFruit A fruit bowl must contain sweet fruit or non sweet fruit
Intersection between two classes. [ClassA] contains those individuals that are members of [ClassA] [ClassA] SubClassOf [PropertyP] some [ClassA] and [ClassC] Boy SubClassOf Child and Man A boy is a child and a man
Minimum cardinality. [ClassA] have at least N semantically distinct values (individuals or data values) for the property [ClassA] SubClassOf [PropertyP] min [num] [ClassA] Device SubClassOf hasManufacturer min 1 Manufacturer A device has minimum one manufacturer
Maximum cardinality. [ClassA] have at most N semantically distinct values (individuals or data values) for the property [ClassA] SubClassOf [PropertyP] max [num] [ClassA] Device SubClassOf hasManufacturer max 1 Brand A device has maximum one brand
Cardinality. [ClassA] have exactly N semantically distinct values (individuals or data values) for the property [ClassA] SubClassOf [PropertyP] exactly [num] [ClassA] Device SubClassOf hasIdentifier exactly 1 string A device has exactly one identifier
Symmteric relationship [PropertyA] characteristic symmetricProperty hasParntershipWith characteristic symmetricproperty There is a partnership between two organizations
The ontology contains the individual [IndividualI] type [ClassA] StriatedPardalote type Bird Striated pardalote is a type of bird
Subsumption and relation between classes [ClassA] SubClassOf [ClassA] that [PropertyP] some [ClassC] Price SubClassOf UnitOfMeasure that isCharacterizedBy some Currency The price is also characterized by a value using currency, which is a type of unit of measure
Minimum cardinalityy and relation between classes [ClassA] SubClassOf [PropertyP] min [num] [ClassA] and [ClassA] SubClassOf[PropertyP] some [ClassC] Device SubClassOf performs min 1 Function and Function SubClassOf accomplish some Task A device performs one or more functionalities and each function accomplish a particular task
Minimum cardinaly and universal restriction [ClassA] SubClassOf [PropertyP] min [num] [ClassA] and [ClassA] SubClassOf [PropertyP] only [ClassC] Device SubClassOf performs min 1 Function and Function SubClassOf accomplish only Task A device performs one or more functionalities and each function accomplish only tasks
Definition of a disjoint set of classes [ClassA] SubClassOf [ClassA] and [ClassC] SubClassOf [ClassA] that disjointWith [ClassA] Carnivora SubClassOf MarineMammals and Sirenia SubClassOf MarineMammals that disjointWith Carinvora Marine mammals are divided into two orders: Carnivora and Sirenia
Participation of several a concept in an event (existential restriction) [ClassA] SubClassOf  [participates]  some [ClassA]  Student SubClassOf participates some Conference A student can participate in conferences
Part-whole relationship (universal restriction) [ClassA] SubClassOf  [isPartof]  only [ClassA]  Student SubClassOf isPartof only Conference A leg can only be part of table
Part-whole relationship (existential restriction) [ClassA] SubClassOf  isPartof  some [ClassA]  Student SubClassOf isPartof some Conference A leg is part of table
Participation of several a concept in an event (universal restriction) [ClassA] SubClassOf  [participates]  only [ClassA]  Student SubClassOf participates only Conference A student participates only in conferences
Co-Participation of two concepts in an event [ClassA] and [ClassA] SubClassOf  [participates]  some [ClassC]  Student and Company SubClassOf participates some Talk A student an a company participates in a talk
Two individuals of two classes can be related by a property [ClassA] [PropertyP] [ClassB] Price isMeasuredIn Units Any price is measured in units