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 |