diff --git a/documentation/abstract.md b/documentation/abstract.md
deleted file mode 100644
index f978db2b009a6232fee3e7779235cf11d04ac97c..0000000000000000000000000000000000000000
--- a/documentation/abstract.md
+++ /dev/null
@@ -1,3 +0,0 @@
-The Smart Applications REFerence ontology (SAREF) is intended to enable interoperability between solutions from different providers and among various activity sectors in the Internet of Things (IoT), thus contributing to the development of the global digital market.
-
-SAREF shall use the SAREF Communication framework as defined in [[5]](#[5]) (ETSI TS 103 267: "SmartM2M; Smart Appliances; Communication Framework”).
\ No newline at end of file
diff --git a/documentation/acknowledgements.md b/documentation/acknowledgements.md
deleted file mode 100644
index 62970096a1e1fff8c009974474a82db2f08998a7..0000000000000000000000000000000000000000
--- a/documentation/acknowledgements.md
+++ /dev/null
@@ -1,5 +0,0 @@
-The editors would like to thank the ETSI SmartM2M technical committee for providing guidance and expertise.
-
-Also, many thanks to the ETSI staff and all other current and former active Participants of the ETSI SmartM2M group for their support, technical input and suggestions that led to improvements to this ontology.
-
-Also, special thanks goes to the ETSI SmartM2M Technical Officer Guillemin Patrick for his help.
diff --git a/documentation/creators.md b/documentation/creators.md
deleted file mode 100644
index c2a4a679b9a8421f230be40c499f8c265bceea14..0000000000000000000000000000000000000000
--- a/documentation/creators.md
+++ /dev/null
@@ -1,4 +0,0 @@
-- [Laura Daniele](https://www.linkedin.com/in/lauradaniele) ([TNO](https://tno.nl/))
-- [Raúl Garcia-Castro](http://www.garcia-castro.com/foaf.rdf#me) ([Universidad Politécnica de Madrid](http://www.oeg-upm.net/))
-- [Maxime Lefrançois](http://maxime-lefrancois.info/me#) ([MINES Saint-Étienne](https://www.mines-stetienne.fr/))
-- [Maria Poveda-Villalon](https://w3id.org/people/mpoveda/) ([Universidad Politécnica de Madrid](http://www.oeg-upm.net/))
diff --git a/documentation/description.html b/documentation/description.html
deleted file mode 100644
index 1377a39c8a43ce1f482f53f01dd4145667f736c2..0000000000000000000000000000000000000000
--- a/documentation/description.html
+++ /dev/null
@@ -1,135 +0,0 @@
-
General Overview
-
-
Figure 1 shows an overview of the main classes of SAREF and their relationships.
-
-
-
- Figure 1: Overview of the SAREF ontology
-
-
-
Device
-
-
SAREF focuses on the concept of device, which is defined as a tangible object designed to accomplish a particular task in households, common public buildings or offices. In order to accomplish this task, the device performs one or more functions. Examples of devices are a light switch, a temperature sensor, an energy meter and a washing machine. A washing machine is designed to wash (task) and to accomplish this task it performs a start and stop function. The saref:Device class and its properties are shown in Figure 2.
-
-
-
- Figure 3: Types of devices
-
-
-As shown in Figure 3, types of devices that can be represented are actuators (e.g. a saref:Switch that can be further specialized in saref:LightSwitch and saref:DoorSwitch), sensors (e.g. a saref:SmokeSensor and saref:TemperatureSensor), meters, and appliances. Note that more types of devices, sensors and actuators exist which can be defined to extend SAREF (the device types in Figure 4 represent only some examples that aim at explaining the rationale behind SAREF). A description of these types of devices is presented in the next clause, in combination with the function that they perform. Examples of devices for specific domains are defined in the SAREF extensions ([i.2] to [i.7]).
-
-
The saref:ActuatingFunction allows to transmit data to actuators, such as level settings (e.g. temperature) or binary switching (e.g. open/close, on/off) and can be divided into different types, such as for example:
The saref:SensingFunction allows to transmit data from sensors, such as measurement values (e.g. temperature) or sensing data (e.g. occupancy). This function allows the command saref:GetCommand.
The saref:EventFunction allows to notify another device that a certain threshold value has been exceeded. This function allows the command saref:NotifyCommand.
-
-
-
-
- Figure 4: Function class
-
-
-
-
In order to show how these functions shall be used, some examples of devices and their functions are defined as follows:
a door switch is a device that consists of a switch, is of type of saref:Actuator, performs the saref:OpenCloseFunction and is used for the purpose of controlling a building object such as a door;
A saref:Function shall have at least one command associated to it (saref:hasCommand min 1 saref:Command). Figure 5 shows the list of commands currently available in SAREF. This list is used here for illustration purposes and can be extended with new commands.
Figure 5 further shows that a command can act upon a state (saref:actsUpon relation) to represent that the consequence of a command can be a change of state of a device. Note that a command may act upon a state, but does not necessarily act upon a state. For example, the saref:OnCommand acts upon the saref:OnOffState, but the saref:GetCommand does not act upon any state, since it only gives a directive to retrieve a certain value.
Figure 7 shows that a device offers a service (the saref:Service class), which is a representation of a function to a network that makes this function discoverable, registerable and remotely controllable by other devices in the network. A service shall represent at least one function (saref:represents min 1 saref:Function) and is offered by at least one device that wants (a certain set of) its function(s) to be discoverable, registerable and remotely controllable by other devices in the network (saref:isOfferedBy min 1 saref:Device). Multiple devices can offer the same service. A service shall specify the device that is offering the service and the function(s) to be represented.
-
For example, a light switch can offer the service of remotely switching the lights in a home through mobile phone devices that are connected to the local network (saref:SwitchOnService class). This "remote switching" service represents the saref:OnOffFunction previously described.
-
Note that the concept of service is further elaborated in the oneM2M Base Ontology [4], to which the reader is referred in order to model the details of a service that are out of the scope of SAREF.
-
-
-
- Figure 7: Service class
-
-
-
-
Profile
-
-
A device in SAREF can be further characterized by a profile. Figure 8 shows the saref:Profile class and its properties. A profile is a specification associated to a device to collect information about a certain property or commodity (e.g. energy or water) for optimizing its usage in the home/building in which the device is located. Therefore, a profile is linked to a certain property or commodity (using the saref:isAbout property), can be calculated over a time span (using the saref:hasTime property) and can be associated to some costs (using the saref:hasPrice property). A specialization of a profile is the Power Profile defined in the SAREF4ENER extension in ETSI TS 103 410-1 [i.2] (this power profile can be associated to a device for optimizing the energy efficiency in the home/building in which the device is located).
-
-
-
- Figure 8: Profile class
-
-
-
-
Measurement, Property, and Unit of Measure
-
-
The classes saref:Measurement, saref:Property and saref:UnitOfMeasure allow to relate different measurements from a given device for different properties measured in different units, i.e. the saref:Measurement class describes a measurement of a physical quantity (using the saref:hasValue property) for a given saref:Property and according to a given saref:UnitOfMeasure. In this way, it is possible to differentiate between properties and the measurements made for such properties, and to store measurements for a concrete property in different units of measurement. Furthermore, a timestamp can be added (using the saref:hasTimestamp property) to identify when the measurement applies to the property, which can be used either for single measurements or for series of measurements (e.g. measurement streams). Figure 9 shows that a saref:Device can measure or control a saref:Property (which may be from a saref:FeatureOfInterest), which in turn relates to a saref:Measurement, which in turn is measured in a given saref:UnitOfMeasure. Note that it is possible to follow also the inverse direction in which a saref:Device makes a measurement in a certain unit of measure (using the saref:makesMeasurement property), and this measurement can be related to a saref:Property (using the saref:relatesToProperty property). A saref:FeatureOfInterest represents any real world entity from which a saref:Property is measured.
-
-
As an example, the saref:Power and saref:Energy classes can be related to a certain measurement value (using the saref:hasValue property), which is measured in a certain unit of measure i.e. Kilowatt for power (saref:PowerUnit) and Kilowatt_Hour for energy (saref:EnergyUnit). Analogously, the saref:Price class can be related to a certain measurement value that is measured using a certain saref:Currency, which is a subclass of the saref:UnitOfMeasure class. Further examples on how to define units of measure can be found in the different SAREF extensions ([i.2] to [i.7]).
-
-
The saref:Time class allows to specify the "time" concept in terms of temporal entities (i.e. instants or intervals) according to the existing W3C® Time ontology to avoid defining this concept from scratch.
[i.2] ETSI TS 103 410-1: "SmartM2M; Smart Appliances Extension to SAREF; Part 1: Energy Domain".
-
[i.3] ETSI TS 103 410-2: "SmartM2M; Smart Appliances Extension to SAREF; Part 2: Environment Domain".
-
[i.4] ETSI TS 103 410-3: "SmartM2M; Smart Appliances Extension to SAREF; Part 3: Building Domain".
-
[i.5] ETSI TS 103 410-4: "SmartM2M; Smart Appliances Extension to SAREF; Part 4: Smart Cities Domain".
-
[i.6] ETSI TS 103 410-5: "SmartM2M; Smart Appliances Extension to SAREF; Part 5: Industry and Manufacturing Domains".
-
[i.7] ETSI TS 103 410-6: "SmartM2M; Smart Appliances Extension to SAREF; Part 6: Smart Agriculture and Food Chain Domain".
-
diff --git a/requirements/requirements.csv b/requirements/requirements.csv
deleted file mode 100644
index 16132a1c3424b387c1d8f3e74c0169c9e4690385..0000000000000000000000000000000000000000
--- a/requirements/requirements.csv
+++ /dev/null
@@ -1,56 +0,0 @@
-Id;Category;Requirement
-WATR-1;Water infrastructure;Which assets compose a water distribution infrastructure? Catchment well, raw water pipe, reservoirs, etc.
-WATR-2;Water infrastructure;A catchment well is a well that has been constructed to collect water.
-WATR-3;Water infrastructure;A wastewater treatment plant is a facility where contaminants are removed from wastewater or sewage.
-WATR-4;Water infrastructure;Which types of sensors are used in water infrastructures? Water quality sensors, capacity sensors, tank level sensors, etc.
-WATR-5;Water infrastructure;Which types of actuators are used in water infrastructures? Pressure regulators, pumps, valves, etc.
-WATR-6;Water meter;A water meter is a device that measures different aspects of a water infrastructure.
-WATR-7;Water meter;What is the type of the water meter? It is a cold-water meter.
-WATR-8;Water meter;What is the fabrication number of the water meter? 4837QW.
-WATR-9;Water meter;What are the manufacturer and the model of the water meter? It is a Meterall, model Turion.
-WATR-10;Water meter;What is the version of the water meter? Version 1.2.
-WATR-11;Water meter;What is the hardware version number of the water meter? 23.5b.
-WATR-12;Water meter;What firmware version is the water meter using? The metrology (firmware) version is 123.7.
-WATR-13;Water meter;What has been the on time for the water meter? 15 days.
-WATR-14;Water meter;What is the operating time of the water meter? 5 hours.
-WATR-15;Water meter;What is the operating time of the water meter's battery? 4 months and 4 days.
-WATR-16;Water meter;When was the battery of the water meter previously changed? On February 23rd 2019, at 13:45.
-WATR-17;Water meter;What is the remaining battery time of the water meter? 27 months.
-WATR-18;Water meter;What is the power of the water meter? 24 volts.
-WATR-19;Water meter;What is the radio frequency level of the water meter? 2.4 GHz.
-WATR-20;Water meter;What is the geolocation of the water meter? Latitude 40.4165 and longitude -3.7025.
-WATR-21;Meter measurements;What is the volume being measured by water meter 243? 127 liters.
-WATR-22;Meter measurements;Which was the flow of water meter 44 on January 15th 2019 at 12:30? 32 liters per hour.
-WATR-23;Meter measurements;How many water meters are measuring an external temperature greater than 23ºC? 5 meters.
-WATR-24;Meter measurements;The maximum temperature limit of the water meter is of 49ºC.
-WATR-25;Meter measurements;Water meters can provide measurements according to different temporal settings: current values, periodical values, set date values, billing date values, minimum values, and maximum values.
-WATR-26;Meter measurements;Measurements can be related to a specific date and/or time, to some duration, or to a temporal interval.
-WATR-27;Infrastructure measurements;What is the current level of the reservoir? 200 liters.
-WATR-28;Infrastructure measurements;What are the inflow/outflow rates of the water reservoir? 500 liters.
-WATR-29;Infrastructure measurements;What is the current water flow in water pipe 212? 250 liters per second.
-WATR-30;Infrastructure measurements;What is the current water leak rate in water pipe 212? 0.4 liters per second.
-WATR-31;Infrastructure measurements;Which systems had the water pressure lower than 100 on August 15th? Pump 123 and pump 145.
-WATR-32;Infrastructure measurements;What is the maximum discharge flow of water pump 8? 500 liters per minute.
-WATR-33;Water measurements;What are the physical properties of water? Temperature, conductance, turbidity, etc.
-WATR-34;Water measurements;What are the chemical properties of water? pH, total hardness, concentration of different chemical components, etc.
-WATR-35;Indicators;Is the minimum pressure level maintained everywhere the water distribution infrastructure? Yes.
-WATR-36;Indicators;What is the capacity of wastewater treatment plants in Madrid? 12 Megaliters per day.
-WATR-37;Indicators;Which water indicators are defined for Burgos? Number of connected residential properties, annual maintenance costs, volume of potable water supplied.
-WATR-38;Tariff;What is the start date and time of the tariff in use in the water meter? 1st January 2019.
-WATR-39;Tariff;What is the duration of the current tariff of the water meter? 1 year.
-WATR-40;Tariff;What is the tariff period of the water meter? 1 month.
-WATR-41;Tariff;What is the maximum contracted consumption of the water meter? 1,200 liters.
-WATR-42;Tariff;What is the billing date of the water meter? 31st March 2019.
-WATR-43;Tariff;What is the billing date period of the water meter? 1 month.
-WATR-44;ICT4Water Cluster;There are four main types of water assets: source, sink, transport and storage ones.
-WATR-45;ICT4Water Cluster;Examples of source assets are: lakes, lagoons or glaciers.
-WATR-46;ICT4Water Cluster;Examples of sink assets are: rivers, seas, oceans or estuaries.
-WATR-47;ICT4Water Cluster;An aquifer is a type of storage asset.
-WATR-48;ICT4Water Cluster;An intake is a type of transport asset.
-WATR-49;ICT4Water Cluster;A hydroelectric power plant is a type of water infrastructure.
-WATR-50;ICT4Water Cluster;A gauging station is a type of water monitoring infrastructure.
-WATR-51;ICT4Water Cluster;A water infrastructure is intended for a particular use of water, for example: industry, agriculture, recreation or aquaculture.
-WATR-52;ICT4Water Cluster;Total dissolved solids is an acceptability property of water.
-WATR-53;ICT4Water Cluster;Dissolved oxygen is a chemical property of water.
-WATR-54;ICT4Water Cluster;Some environmental properties are relevant for water, such as external humidity, atmospheric pressure, amount of precipitation.
-WATR-55;ICT4Water Cluster;A device can monitor a water asset.
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_1_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_1_Checker.java
index 150207b38df0c19ed121fa2bcffdec10fbe71128..0645e4cbca4f704b8a27d719bc9c3d324e5baa8c 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_1_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_1_Checker.java
@@ -27,11 +27,8 @@ package fr.mines_stetienne.ci.saref.checkers;
import java.io.File;
import java.io.IOException;
-import java.nio.charset.StandardCharsets;
-import java.util.List;
import fr.mines_stetienne.ci.saref.SAREFPipelineException;
import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
-import org.apache.commons.io.FileUtils;
/**
* Checks TS 103 673 Clause 10.1: Reference ontology pattern documentation and specification.
@@ -60,16 +57,16 @@ public class Clause_10_1_Checker extends AbstractClauseChecker {
}
}
try {
- File file = new File(dir, "vocabulary.ttl");
+ File file = new File(dir, "pattern.ttl");
if (!file.exists()) {
logError(getMessage(Clause_10_1_Checker.MESSAGE.missing));
return;
}
- List lines = FileUtils.readLines(file, StandardCharsets.UTF_8);
+ /*List lines = FileUtils.readLines(file, StandardCharsets.UTF_8);
if (lines.isEmpty() || !lines.get(0).equals(FIRST_LINE)) {
- logError(getMessage(Clause_10_1_Checker.MESSAGE.line));
- }
- } catch (IOException ex) {
+ logError(getMessage(Clause_10_1_Checker.MESSAGE.line));//<<<
+ }*/
+ } catch (Exception ex) {
logError(getMessage(Clause_10_1_Checker.MESSAGE.ioexception), ex);
}
// These are optional files so do NOT verify the html text within the file!!!
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_2_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_2_Checker.java
index b253228ce097afcceaa757bfed3e3243ace7b668..2dc9026860ece85af5a50aec85d4df4a2e30f45b 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_2_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_10_2_Checker.java
@@ -38,7 +38,7 @@ import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
public class Clause_10_2_Checker extends AbstractClauseChecker {
private enum MESSAGE {
- ioexception, one
+ ioexception, missing, one
}
public Clause_10_2_Checker(RepositoryManager repositoryManager) {
@@ -52,7 +52,7 @@ public class Clause_10_2_Checker extends AbstractClauseChecker {
if (!dir.isDirectory()) {
if (dir.list().length < 1) {
log(getMessage(MESSAGE.one));
- //<<< logWarning(getMessage(Clause_10_2_Checker.MESSAGE.missing));
+ logWarning(getMessage(Clause_10_2_Checker.MESSAGE.missing));
}
try {
String[] lines = {}; // create empty file.
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_3_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_3_Checker.java
index 30d128aa6baef29e4dfef65bd01f0dee930c4c99..970ff564dcc1abf982ecb4df820ca87081273fd9 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_3_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_3_Checker.java
@@ -60,7 +60,7 @@ public class Clause_9_4_3_Checker extends AbstractClauseChecker {
}
onto++;
}
- if (onto != 1 || found == false) {
+ if (onto != 1 || found == false) { // But each extension has @prefix :, @prefix s4auto:, & @base all with the same URL.
String msg = getMessage(MESSAGE.ontology_declaration, repository.getNamespace());
logError(msg);
return;
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_4_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_4_Checker.java
index ddd10ab4e6ea3f954e306c877ebdbe068268c4dc..9da58dad5bfc6b1619466123b9ddf88f1bf9521f 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_4_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_4_4_Checker.java
@@ -41,7 +41,7 @@ public class Clause_9_4_4_Checker extends AbstractClauseChecker {
@Override
public void checkClause() throws SAREFPipelineException {
new Clause_9_4_4_1_Checker(repositoryManager).check();
- new Clause_9_4_4_2_Checker(repositoryManager).check();
+ //new Clause_9_4_4_2_Checker(repositoryManager).check(); this uses AbstractShaclChecker
}
}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_5_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_5_Checker.java
index d103e216a55cfe1c47814d8fe9c45860b35affc1..10dce3cd7b9a3c4104866cebc84e3c2d18ec16b3 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_5_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_5_Checker.java
@@ -77,8 +77,7 @@ public class Clause_9_5_Checker extends AbstractClauseChecker {
}
/**
- * @param errorLogger
- * @param config
+ * @param repositoryManager
*/
public Clause_9_5_Checker(RepositoryManager repositoryManager) {
super(repositoryManager, Clause_9_5_Checker.class);
@@ -131,7 +130,7 @@ public class Clause_9_5_Checker extends AbstractClauseChecker {
csvReader.forEach(row -> {
String id = row[0]; // WATR-TEST-17
Resource testResource = requirements.getResource(String.format("%stests#%s", version.getIRI(), id));
- String requirementId = row[1]; // WATR-9
+ /*<<< String requirementId = row[1];
Resource requirementResource = requirements
.getResource(String.format("%srequirements#", version.getIRI(), requirementId));
String category = row[2]; // Water meter
@@ -139,7 +138,7 @@ public class Clause_9_5_Checker extends AbstractClauseChecker {
requirements.add(testResource, RDF.type, VTC.TestCaseDesign);
requirements.add(testResource, VTC.testId, id);
requirements.add(testResource, VTC.comesFromRequirement, requirementResource);
- requirements.add(testResource, VTC.desiredBehaviour, test);
+ requirements.add(testResource, VTC.desiredBehaviour, test);*/
});
} catch (Exception e) {
logWarning(getMessage(MESSAGE.ioexception), e);
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_6_3_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_6_3_Checker.java
index 74df69fce4ef4b149d6d001edebb8ed64b87326a..928a27604c87febee4a32642892f4a08615c884f 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_6_3_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_6_3_Checker.java
@@ -61,8 +61,8 @@ public class Clause_9_6_3_Checker extends AbstractShaclChecker {
@Override
protected Model getModel() {
Model model = example.getModel();
- final String regex = "^" + example.getIRI().replace("v0.0.1", SAREF.REGEX_VERSION_NUMBER) + "$";
-
+ final String defaultVersion = "v0.0.1";
+ final String regex = "^" + example.getIRI().replace(defaultVersion, SAREF.REGEX_VERSION_NUMBER) + "$";
int onto = 0;
boolean found = false;
for (ResIterator it = model.listSubjectsWithProperty(RDF.type, DCTypes.Dataset); it.hasNext();) {
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_1_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_1_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..013437b00c412476e7f10ea96d8c5e409b4130f9
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_1_Checker.java
@@ -0,0 +1,82 @@
+/*
+ * Copyright 2020 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import java.io.File;
+import java.io.IOException;
+import java.nio.file.Files;
+import java.util.stream.Collectors;
+
+import fr.mines_stetienne.ci.saref.SAREF;
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+
+/**
+ * Checks TS 103 673 Clause 9.8.1.1: The vocabularies directory.
+ *
+ */
+public class Clause_9_8_1_1_Checker extends AbstractClauseChecker {
+
+ private enum MESSAGE {
+ directories, one, ttl, turtle, write_error
+ }
+
+ public Clause_9_8_1_1_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_1_Checker.class);
+ }
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+ try {
+ File dir = new File(repository.getDirectory(), "vocabularies");
+ /*String directories = Files.walk(dir.toPath()).filter(p -> {
+ try {
+ return p.toFile().isDirectory() && !Files.isSameFile(dir.toPath(), p);
+ } catch(IOException ex) {
+ return false;
+ }
+ }).map(p -> p.toString()).collect(Collectors.joining(", "));
+ if(directories.isEmpty()) {
+ logError(getMessage(MESSAGE.directories, directories));
+ }*/
+
+ String nonTtl = Files.walk(dir.toPath(), 1).filter(p -> {
+ try {
+ return p.toFile().isFile() && !SAREF.TTL_MATCHER.matches(p) && !p.toFile().getName().startsWith(".");
+ } catch (Exception ex) {
+ return false;
+ }
+ }).map(p -> p.getFileName().toString()).collect(Collectors.joining(", "));
+ if(nonTtl.length()>0) {
+ logError(getMessage(MESSAGE.ttl, nonTtl));
+ }
+
+ } catch (IOException ex) {
+ throw new SAREFPipelineException(ex);
+ }
+ }
+
+}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_2_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_2_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..d6561d5ed2b132480a50e73334ed63c1f52250af
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_2_Checker.java
@@ -0,0 +1,117 @@
+/*
+ * Copyright 2024 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import java.util.HashMap;
+import java.util.Map;
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
+
+import fr.mines_stetienne.ci.saref.SAREF;
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.entities.SAREFExtension;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+
+/**
+ * Checks TS 103 673 Clause 9.8.1.2: Prefixes declaration
+ *
+ */
+public class Clause_9_8_1_2_Checker extends AbstractClauseChecker {
+
+ private final static Pattern PATTERN_PREFIX = Pattern.compile(SAREF.REGEX_EXTENSION_PREFIX);
+
+ private static final Map PREFIXES = new HashMap();
+ static {
+ PREFIXES.put("dc","http://purl.org/dc/elements/1.1/");
+ PREFIXES.put("dcam","http://purl.org/dc/dcam/");
+ PREFIXES.put("dcterms","http://purl.org/dc/terms/");
+ PREFIXES.put("grddl","http://www.w3.org/2003/g/data-view#");
+ PREFIXES.put("owl","http://www.w3.org/2002/07/owl#");
+ PREFIXES.put("prov","http://www.w3.org/ns/prov#");
+ PREFIXES.put("rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#");
+ PREFIXES.put("rdfs","http://www.w3.org/2000/01/rdf-schema#");
+ PREFIXES.put("rlog","http://persistence.uni-leipzig.org/nlp2rdf/ontologies/rlog#");
+ PREFIXES.put("rut","http://rdfunit.aksw.org/ns/core#");
+ PREFIXES.put("sh","http://www.w3.org/ns/shacl#");
+ PREFIXES.put("shr","http://rdfunit.aksw.org/ns/shacl-ext#");
+ PREFIXES.put("shsh","http://www.w3.org/ns/shacl-shacl#");
+ PREFIXES.put("skos","http://www.w3.org/2004/02/skos/core#");
+ PREFIXES.put("spin","http://spinrdf.org/spin#");
+ PREFIXES.put("vann","http://purl.org/vocab/vann/");
+ PREFIXES.put("xml","http://www.w3.org/XML/1998/namespace");
+ PREFIXES.put("xsd","http://www.w3.org/2001/XMLSchema#");
+ /* PREFIXES.put("rdf", "http://www.w3.org/1999/02/22-rdf-syntax-ns#");
+ PREFIXES.put("rdfs", "http://www.w3.org/2000/01/rdf-schema#");
+ PREFIXES.put("owl", "http://www.w3.org/2002/07/owl#");
+ PREFIXES.put("xsd", "http://www.w3.org/2001/XMLSchema#");
+ PREFIXES.put("dcterms", "http://purl.org/dc/terms/");
+ PREFIXES.put("vann", "http://purl.org/vocab/vann/");
+ PREFIXES.put("voaf", "http://purl.org/vocommons/voaf#");
+ PREFIXES.put("schema", "http://schema.org/");
+ PREFIXES.put("geo", "http://www.opengis.net/ont/geosparql#");
+ PREFIXES.put("saref", "https://saref.etsi.org/core/"); */
+ }
+
+ private static enum MESSAGE {
+ different, expect;
+ }
+
+ public Clause_9_8_1_2_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_2_Checker.class);
+ }
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+ final Map prefixes = version.getModel().getNsPrefixMap();
+ for (String s : PREFIXES.keySet()) {
+ if (prefixes.containsKey(s)) {
+ if (!prefixes.get(s).equals(PREFIXES.get(s))) {
+ logError(getMessage(MESSAGE.different, s, PREFIXES.get(s), prefixes.get(s)));
+ }
+ }
+ }
+ boolean found = false;
+ for (String s : prefixes.keySet()) {
+ Matcher m = PATTERN_PREFIX.matcher(s);
+ if (m.matches()) {
+ String acronym = m.group(SAREF.REGEX_ACRONYM_VAR);
+ String expected = new SAREFExtension(acronym).getNamespace();
+ if(!prefixes.get(s).equals(expected)) {
+ logError(getMessage(MESSAGE.different, s, expected, prefixes.get(s)));
+ }
+ }
+ if (s.equals(repository.getPrefix())) {
+ found = true;
+ }
+ }
+ if (!found) {
+ String namespace = repository.getNamespace();
+ String prefix = repository.getPrefix();
+ logError(getMessage(MESSAGE.expect, namespace, prefix));
+ }
+ // how to check MESSAGE.BASE ?
+ }
+}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_3_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_3_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..4a3bb81001a0526baeab5ba72b2ac105db21332a
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_3_Checker.java
@@ -0,0 +1,82 @@
+/*
+ * Copyright 2024 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import org.apache.jena.rdf.model.Model;
+import org.apache.jena.rdf.model.ResIterator;
+import org.apache.jena.rdf.model.Resource;
+import org.apache.jena.vocabulary.OWL2;
+import org.apache.jena.vocabulary.RDF;
+
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+
+/**
+ * Checks TS 103 673 Clause 9.8.3: The ontology declaration
+ *
+ */
+public class Clause_9_8_1_3_Checker extends AbstractClauseChecker {
+
+ private enum MESSAGE {
+ ontology_declaration
+ }
+
+ public Clause_9_8_1_3_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_3_Checker.class);
+ }
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+ Model model = version.getModel();
+ int onto = 0;
+ boolean found = false;
+ for (ResIterator it = model.listSubjectsWithProperty(RDF.type, OWL2.Ontology); it.hasNext();) {
+ Resource r = it.next();
+ if(r.getURI().equals( repository.getNamespace() )) {
+ found = true;
+ }
+ onto++;
+ }
+ if (onto != 1 || !found) {
+ String msg = getMessage(MESSAGE.ontology_declaration, repository.getNamespace());
+ logError(msg);
+ }
+// config.add(version.getRepository().getProject().getResource(), EX.hasVersion, version.getVersionResource());
+// config.add(version.getVersionResource(), RDF.type, EX.OntologyVersion);
+// config.add(version.getVersionResource(), EX.repositoryName, version.getRepository().getProject().getName());
+// config.add(version.getVersionResource(), EX.versionInfo, version.getVersionName().toString());
+// SAREFVersionName priorVersionName = getPriorVersion(version);
+// if (priorVersionName != null) {
+// Resource priorVersionResource = ResourceFactory.createResource(version.getRepository().getVersionIRI(priorVersionName));
+// config.add(version.getVersionResource(), EX.priorVersion, priorVersionResource);
+// }
+
+ //new Clause_9_8_1_3_1_Checker(repositoryManager).check();
+ //new Clause_9_8_1_3_2_Checker(repositoryManager).check();
+ //new Clause_9_8_1_3_1_3_Checker(repositoryManager).check();
+ }
+
+}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_4_1_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_4_1_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..5830566c6263ce94a53ec1a2503405e4c39d0bb6
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_4_1_Checker.java
@@ -0,0 +1,111 @@
+/*
+ * Copyright 2024 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import java.util.HashSet;
+import java.util.Set;
+import java.util.regex.Pattern;
+import java.util.stream.Collectors;
+
+import org.apache.jena.rdf.model.Model;
+import org.apache.jena.rdf.model.Resource;
+import org.apache.jena.vocabulary.OWL2;
+import org.apache.jena.vocabulary.RDF;
+
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.entities.SAREFTerm;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+
+/**
+ * Checks TS 103 673 Clause 9.8.1.4.1: Term IRI
+ *
+ */
+public class Clause_9_8_1_4_1_Checker extends AbstractClauseChecker {
+
+ private static final Pattern PATTERN_LOCAL_NAME = Pattern.compile("^[a-zA-Z0-9][a-zA-Z0-9]+$");
+ private static final Pattern PATTERN_CAMEL_CASE = Pattern.compile("^[A-Z0-9][a-zA-Z0-9]+$");
+ private static final Pattern PATTERN_MIXED_CASE = Pattern.compile("^[a-z0-9][a-zA-Z0-9]+$");
+
+ private static enum MESSAGE {
+ pattern, classs, namedindividual, objectproperty, datatypeproperty
+ }
+
+ public Clause_9_8_1_4_1_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_4_1_Checker.class);
+ }
+
+ private final Set termsBadPattern = new HashSet<>();
+ private final Set classesBadCase = new HashSet<>();
+ private final Set namedIndividualsBadCase = new HashSet<>();
+ private final Set objectPropertiesBadCase = new HashSet<>();
+ private final Set datatypePropertiesBadCase = new HashSet<>();
+
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+
+ Model model = version.getModel();
+ for (SAREFTerm term : version.getDefinedTerms()) {
+ String localName = term.getLocalName();
+ Resource t = term.getResource();
+
+ if (!PATTERN_LOCAL_NAME.matcher(localName).matches()) {
+ termsBadPattern.add(t);
+ }
+ if (model.contains(t, RDF.type, OWL2.Class) && !PATTERN_CAMEL_CASE.matcher(localName).matches()) {
+ classesBadCase.add(t);
+ }
+ if (model.contains(t, RDF.type, OWL2.NamedIndividual) && !PATTERN_CAMEL_CASE.matcher(localName).matches()) {
+ namedIndividualsBadCase.add(t);
+ }
+ if (model.contains(t, RDF.type, OWL2.ObjectProperty) && !PATTERN_MIXED_CASE.matcher(localName).matches()) {
+ objectPropertiesBadCase.add(t);
+ }
+ if (model.contains(t, RDF.type, OWL2.DatatypeProperty)
+ && !PATTERN_MIXED_CASE.matcher(localName).matches()) {
+ datatypePropertiesBadCase.add(t);
+ }
+ }
+
+ if (!classesBadCase.isEmpty()) {
+ logError(getMessage(MESSAGE.classs,
+ classesBadCase.stream().map(Object::toString).collect(Collectors.joining(", "))));
+ }
+ if (!namedIndividualsBadCase.isEmpty()) {
+ logError(getMessage(MESSAGE.namedindividual,
+ namedIndividualsBadCase.stream().map(Object::toString).collect(Collectors.joining(", "))));
+ }
+ if (!objectPropertiesBadCase.isEmpty()) {
+ logError(getMessage(MESSAGE.objectproperty,
+ objectPropertiesBadCase.stream().map(Object::toString).collect(Collectors.joining(", "))));
+ }
+ if (!datatypePropertiesBadCase.isEmpty()) {
+ logError(getMessage(MESSAGE.datatypeproperty,
+ datatypePropertiesBadCase.stream().map(Object::toString).collect(Collectors.joining(", "))));
+ }
+ }
+
+}
\ No newline at end of file
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_4_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_4_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..cfc820ea53352ebfda633b3dbac258fafca0dd65
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_4_Checker.java
@@ -0,0 +1,46 @@
+/*
+ * Copyright 2024 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+
+/**
+ * Checks TS 103 673 Clause 9.8.1.4: Term declarations
+ *
+ */
+public class Clause_9_8_1_4_Checker extends AbstractClauseChecker {
+
+ public Clause_9_8_1_4_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_4_Checker.class);
+ }
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+ new Clause_9_8_1_4_1_Checker(repositoryManager).check();
+ }
+
+}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_5_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_5_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..fb205f19fefa3ee2b234d9dc3299d45b3984e8de
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_5_Checker.java
@@ -0,0 +1,233 @@
+/*
+ * Copyright 2024 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import java.io.ByteArrayOutputStream;
+import java.io.IOException;
+import java.net.SocketTimeoutException;
+import java.util.ArrayList;
+import java.util.Set;
+import java.util.stream.Collectors;
+
+import org.apache.jena.rdf.model.Model;
+import org.semanticweb.owl.explanation.api.Explanation;
+import org.semanticweb.owl.explanation.api.ExplanationGenerator;
+import org.semanticweb.owlapi.model.OWLAxiom;
+import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.profiles.OWL2DLProfile;
+import org.semanticweb.owlapi.profiles.OWLProfileReport;
+import org.semanticweb.owlapi.profiles.violations.UseOfDefinedDatatypeInDatatypeRestriction;
+import org.semanticweb.owlapi.profiles.violations.UseOfDefinedDatatypeInLiteral;
+import org.semanticweb.owlapi.profiles.violations.UseOfUndeclaredDatatype;
+import org.semanticweb.owlapi.profiles.violations.UseOfUnknownDatatype;
+import org.w3c.dom.Document;
+import org.w3c.dom.Element;
+import org.w3c.dom.NodeList;
+
+import fr.mines_stetienne.ci.saref.SAREF;
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.managers.OntologyManager;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+import fr.mines_stetienne.ci.saref.managers.ThemisManager;
+import okhttp3.MediaType;
+import okhttp3.OkHttpClient;
+import okhttp3.Request;
+import okhttp3.RequestBody;
+import okhttp3.Response;
+
+/**
+ * Checks TS 103 673 Clause 9.8.1.5: OWL Profile, Consistency, and Satisfiability of Classes
+ *
+ */
+public class Clause_9_8_1_5_Checker extends AbstractClauseChecker {
+
+ private static enum MESSAGE {
+ profile, consistent, satisfiable, oops, oopsError;
+ }
+
+ /**
+ */
+ public Clause_9_8_1_5_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_5_Checker.class);
+ }
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+ final OWLOntology ontology = pipeline.getOntologyManager().loadOntology(version, errorLogger);
+ if (ontology == null) {
+ return;
+ }
+
+ final OWLProfileReport report = new OWL2DLProfile().checkOntology(ontology);
+ report.getViolations().removeIf(v -> {
+ if (v instanceof UseOfDefinedDatatypeInDatatypeRestriction || v instanceof UseOfDefinedDatatypeInLiteral
+ || v instanceof UseOfUndeclaredDatatype || v instanceof UseOfUnknownDatatype) {
+ return true;
+ }
+ return false;
+ });
+ if (!report.getViolations().isEmpty()) {
+ String violations = report.getViolations().stream().map(Object::toString)
+ .collect(Collectors.joining("\n- ", "\n\n- ", "\n\n"));
+ logError(getMessage(MESSAGE.profile, violations));
+ }
+
+ OntologyManager ontologyManager = pipeline.getOntologyManager();
+
+ Set> incExplanation = ontologyManager.getInconsistenceExplanations(ontology, errorLogger);
+ if (incExplanation != null && !incExplanation.isEmpty()) {
+ String explanation = incExplanation.stream().map(e -> e.getAxioms().toString())
+ .collect(Collectors.joining("\n- ", "\n\n- ", "\n\n"));
+ logError(getMessage(MESSAGE.consistent, explanation));
+ } else {
+ ExplanationGenerator generator = ontologyManager.getExplanationGenerator(ontology);
+ ontology.classesInSignature().forEach(c -> {
+ if (c.isOWLNothing()) {
+ return;
+ }
+ Set> incExplanation2 = ontologyManager.getIncoherenceExplanations(generator, c);
+ if (!incExplanation2.isEmpty()) {
+ String explanation = incExplanation2.stream().map(e -> e.getAxioms().toString())
+ .collect(Collectors.joining("\n- ", "\n\n- ", "\n\n"));
+ logError(getMessage(MESSAGE.satisfiable, c, explanation));
+
+ }
+ });
+ }
+ try {
+ checkOops();
+ } catch (Exception ex) {
+ logWarning(getMessage(MESSAGE.oopsError), ex);
+ }
+ }
+
+ public void checkOops() throws Exception {
+ if (SAREF.IGNORE_OOPS) {
+ return;
+ }
+
+ ByteArrayOutputStream out = new ByteArrayOutputStream();
+ String onto = "";
+
+ Model model = version.getModel();
+ model.write(out, "RDF/XML"); // write in string and then replace
+ onto = out.toString().replaceAll("]]", "] ]");
+
+ String xmlRequest = "" + "" + ""
+ + "" + ""
+ + "RDF/XML" + "";
+
+ Object[] arrayData = new Object[0];
+
+ try {
+
+ OkHttpClient httpClient = new OkHttpClient().newBuilder().build();
+
+ MediaType mediaType = MediaType.parse("application/xml");
+
+ RequestBody body = RequestBody.create(xmlRequest, mediaType);
+
+ Request request = new Request.Builder().url("http://oops.linkeddata.es/rest").method("POST", body)
+ .addHeader("Content-Type", "application/xml").build();
+
+ try (Response response = httpClient.newCall(request).execute();) {
+
+ if (response.code() != 200) {
+ throw new SAREFPipelineException("response", "Unexpected response code " + response.code());
+ }
+
+ String result = response.body().string();
+
+ Document doc = ThemisManager.convertStringToXMLDocument(result);
+
+ NodeList nodeList = doc.getElementsByTagName("rdf:Description");
+
+ ArrayList oopsErrors = new ArrayList();
+ for (int temp = 0; temp < nodeList.getLength(); temp++) {
+ org.w3c.dom.Node node = nodeList.item(temp);
+ if (node.getNodeType() == org.w3c.dom.Node.ELEMENT_NODE) {
+ Element element = (Element) node;
+ if (((Element) node).getElementsByTagName("oops:hasCode").item(0) != null) {
+ if (((Element) node).getElementsByTagName("oops:hasName").item(0) != null) {
+ String code = element.getElementsByTagName("oops:hasCode").item(0).getTextContent();
+ String name = element.getElementsByTagName("oops:hasName").item(0).getTextContent();
+ String description = element.getElementsByTagName("oops:hasDescription").item(0)
+ .getTextContent();
+ String affected = "";
+ NodeList affectedElements = element.getElementsByTagName("oops:hasAffectedElement");
+ if (affectedElements != null) {
+ for (int k = 0; k < affectedElements.getLength(); k++) {
+ if (k == 0) {
+ affected += "\"" + affectedElements.item(k).getTextContent() + "\"";
+ } else {
+ affected += " ; \"" + affectedElements.item(k).getTextContent() + "\"";
+ }
+ }
+ }
+
+ String oopsError = String.format(
+ "Code: %s, Name: %s, Description: %s, Affected Elements: %s", code, name,
+ description, affected);
+ oopsErrors.add(oopsError);
+ } else {
+ String code = element.getElementsByTagName("oops:hasCode").item(0).getTextContent();
+ String description = element.getElementsByTagName("oops:hasDescription").item(0)
+ .getTextContent();
+ String affected = "";
+ NodeList affectedElements = element.getElementsByTagName("oops:hasAffectedElement");
+ if (affectedElements != null) {
+ for (int k = 0; k < affectedElements.getLength(); k++) {
+ if (k == 0) {
+ affected += "\"" + affectedElements.item(k).getTextContent() + "\"";
+ } else {
+ affected += " ; \"" + affectedElements.item(k).getTextContent() + "\"";
+ }
+ }
+ }
+
+ String oopsError = String.format("Code: %s, Description: %s, Affected Elements: %s",
+ code, description, affected);
+ oopsErrors.add(oopsError);
+ }
+ }
+
+ }
+ }
+ if (!oopsErrors.isEmpty()) {
+ String data = oopsErrors.stream().map(e -> e.toString())
+ .collect(Collectors.joining("\n- ", "\n\n- ", "\n\n"));
+ logWarning(getMessage(MESSAGE.oops, data));
+
+ }
+ } catch (SocketTimeoutException e) {
+ logWarning(getMessage(MESSAGE.oopsError), e);
+ }
+ } catch (IOException | SAREFPipelineException e) {
+ logWarning(getMessage(MESSAGE.oopsError), e);
+ }
+ }
+
+}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_Checker.java
new file mode 100644
index 0000000000000000000000000000000000000000..f38dabfb163d3a4c73859c3d02642fca2c432bba
--- /dev/null
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_1_Checker.java
@@ -0,0 +1,98 @@
+/*
+ * Copyright 2024 ETSI
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its contributors
+ * may be used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+package fr.mines_stetienne.ci.saref.checkers;
+
+import java.io.File;
+import java.io.FileFilter;
+import java.io.IOException;
+import java.nio.file.Files;
+
+import fr.mines_stetienne.ci.saref.SAREFPipelineException;
+import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
+import fr.mines_stetienne.ci.saref.utils.Languages;
+
+/**
+ * Checks TS 103 673 Clause 9.8.1: Vocabularies ontology directory. Need at least one file.
+ *
+ */
+public class Clause_9_8_1_Checker extends AbstractClauseChecker {
+
+ private static enum MESSAGE {
+ error, missing, ioexception, line, one, name, turtle;
+ }
+
+ public Clause_9_8_1_Checker(RepositoryManager repositoryManager) {
+ super(repositoryManager, Clause_9_8_1_Checker.class);
+ }
+
+ @Override
+ public void checkClause() throws SAREFPipelineException {
+ File dir = new File(repository.getDirectory(), "vocabularies");
+ if (!dir.isDirectory()) {
+ return;
+ }
+ File[] fileList = null;
+
+ try {
+ if (Files.walk(dir.toPath(), 1).filter(p -> !p.toFile().isFile() && !p.toFile().getName().startsWith("."))
+ .count() != 1) {
+ logError(getMessage(Clause_9_8_1_Checker.MESSAGE.one, repository.getProject().getOntologyFileName(Languages.TEXT_TURTLE)));
+ }
+ // Collect the available vocabulary files.
+ FileFilter filter = new FileFilter() {
+ public boolean accept(File f)
+ {
+ return f.getName().endsWith("ttl");
+ }
+ };
+ fileList = dir.listFiles(filter);
+ } catch (IOException e) {
+ logError(getMessage(Clause_9_8_1_Checker.MESSAGE.ioexception), e);
+ }
+
+ /*File file = new File(dir, repository.getProject().getOntologyFileName(Languages.TEXT_TURTLE));
+ if (!file.isFile()) {
+ String msg = getMessage(MESSAGE.name, repository.getOntologyFileName(Languages.TEXT_TURTLE));
+ logError(msg);
+ throw new SAREFPipelineException(msg);
+ }*/
+ for (File child : fileList) {
+ System.out.println("!!! "+child.getName()+" !!!");//<<<
+ }
+ //<<< Check if saref core imports each vocabulary file. Iterate over each element in fileList and call checks().
+ try {
+ new Clause_9_8_1_1_Checker(repositoryManager).check();
+ new Clause_9_8_1_2_Checker(repositoryManager).check();
+ new Clause_9_8_1_3_Checker(repositoryManager).check();
+ new Clause_9_8_1_4_Checker(repositoryManager).check();
+ new Clause_9_8_1_5_Checker(repositoryManager).check();
+ } catch (SAREFPipelineException ex) {
+ logError(getMessage(Clause_9_8_1_Checker.MESSAGE.error), ex);
+ }
+
+ }
+
+}
diff --git a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_Checker.java b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_Checker.java
index fef92e3e7f019157ae8bd2adfde2c692af32205a..173b9acb843779384b48fd5659139304acfd1678 100644
--- a/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_Checker.java
+++ b/src/main/java/fr/mines_stetienne/ci/saref/checkers/Clause_9_8_Checker.java
@@ -26,10 +26,6 @@
package fr.mines_stetienne.ci.saref.checkers;
import java.io.File;
-import java.io.IOException;
-import java.nio.charset.StandardCharsets;
-import java.util.List;
-import org.apache.commons.io.FileUtils;
import fr.mines_stetienne.ci.saref.SAREFPipelineException;
import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
@@ -39,40 +35,23 @@ import fr.mines_stetienne.ci.saref.managers.RepositoryManager;
*/
public class Clause_9_8_Checker extends AbstractClauseChecker {
- private static final String FIRST_LINE = "Id;Vocabulary;Requirement"; //<<<
-
private enum MESSAGE {
- missing, ioexception, line
+ error
}
public Clause_9_8_Checker(RepositoryManager repositoryManager) {
super(repositoryManager, Clause_9_8_Checker.class);
}
- @Override
public void checkClause() throws SAREFPipelineException {
File dir = new File(repository.getDirectory(), "vocabularies");
if (!dir.isDirectory()) {
- //return;
- try {
- String[] lines = {FIRST_LINE};
- CreateFileInDirectoryWithContents("vocabularies", "vocabulary.ttl", lines);
- } catch (IOException ex) {
- logError(getMessage(Clause_9_8_Checker.MESSAGE.ioexception));
- }
+ return;
}
try {
- File file = new File(dir, "vocabulary.ttl");
- if (!file.exists()) {
- logError(getMessage(MESSAGE.missing));
- return;
- }
- List lines = FileUtils.readLines(file, StandardCharsets.UTF_8);
- if (lines.isEmpty() || !lines.get(0).equals(FIRST_LINE)) {
- logError(getMessage(MESSAGE.line));
- }
- } catch (IOException ex) {
- logError(getMessage(MESSAGE.ioexception), ex);
+ new Clause_9_8_1_Checker(repositoryManager).check();
+ } catch (SAREFPipelineException ex) {
+ logError(getMessage(Clause_9_8_Checker.MESSAGE.error), ex);
}
}
diff --git a/src/main/resources/messages/Clause_10_1_Checker.properties b/src/main/resources/messages/Clause_10_1_Checker.properties
index 71211dd1b5eaf868e5946171c0a5c236abe52d53..1189f2469e1ce87f25ad9c0b138f84caea26fff0 100644
--- a/src/main/resources/messages/Clause_10_1_Checker.properties
+++ b/src/main/resources/messages/Clause_10_1_Checker.properties
@@ -1,2 +1,4 @@
-ioexception=Error while checking the `documentation` directory
+line=The requirements specification files in the patterns directory shall be in Turtle 1.1 format.
+ioexception=Error while checking the `patterns` directory.
+missing=The `patterns` directory should contain at least one file. This file shall conform to the pattern specification as defined in clause 10.3 in TS 103 673.
diff --git a/src/main/resources/messages/Clause_10_2_Checker.properties b/src/main/resources/messages/Clause_10_2_Checker.properties
index 5d4e63a40d99e1f606a8fe82376bdc3754f87e54..7e9e17452ebead9c0f302da6c999b3cd26714379 100644
--- a/src/main/resources/messages/Clause_10_2_Checker.properties
+++ b/src/main/resources/messages/Clause_10_2_Checker.properties
@@ -1,3 +1,3 @@
-one=The `documentation/diagrams` directory of the SAREF project version should contain at least one diagram file (such as aa *.drawio or *.png file) to illustrate how the ontology components are related to each other.
-ioexception=Error while checking the `documentation` directory
-
+one=The `patterns` directory of the SAREF project version should contain at least one reference ontology pattern file in ttl format (e.g., pattern.ttl) to illustrate how the ontology components conform to the suite of SAREF patterns.
+ioexception=Error while checking the `patterns` directory.
+missing=The `patterns` directory should contain at least one file. This file shall conform to the pattern specification as defined in clause 10.3 in TS 103 673.
diff --git a/src/main/resources/messages/Clause_9_4_4_Checker.properties b/src/main/resources/messages/Clause_9_4_4_Checker.properties
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..fb41069958106d4430cc13fd4640fec203601498 100644
--- a/src/main/resources/messages/Clause_9_4_4_Checker.properties
+++ b/src/main/resources/messages/Clause_9_4_4_Checker.properties
@@ -0,0 +1 @@
+error=An unknown error was encountered in Clause 9_4_4.
diff --git a/src/main/resources/messages/Clause_9_8_1_1_Checker.properties b/src/main/resources/messages/Clause_9_8_1_1_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..ba7748f412a70cbef571336b23b0c1a8f9df8437
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_1_Checker.properties
@@ -0,0 +1,5 @@
+one=The `vocabularies` directory of the SAREF project version should contain at least one file called the **vocabulary documents** of the SAREF project version.
+ttl=Every vocabulary document shall have the extension `.ttl`. The following documents violate this clause: %s
+directories=There should not be directories in the `vocabularies` directory. Their content will be ignored. Got: %s
+turtle=The vocabulary document shall contain the sources of an ontology in the Turtle 1.1 format.
+write_error=Error while writing the vocabulary in the dataset.
diff --git a/src/main/resources/messages/Clause_9_8_1_2_Checker.properties b/src/main/resources/messages/Clause_9_8_1_2_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..5bfb68d50e608ceb632e7e9dc4230629f94dfbc9
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_2_Checker.properties
@@ -0,0 +1,3 @@
+different=If a prefix declaration has prefix `%s`, then the namespace shall be equal to `<%s>`. Got: `<%s>`. See Clause 9.6.2 in TS 103 673.
+expect=The ontology document shall contain namespace %s with corresponding prefix %s.
+
diff --git a/src/main/resources/messages/Clause_9_8_1_3_Checker.properties b/src/main/resources/messages/Clause_9_8_1_3_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..97f00315983bde089b9384c5697d10f264892058
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_3_Checker.properties
@@ -0,0 +1 @@
+ontology_declaration=The ontology document shall contain exactly one ontology declaration. The URI of the declared ontology shall be the %s.
\ No newline at end of file
diff --git a/src/main/resources/messages/Clause_9_8_1_4_1_Checker.properties b/src/main/resources/messages/Clause_9_8_1_4_1_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..b4556020c513d6f2999204699e88712deb8000f6
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_4_1_Checker.properties
@@ -0,0 +1,5 @@
+pattern=The _localName_ of these terms shall contain only letters and digits: %s
+classs=The _localName_ of these classes should be in camel case : /^[A-Z][a-zA-Z0-9]+$/: %s
+namedindividual=The _localName_ of these individuals should be in camel case : /^[A-Z][a-zA-Z0-9]+$/: %s
+objectproperty=The _localName_ of these object properties should be in mixed case : /^[a-z][a-zA-Z0-9]+$/: %s
+datatypeproperty=The _localName_ of these datatype properties should be in mixed case : /^[a-z][a-zA-Z0-9]+$/: %s
diff --git a/src/main/resources/messages/Clause_9_8_1_4_Checker.properties b/src/main/resources/messages/Clause_9_8_1_4_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..7d7c44780e32ba2630ccc19def7518dfca77ccfa
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_4_Checker.properties
@@ -0,0 +1 @@
+error=An unknown error was encountered in Clause 9_8_1_4.
diff --git a/src/main/resources/messages/Clause_9_8_1_5_Checker.properties b/src/main/resources/messages/Clause_9_8_1_5_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..8136a948581d4bef0ac528b60c9383729a8c6ee3
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_5_Checker.properties
@@ -0,0 +1,5 @@
+profile=The ontology in the ontology document shall satisfy the OWL2 DL profile. Violations are: %s
+consistent=The ontology in the ontology document shall be Consistent. Violations are: %s
+satisfiable=OWL Class %s declared in the ontology document should be satisfiable. Violations are: %s
+oops=OOPS found some problems. Violations are: %s
+oopsError=OOPS error. The service may be under maintenance.
\ No newline at end of file
diff --git a/src/main/resources/messages/Clause_9_8_1_Checker.properties b/src/main/resources/messages/Clause_9_8_1_Checker.properties
new file mode 100644
index 0000000000000000000000000000000000000000..878a81cc24e7cc5eb6a90c040f3a2ed53d82e2db
--- /dev/null
+++ b/src/main/resources/messages/Clause_9_8_1_Checker.properties
@@ -0,0 +1,8 @@
+error=There is an error in the `patterns` directory regarding Clause 9_8_1.
+missing=The `patterns` directory should contain at least one file. This file shall conform to the pattern specification as defined in clause 10.3 in TS 103 673.
+ioexception=Error while checking the `patterns` directory.
+line=The requirements specification files in the patterns directory shall be in Turtle 1.1 format.
+one=The `patterns` directory of the SAREF project version shall contain a single file called the *ontology document* of the SAREF project version, and named `%s`
+name=The patterns document shall be named `%s`.
+turtle=The patterns document shall contain the sources of an ontology in the Turtle 1.1 format. See detailed error below.
+
diff --git a/src/main/resources/messages/Clause_9_8_Checker.properties b/src/main/resources/messages/Clause_9_8_Checker.properties
index 153abffb6c39336edf7cf6eb960c652088b5d167..707b849d5ac85c45d5c423630eb41e1fbdbc9a4f 100644
--- a/src/main/resources/messages/Clause_9_8_Checker.properties
+++ b/src/main/resources/messages/Clause_9_8_Checker.properties
@@ -1,3 +1,2 @@
-missing=The `vocabularies` directory should contain a file `vocabulary.ttl`. This file shall conform to the vocabulary specification as defined in clause 9.8 in TS 103 673.
-line=The vocabularies specification file shall be a Turtle-formatted file encoded in UTF-8.
-ioexception=Error while checking the `vocabularies` directory.
+error=Error while checking the `vocabularies` directory.
+
diff --git a/tests/tests.csv b/tests/tests.csv
index adc42032642dd4cceb341a40edce1eb7d1c0b630..aceb4ef003522ab3f2b55a9a3577bec41f2803f4 100644
--- a/tests/tests.csv
+++ b/tests/tests.csv
@@ -1,172 +1,3 @@
Id;Requirement;Category;Test
AUTO-TEST-1;AUTO-1;Automobile objects;WaterInfrastructure hasSubSystem WaterAsset
-AUTO-TEST-2;AUTO-2;Automobile objects;Reservoir subClassOf WaterAsset
-
-Classes ::
-AUTO-TEST-2;AUTO-2;Automobile objects;AutomotiveState
-
-AUTO-TEST-2;AUTO-2;Automobile objects;AbsolutePosition
-AUTO-TEST-2;AUTO-2;Automobile objects;AbsoluteSpeed
-AUTO-TEST-2;AUTO-2;Automobile objects;Acceleration
-AUTO-TEST-2;AUTO-2;Automobile objects;AccelerationConfidence
-AUTO-TEST-2;AUTO-2;Automobile objects;Address
-AUTO-TEST-2;AUTO-2;Automobile objects;AngularDirection
-AUTO-TEST-2;AUTO-2;Automobile objects;Assembling
-AUTO-TEST-2;AUTO-2;Automobile objects;AtDropOffSpot
-AUTO-TEST-2;AUTO-2;Automobile objects;AtPickUpSpot
-AUTO-TEST-2;AUTO-2;Automobile objects;AutomationLevel
-AUTO-TEST-2;AUTO-2;Automobile objects;AutomotiveObject
-AUTO-TEST-2;AUTO-2;Automobile objects;BrakeCapacity
-AUTO-TEST-2;AUTO-2;Automobile objects;Bus
-AUTO-TEST-2;AUTO-2;Automobile objects;Car
-AUTO-TEST-2;AUTO-2;Automobile objects;CardinalityUnit
-AUTO-TEST-2;AUTO-2;Automobile objects;Charging
-AUTO-TEST-2;AUTO-2;Automobile objects;Closed
-AUTO-TEST-2;AUTO-2;Automobile objects;Confidence
-AUTO-TEST-2;AUTO-2;Automobile objects;CriticalObject
-AUTO-TEST-2;AUTO-2;Automobile objects;Disengaging
-AUTO-TEST-2;AUTO-2;Automobile parking;DrivingToParkingSpot
-AUTO-TEST-2;AUTO-2;Automobile parking;DrivingToPickUpSpot
-AUTO-TEST-2;AUTO-2;Automobile parking;ElectricChargingParkingSpot
-AUTO-TEST-2;AUTO-2;Automobile objects;ElectronicControlUnit
-AUTO-TEST-2;AUTO-2;Automobile objects;EndPoint
-AUTO-TEST-2;AUTO-2;Automobile objects;Engaging
-AUTO-TEST-2;AUTO-2;Automobile objects;Forming
-AUTO-TEST-2;AUTO-2;Automobile objects;Free
-AUTO-TEST-2;AUTO-2;Automobile objects;Heading
-AUTO-TEST-2;AUTO-2;Automobile objects;HeavyTruck
-AUTO-TEST-2;AUTO-2;Automobile objects;Height
-AUTO-TEST-2;AUTO-2;Automobile objects;HeightUnit
-AUTO-TEST-2;AUTO-2;Automobile objects;Identifier
-AUTO-TEST-2;AUTO-2;Automobile objects;LargeObject
-AUTO-TEST-2;AUTO-2;Automobile objects;LateralAcceleration
-AUTO-TEST-2;AUTO-2;Automobile objects;Length
-AUTO-TEST-2;AUTO-2;Automobile objects;LengthUnit
-AUTO-TEST-2;AUTO-2;Automobile objects;LightTruck
-AUTO-TEST-2;AUTO-2;Automobile objects;LongitudinalAcceleration
-AUTO-TEST-2;AUTO-2;Automobile objects;MediumObject
-AUTO-TEST-2;AUTO-2;Automobile objects;Movement
-AUTO-TEST-2;AUTO-2;Automobile objects;NotifiedEvent
-AUTO-TEST-2;AUTO-2;Automobile objects;Occupied
-AUTO-TEST-2;AUTO-2;Automobile objects;P1Pedestrian
-AUTO-TEST-2;AUTO-2;Automobile objects;P2Bicyclist
-AUTO-TEST-2;AUTO-2;Automobile objects;P3Motorcyclist
-AUTO-TEST-2;AUTO-2;Automobile objects;P4Animal
-AUTO-TEST-2;AUTO-2;Automobile parking;Parked
-AUTO-TEST-2;AUTO-2;Automobile parking;Parking
-AUTO-TEST-2;AUTO-2;Automobile parking;ParkingSpot
-AUTO-TEST-2;AUTO-2;Automobile parking;ParkingSpotPoint
-AUTO-TEST-2;AUTO-2;Automobile objects;PassengerCar
-AUTO-TEST-2;AUTO-2;Automobile objects;PersonalDevice
-AUTO-TEST-2;AUTO-2;Automobile platooning;Platoon
-AUTO-TEST-2;AUTO-2;Automobile platooning;PlatoonAutomationLevel
-AUTO-TEST-2;AUTO-2;Automobile platooning;PlatoonPosition
-AUTO-TEST-2;AUTO-2;Automobile platooning;PlatoonRole
-AUTO-TEST-2;AUTO-2;Automobile platooning;PlatoonState
-AUTO-TEST-2;AUTO-2;Automobile platooning;PlatoonVehicleState
-AUTO-TEST-2;AUTO-2;Automobile parking;ParkingSpotState
-AUTO-TEST-2;AUTO-2;Automobile parking;ParkingVehicleState
-AUTO-TEST-2;AUTO-2;Automobile parking;PerceptionState
-AUTO-TEST-2;AUTO-2;Automobile platooning;Platooning
-AUTO-TEST-2;AUTO-2;Automobile objects;Point
-AUTO-TEST-2;AUTO-2;Automobile objects;Position
-AUTO-TEST-2;AUTO-2;Automobile objects;PositionConfidenceEllipse
-AUTO-TEST-2;AUTO-2;Automobile objects;PublicTransport
-AUTO-TEST-2;AUTO-2;Automobile objects;RegularParkingSpot
-AUTO-TEST-2;AUTO-2;Automobile objects;RelativePosition
-AUTO-TEST-2;AUTO-2;Automobile objects;RelativeSpeed
-AUTO-TEST-2;AUTO-2;Automobile objects;RendezvousLocation
-AUTO-TEST-2;AUTO-2;Automobile objects;Reserved
-AUTO-TEST-2;AUTO-2;Automobile objects;RoadEntity
-AUTO-TEST-2;AUTO-2;Automobile objects;RoadObject
-AUTO-TEST-2;AUTO-2;Automobile objects;RoadSideActuator
-AUTO-TEST-2;AUTO-2;Automobile objects;RoadSideEquipment
-AUTO-TEST-2;AUTO-2;Automobile objects;RoadSideSensor
-AUTO-TEST-2;AUTO-2;Automobile objects;RoadTopologyPosition
-AUTO-TEST-2;AUTO-2;Automobile objects;Role
-AUTO-TEST-2;AUTO-2;Automobile objects;Route
-AUTO-TEST-2;AUTO-2;Automobile objects;RoutePoint
-AUTO-TEST-2;AUTO-2;Automobile objects;Searching
-AUTO-TEST-2;AUTO-2;Automobile objects;Shape
-AUTO-TEST-2;AUTO-2;Automobile objects;Size
-AUTO-TEST-2;AUTO-2;Automobile objects;SmallObject
-AUTO-TEST-2;AUTO-2;Automobile objects;SpecialPermitParkingSpot
-AUTO-TEST-2;AUTO-2;Automobile objects;Speed
-AUTO-TEST-2;AUTO-2;Automobile objects;SpeedConfidence
-AUTO-TEST-2;AUTO-2;Automobile objects;SpeedUnit
-AUTO-TEST-2;AUTO-2;Automobile objects;Standalone
-AUTO-TEST-2;AUTO-2;Automobile objects;StartPoint
-AUTO-TEST-2;AUTO-2;Automobile objects;StationID
-AUTO-TEST-2;AUTO-2;Automobile objects;TrafficLightController
-AUTO-TEST-2;AUTO-2;Automobile objects;TrafficManagementCentre
-AUTO-TEST-2;AUTO-2;Automobile objects;Tram
-AUTO-TEST-2;AUTO-2;Automobile objects;Truck
-AUTO-TEST-2;AUTO-2;Automobile objects;TwoWheeler
-AUTO-TEST-2;AUTO-2;Automobile objects;UUID
-AUTO-TEST-2;AUTO-2;Automobile objects;Unknown
-AUTO-TEST-2;AUTO-2;Automobile objects;Vehicle
-AUTO-TEST-2;AUTO-2;Automobile objects;VehicleAutomationLevel
-AUTO-TEST-2;AUTO-2;Automobile objects;VehicleEnvironment
-AUTO-TEST-2;AUTO-2;Automobile objects;VehicleRole
-AUTO-TEST-2;AUTO-2;Automobile objects;VulnerableRoadUser
-AUTO-TEST-2;AUTO-2;Automobile objects;Weight
-AUTO-TEST-2;AUTO-2;Automobile objects;Width
-AUTO-TEST-2;AUTO-2;Automobile objects;WidthUnit
-AUTO-TEST-2;AUTO-2;Automobile objects;YawRate
-
-ObjectProperty ::
-:hasConfidenceUnitOfMeasure
-:consistsOfEntity
-:consistsOfEquipment
-:consistsOfEvent
-:consistsOfObject
-:consistsOfUser
-:consistsOfVehicle
-:detectsPosition
-:hasAbsolutePosition
-:hasAutomationLevel
-:hasBrakeCapacity
-:hasConfidence
-:hasDestination
-:hasDestinationAddress
-:hasDestinationEndPoint
-:hasEnvironment
-:hasEstimatedRendezvousLocation
-:hasHeight
-:hasIdentifier
-:hasLength
-:hasMember
-:hasMovement
-:hasOpeningTimeAvailability
-:hasOrigin
-:hasPlatoonMember
-:hasPlatoonPosition
-:hasPlatoonRole
-:hasPosition
-:hasRelativePosition
-:hasRoadTopologyPosition
-:hasRole
-:hasRoute
-:hasShape
-:hasSize
-:hasVehicleEnvironmentMember
-:hasVehicleRole
-:hasWidth
-:isCollectionOf
-:isConfidenceOf
-:isMemberOf
-:isMemberOfPlatoon
-:isMemberOfVehicleEnvironment
-:usesMeasurement
-
-DatatypeProperty ::
-:hasConfidenceValue
-:hasCoordinateX
-:hasCoordinateY
-:hasCoordinateZ
-:hasDescriptionName
-:hasEstimatedJoiningTime
-:hasIDValue
-:hasMaxSize
-:hasPlatoonIndex
- 
- 
- 
- 
- 
- 
- 
- 
-