diff --git a/experimental/ulo/coq-predicates.txt b/experimental/ulo/coq-predicates.txt
index 5adcf1bb1dc90c03df6dfa4386a4c1aa3bae3c2a..6c06a528ef11a2e3b098470c98d5f36c5fda34f4 100644
--- a/experimental/ulo/coq-predicates.txt
+++ b/experimental/ulo/coq-predicates.txt
@@ -76,3 +76,102 @@
1160140 - https://mathhub.info/ulo#uses
0 - https://mathhub.info/ulo#uses-implementation
0 - https://mathhub.info/ulo#uses-interface
+
+0 - http://purl.org/dc/terms/abstract
+0 - http://purl.org/dc/terms/accessRights
+0 - http://purl.org/dc/terms/accrualMethod
+0 - http://purl.org/dc/terms/accrualPeriodicity
+0 - http://purl.org/dc/terms/accrualPolicy
+0 - http://purl.org/dc/terms/Agent
+0 - http://purl.org/dc/terms/AgentClass
+0 - http://purl.org/dc/terms/alternative
+0 - http://purl.org/dc/terms/audience
+0 - http://purl.org/dc/terms/available
+0 - http://purl.org/dc/terms/bibliographicCitation
+0 - http://purl.org/dc/terms/BibliographicResource
+0 - http://purl.org/dc/terms/Box
+0 - http://purl.org/dc/terms/conformsTo
+1 - http://purl.org/dc/terms/contributor
+0 - http://purl.org/dc/terms/coverage
+0 - http://purl.org/dc/terms/created
+0 - http://purl.org/dc/terms/creator
+0 - http://purl.org/dc/terms/date
+0 - http://purl.org/dc/terms/dateAccepted
+0 - http://purl.org/dc/terms/dateCopyrighted
+0 - http://purl.org/dc/terms/dateSubmitted
+0 - http://purl.org/dc/terms/DCMIType
+0 - http://purl.org/dc/terms/DDC
+0 - http://purl.org/dc/terms/description
+0 - http://purl.org/dc/terms/educationLevel
+0 - http://purl.org/dc/terms/extent
+0 - http://purl.org/dc/terms/FileFormat
+0 - http://purl.org/dc/terms/format
+0 - http://purl.org/dc/terms/Frequency
+0 - http://purl.org/dc/terms/hasFormat
+0 - http://purl.org/dc/terms/hasPart
+0 - http://purl.org/dc/terms/hasVersion
+0 - http://purl.org/dc/terms/identifier
+0 - http://purl.org/dc/terms/IMT
+0 - http://purl.org/dc/terms/instructionalMethod
+0 - http://purl.org/dc/terms/isFormatOf
+0 - http://purl.org/dc/terms/ISO3166
+0 - http://purl.org/dc/terms/ISO639-2
+0 - http://purl.org/dc/terms/ISO639-3
+0 - http://purl.org/dc/terms/isPartOf
+0 - http://purl.org/dc/terms/isReferencedBy
+0 - http://purl.org/dc/terms/isReplacedBy
+0 - http://purl.org/dc/terms/isRequiredBy
+0 - http://purl.org/dc/terms/issued
+0 - http://purl.org/dc/terms/isVersionOf
+0 - http://purl.org/dc/terms/Jurisdiction
+0 - http://purl.org/dc/terms/language
+0 - http://purl.org/dc/terms/LCC
+0 - http://purl.org/dc/terms/LCSH
+1 - http://purl.org/dc/terms/license
+0 - http://purl.org/dc/terms/LicenseDocument
+0 - http://purl.org/dc/terms/LinguisticSystem
+0 - http://purl.org/dc/terms/Location
+0 - http://purl.org/dc/terms/LocationPeriodOrJurisdiction
+0 - http://purl.org/dc/terms/mediator
+0 - http://purl.org/dc/terms/MediaType
+0 - http://purl.org/dc/terms/MediaTypeOrExtent
+0 - http://purl.org/dc/terms/medium
+0 - http://purl.org/dc/terms/MESH
+0 - http://purl.org/dc/terms/MethodOfAccrual
+0 - http://purl.org/dc/terms/MethodOfInstruction
+0 - http://purl.org/dc/terms/modified
+0 - http://purl.org/dc/terms/NLM
+0 - http://purl.org/dc/terms/Period
+0 - http://purl.org/dc/terms/PeriodOfTime
+0 - http://purl.org/dc/terms/PhysicalMedium
+0 - http://purl.org/dc/terms/PhysicalResource
+0 - http://purl.org/dc/terms/Point
+0 - http://purl.org/dc/terms/Policy
+0 - http://purl.org/dc/terms/provenance
+0 - http://purl.org/dc/terms/ProvenanceStatement
+0 - http://purl.org/dc/terms/publisher
+0 - http://purl.org/dc/terms/references
+0 - http://purl.org/dc/terms/relation
+0 - http://purl.org/dc/terms/replaces
+4 - http://purl.org/dc/terms/requires
+0 - http://purl.org/dc/terms/RFC1766
+0 - http://purl.org/dc/terms/RFC3066
+0 - http://purl.org/dc/terms/RFC4646
+0 - http://purl.org/dc/terms/RFC5646
+0 - http://purl.org/dc/terms/rights
+0 - http://purl.org/dc/terms/rightsHolder
+0 - http://purl.org/dc/terms/RightsStatement
+0 - http://purl.org/dc/terms/SizeOrDuration
+1 - http://purl.org/dc/terms/source
+0 - http://purl.org/dc/terms/spatial
+0 - http://purl.org/dc/terms/Standard
+0 - http://purl.org/dc/terms/subject
+0 - http://purl.org/dc/terms/tableOfContents
+0 - http://purl.org/dc/terms/temporal
+0 - http://purl.org/dc/terms/TGN
+0 - http://purl.org/dc/terms/title
+0 - http://purl.org/dc/terms/type
+0 - http://purl.org/dc/terms/UDC
+0 - http://purl.org/dc/terms/URI
+0 - http://purl.org/dc/terms/valid
+0 - http://purl.org/dc/terms/W3CDTF
diff --git a/experimental/ulo/isabelle-predicates.txt b/experimental/ulo/isabelle-predicates.txt
index a2bde628a48d56845899997e97906ceb29184ff7..da9e09d819999a2e98f8d1ec7431a7f78f8575f8 100644
--- a/experimental/ulo/isabelle-predicates.txt
+++ b/experimental/ulo/isabelle-predicates.txt
@@ -76,3 +76,102 @@
209417517 - https://mathhub.info/ulo#uses
0 - https://mathhub.info/ulo#uses-implementation
0 - https://mathhub.info/ulo#uses-interface
+
+0 - http://purl.org/dc/terms/abstract
+0 - http://purl.org/dc/terms/accessRights
+0 - http://purl.org/dc/terms/accrualMethod
+0 - http://purl.org/dc/terms/accrualPeriodicity
+0 - http://purl.org/dc/terms/accrualPolicy
+0 - http://purl.org/dc/terms/Agent
+0 - http://purl.org/dc/terms/AgentClass
+0 - http://purl.org/dc/terms/alternative
+0 - http://purl.org/dc/terms/audience
+0 - http://purl.org/dc/terms/available
+0 - http://purl.org/dc/terms/bibliographicCitation
+0 - http://purl.org/dc/terms/BibliographicResource
+0 - http://purl.org/dc/terms/Box
+0 - http://purl.org/dc/terms/conformsTo
+106 - http://purl.org/dc/terms/contributor
+0 - http://purl.org/dc/terms/coverage
+0 - http://purl.org/dc/terms/created
+4 - http://purl.org/dc/terms/creator
+0 - http://purl.org/dc/terms/date
+0 - http://purl.org/dc/terms/dateAccepted
+0 - http://purl.org/dc/terms/dateCopyrighted
+0 - http://purl.org/dc/terms/dateSubmitted
+0 - http://purl.org/dc/terms/DCMIType
+0 - http://purl.org/dc/terms/DDC
+0 - http://purl.org/dc/terms/description
+0 - http://purl.org/dc/terms/educationLevel
+0 - http://purl.org/dc/terms/extent
+0 - http://purl.org/dc/terms/FileFormat
+0 - http://purl.org/dc/terms/format
+0 - http://purl.org/dc/terms/Frequency
+0 - http://purl.org/dc/terms/hasFormat
+0 - http://purl.org/dc/terms/hasPart
+0 - http://purl.org/dc/terms/hasVersion
+0 - http://purl.org/dc/terms/identifier
+0 - http://purl.org/dc/terms/IMT
+0 - http://purl.org/dc/terms/instructionalMethod
+0 - http://purl.org/dc/terms/isFormatOf
+0 - http://purl.org/dc/terms/ISO3166
+0 - http://purl.org/dc/terms/ISO639-2
+0 - http://purl.org/dc/terms/ISO639-3
+0 - http://purl.org/dc/terms/isPartOf
+0 - http://purl.org/dc/terms/isReferencedBy
+0 - http://purl.org/dc/terms/isReplacedBy
+0 - http://purl.org/dc/terms/isRequiredBy
+0 - http://purl.org/dc/terms/issued
+0 - http://purl.org/dc/terms/isVersionOf
+0 - http://purl.org/dc/terms/Jurisdiction
+0 - http://purl.org/dc/terms/language
+0 - http://purl.org/dc/terms/LCC
+0 - http://purl.org/dc/terms/LCSH
+1742 - http://purl.org/dc/terms/license
+0 - http://purl.org/dc/terms/LicenseDocument
+0 - http://purl.org/dc/terms/LinguisticSystem
+0 - http://purl.org/dc/terms/Location
+0 - http://purl.org/dc/terms/LocationPeriodOrJurisdiction
+0 - http://purl.org/dc/terms/mediator
+0 - http://purl.org/dc/terms/MediaType
+0 - http://purl.org/dc/terms/MediaTypeOrExtent
+0 - http://purl.org/dc/terms/medium
+0 - http://purl.org/dc/terms/MESH
+0 - http://purl.org/dc/terms/MethodOfAccrual
+0 - http://purl.org/dc/terms/MethodOfInstruction
+0 - http://purl.org/dc/terms/modified
+0 - http://purl.org/dc/terms/NLM
+0 - http://purl.org/dc/terms/Period
+0 - http://purl.org/dc/terms/PeriodOfTime
+0 - http://purl.org/dc/terms/PhysicalMedium
+0 - http://purl.org/dc/terms/PhysicalResource
+0 - http://purl.org/dc/terms/Point
+0 - http://purl.org/dc/terms/Policy
+0 - http://purl.org/dc/terms/provenance
+0 - http://purl.org/dc/terms/ProvenanceStatement
+0 - http://purl.org/dc/terms/publisher
+0 - http://purl.org/dc/terms/references
+0 - http://purl.org/dc/terms/relation
+0 - http://purl.org/dc/terms/replaces
+4 - http://purl.org/dc/terms/requires
+0 - http://purl.org/dc/terms/RFC1766
+0 - http://purl.org/dc/terms/RFC3066
+0 - http://purl.org/dc/terms/RFC4646
+0 - http://purl.org/dc/terms/RFC5646
+0 - http://purl.org/dc/terms/rights
+0 - http://purl.org/dc/terms/rightsHolder
+0 - http://purl.org/dc/terms/RightsStatement
+0 - http://purl.org/dc/terms/SizeOrDuration
+1 - http://purl.org/dc/terms/source
+0 - http://purl.org/dc/terms/spatial
+0 - http://purl.org/dc/terms/Standard
+0 - http://purl.org/dc/terms/subject
+0 - http://purl.org/dc/terms/tableOfContents
+0 - http://purl.org/dc/terms/temporal
+0 - http://purl.org/dc/terms/TGN
+0 - http://purl.org/dc/terms/title
+0 - http://purl.org/dc/terms/type
+0 - http://purl.org/dc/terms/UDC
+0 - http://purl.org/dc/terms/URI
+0 - http://purl.org/dc/terms/valid
+0 - http://purl.org/dc/terms/W3CDTF
diff --git a/src/ulo-storage-endpoint/src/main/java/info/mathhub/uloapi/cli/Main.java b/src/ulo-storage-endpoint/src/main/java/info/mathhub/uloapi/cli/Main.java
index 716ed9bf1ae0e38b21ca2ad3a09b94b5473a9bc5..b17b825d88c224c3851634ec133ae1f0d1f8554d 100644
--- a/src/ulo-storage-endpoint/src/main/java/info/mathhub/uloapi/cli/Main.java
+++ b/src/ulo-storage-endpoint/src/main/java/info/mathhub/uloapi/cli/Main.java
@@ -1,5 +1,6 @@
package info.mathhub.uloapi.cli;
+import info.mathhub.uloapi.ontology.DCTerms;
import info.mathhub.uloapi.query.GraphDB;
import info.mathhub.uloapi.ontology.ULO;
import org.eclipse.rdf4j.model.IRI;
@@ -12,7 +13,7 @@ import java.util.List;
public class Main {
public static void main(String[] args) {
- final List<IRI> predicates = Arrays.asList(
+ final List<IRI> uloPredicates = Arrays.asList(
ULO.action_times, ULO.aligned_with, ULO.alternative_for, ULO.antonym,
ULO.automatically_proved, ULO.axiom, ULO.check_time, ULO.constructs,
ULO.contains, ULO.counter_example_for, ULO.crossrefs, ULO.declaration,
@@ -36,7 +37,44 @@ public class Main {
ULO.uses_interface
);
- for (final IRI predicate : predicates) {
+ final List<IRI> dctermsPredicates = Arrays.asList(
+ DCTerms._abstract, DCTerms.access_rights, DCTerms.accrual_method,
+ DCTerms.accrual_periodicity, DCTerms.accrual_policy, DCTerms.agent,
+ DCTerms.agent_class, DCTerms.alternative, DCTerms.audience,
+ DCTerms.available, DCTerms.bibliographic_citation,
+ DCTerms.bibliographic_resource, DCTerms.box, DCTerms.conforms_to,
+ DCTerms.contributor, DCTerms.coverage, DCTerms.created,
+ DCTerms.creator, DCTerms.date, DCTerms.date_accepted,
+ DCTerms.date_copyrighted, DCTerms.date_submitted,
+ DCTerms.d_c_m_i_type, DCTerms.d_d_c, DCTerms.description,
+ DCTerms.education_level, DCTerms.extent, DCTerms.file_format,
+ DCTerms.format, DCTerms.frequency, DCTerms.has_format,
+ DCTerms.has_part, DCTerms.has_version, DCTerms.identifier,
+ DCTerms.i_m_t, DCTerms.instructional_method, DCTerms.is_format_of,
+ DCTerms.i_s_o3166, DCTerms.i_s_o639_2, DCTerms.i_s_o639_3,
+ DCTerms.is_part_of, DCTerms.is_referenced_by, DCTerms.is_replaced_by,
+ DCTerms.is_required_by, DCTerms.issued, DCTerms.is_version_of,
+ DCTerms.jurisdiction, DCTerms.language, DCTerms.l_c_c,
+ DCTerms.l_c_s_h, DCTerms.license, DCTerms.license_document,
+ DCTerms.linguistic_system, DCTerms.location,
+ DCTerms.location_period_or_jurisdiction, DCTerms.mediator,
+ DCTerms.media_type, DCTerms.media_type_or_extent, DCTerms.medium,
+ DCTerms.m_e_s_h, DCTerms.method_of_accrual,
+ DCTerms.method_of_instruction, DCTerms.modified, DCTerms.n_l_m,
+ DCTerms.period, DCTerms.period_of_time, DCTerms.physical_medium,
+ DCTerms.physical_resource, DCTerms.point, DCTerms.policy,
+ DCTerms.provenance, DCTerms.provenance_statement, DCTerms.publisher,
+ DCTerms.references, DCTerms.relation, DCTerms.replaces,
+ DCTerms.requires, DCTerms.r_f_c1766, DCTerms.r_f_c3066,
+ DCTerms.r_f_c4646, DCTerms.r_f_c5646, DCTerms.rights,
+ DCTerms.rights_holder, DCTerms.rights_statement,
+ DCTerms.size_or_duration, DCTerms.source, DCTerms.spatial,
+ DCTerms.standard, DCTerms.subject, DCTerms.table_of_contents,
+ DCTerms.temporal, DCTerms.t_g_n, DCTerms.title, DCTerms.type,
+ DCTerms.u_d_c, DCTerms.u_r_i, DCTerms.valid, DCTerms.w3_c_d_t_f
+ );
+
+ for (final IRI predicate : dctermsPredicates) {
final GraphDB.Operation<Long> operation = (manager, repository, connection) -> {
final RepositoryResult<Statement> result = connection.getStatements(null, predicate, null);
final Iterator<Statement> iterator = result.iterator();
diff --git a/src/ulo-storage-endpoint/src/main/resources/uloapi.properties b/src/ulo-storage-endpoint/src/main/resources/uloapi.properties
index a7b5c951f4c44f08fa3e491681d2d143a75450f4..81793e65fcff6863d16dd08bcfc108dbaacb5657 100644
--- a/src/ulo-storage-endpoint/src/main/resources/uloapi.properties
+++ b/src/ulo-storage-endpoint/src/main/resources/uloapi.properties
@@ -1,2 +1,2 @@
info.mathhub.uloapi.config.serverurl=http://rdf:7200
-info.mathhub.uloapi.config.repository=fckw
\ No newline at end of file
+info.mathhub.uloapi.config.repository=coq0
\ No newline at end of file