Skip to content
Snippets Groups Projects
Commit 7e357208 authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

[x] analyze used dcterms predicates 

As it appears many of the dcterms predicates remain unused. Even the
ones that do get used are used only very rarely.
parent 8f7fead8
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
experimental/ulo/coq-predicates.txt
+ 99
− 0
View file @ 7e357208
......@@ -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
experimental/ulo/isabelle-predicates.txt
+ 99
− 0
View file @ 7e357208
......@@ -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
src/ulo-storage-endpoint/src/main/java/info/mathhub/uloapi/cli/Main.java
+ 40
− 2
View file @ 7e357208
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();
......
src/ulo-storage-endpoint/src/main/resources/uloapi.properties
+ 1
− 1
View file @ 7e357208
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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment