From 76b791af5a8bee72a9ff4a7f742571e780ff7008 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20K=C5=99emen?= Date: Tue, 9 Feb 2021 01:15:10 +0100 Subject: [PATCH] [#173] fix to OFN cas model; turning off OntoUml validation rules to speed things up --- .../g-sgov-\304\215as-diagram-MaNe.ttl" | 2 +- ...-sgov-\304\215as-glos\303\241\305\231.ttl" | 12 +- ...gov-\304\215as-mapov\303\241n\303\255.ttl" | 77 ++++++ .../g-sgov-\304\215as-model-MaNe-compact.ttl" | 8 +- .../g-sgov-\304\215as-model.ttl" | 18 +- .../v-sgov/v-sgov-glos\303\241\305\231.ttl" | 139 ++--------- content/v-sgov/v-sgov-model.ttl | 223 ++---------------- .../z-sgov/z-sgov-glos\303\241\305\231.ttl" | 45 +++- ...z-sgov-mapov\303\241n\303\255-owltime.ttl" | 117 +++++++++ .../z-sgov/z-sgov-mapov\303\241n\303\255.ttl" | 2 +- content/z-sgov/z-sgov-model.ttl | 78 +++++- .../gov/ssp/validation/ConsistencyTests.java | 8 +- 12 files changed, 358 insertions(+), 371 deletions(-) create mode 100644 "content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-mapov\303\241n\303\255.ttl" create mode 100644 "content/z-sgov/z-sgov-mapov\303\241n\303\255-owltime.ttl" diff --git "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-diagram-MaNe.ttl" "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-diagram-MaNe.ttl" index f8e312d46..97af7acd8 100644 --- "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-diagram-MaNe.ttl" +++ "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-diagram-MaNe.ttl" @@ -23,6 +23,6 @@ g-sgov-čas:g_sgov_čas "e788c857-4702-4595-ab09-ced4acf3627a" ; - g-sgov-čas-pojem:týden-v-roce , g-sgov-čas-pojem:časová-doba , , , , g-sgov-čas-pojem:den-v-měsíci , g-sgov-čas-pojem:časový-interval , g-sgov-čas-pojem:časová-platnost , g-sgov-čas-pojem:čas , g-sgov-čas-pojem:má-časové-období , , g-sgov-čas-pojem:datum , g-sgov-čas-pojem:od , g-sgov-čas-pojem:má-jinou-časovou-specifikaci , g-sgov-čas-pojem:výjimka , g-sgov-čas-pojem:týden-v-měsíci , g-sgov-čas-pojem:do , g-sgov-čas-pojem:má-časovou-dobu , g-sgov-čas-pojem:specifická-frekvence , , g-sgov-čas-pojem:má-den-v-týdnu , , , g-sgov-čas-pojem:má-frekvenci , g-sgov-čas-pojem:datum-a-čas , g-sgov-čas-pojem:hodina , g-sgov-čas-pojem:minuta , g-sgov-čas-pojem:časový-okamžik , g-sgov-čas-pojem:časová-specifikace , g-sgov-čas-pojem:má-časový-okamžik , g-sgov-čas-pojem:má-specifickou-frekvenci , g-sgov-čas-pojem:je-nespecifikovaný , g-sgov-čas-pojem:má-časový-interval , g-sgov-čas-pojem:počet-opakování , g-sgov-čas-pojem:rok-v-desetiletí ; + g-sgov-čas-pojem:týden-v-roce , g-sgov-čas-pojem:časová-doba , , , , g-sgov-čas-pojem:den-v-měsíci , g-sgov-čas-pojem:časový-interval , g-sgov-čas-pojem:časová-platnost , g-sgov-čas-pojem:čas , g-sgov-čas-pojem:má-časové-období , , g-sgov-čas-pojem:datum , g-sgov-čas-pojem:od , g-sgov-čas-pojem:má-jinou-časovou-specifikaci , g-sgov-čas-pojem:výjimka , g-sgov-čas-pojem:týden-v-měsíci , g-sgov-čas-pojem:do , g-sgov-čas-pojem:má-časovou-dobu , g-sgov-čas-pojem:specifická-frekvence , , g-sgov-čas-pojem:má-den-v-týdnu , , , g-sgov-čas-pojem:má-frekvenci , g-sgov-čas-pojem:datum-a-čas , g-sgov-čas-pojem:hodina , g-sgov-čas-pojem:minuta , g-sgov-čas-pojem:časový-okamžik , g-sgov-čas-pojem:časová-specifikace , g-sgov-čas-pojem:má-časový-okamžik , g-sgov-čas-pojem:má-specifickou-frekvenci , g-sgov-čas-pojem:je-nespecifikovaný , g-sgov-čas-pojem:má-časový-interval , g-sgov-čas-pojem:počet-opakování , g-sgov-čas-pojem:rok-v-desetiletí ; "G_SGOV_čas"@cs . diff --git "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-glos\303\241\305\231.ttl" "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-glos\303\241\305\231.ttl" index 15e2b1f9e..15c6e7b12 100644 --- "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-glos\303\241\305\231.ttl" +++ "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-glos\303\241\305\231.ttl" @@ -29,13 +29,13 @@ g-sgov-čas:glosář a a-popis-dat-pojem:glosář, owl:Ontology, skos:ConceptSch g-sgov-čas-pojem:časová-specifikace, g-sgov-čas-pojem:časový-interval, g-sgov-čas-pojem:časový-okamžik . g-sgov-čas-pojem:časový-okamžik a skos:Concept; - skos:broader , z-sgov-pojem:typ-objektu; + skos:broader , z-sgov-pojem:typ-objektu; skos:inScheme g-sgov-čas:glosář; skos:prefLabel "Časový okamžik"@cs; skos:scopeNote "Pro reprezentaci časových okamžiků lze použít datum, čas a nebo kombinací data a času. Pokud je jasné, který datový typ je v daném místě vhodný, použije se konkrétní datový typ, tedy datum, čas či datum a čas. Často ale při tvorbě OFN není předem známo, jaká úroveň detailu bude pro určení okamžiku k dispozici. Aby se zabránilo různým reprezentacím této situace v různých OFN, je specifikována třída Časový okamžik."@cs . g-sgov-čas-pojem:časový-interval a skos:Concept; - skos:broader , z-sgov-pojem:typ-objektu; + skos:broader , z-sgov-pojem:typ-objektu; skos:inScheme g-sgov-čas:glosář; skos:prefLabel "Časový interval"@cs; skos:scopeNote "Pro reprezentaci časových intervalů je potřeba buď uvést jejich začátek a konec, a nebo pouze jeden údaj, pokud ten druhý není znám, ale je známo, že se jedná o interval. Časový interval začíná a končí časovým okamžikem."@cs . @@ -74,6 +74,11 @@ g-sgov-čas-pojem:specifická-frekvence a skos:Concept; skos:inScheme g-sgov-čas:glosář; skos:prefLabel "Specifická frekvence"@cs . +g-sgov-čas-pojem:den-v-týdnu a skos:Concept; + skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; + skos:inScheme g-sgov-čas:glosář; + skos:prefLabel "Den v týdnu"@cs . + g-sgov-čas-pojem:do a skos:Concept; skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; skos:inScheme g-sgov-čas:glosář; @@ -100,8 +105,7 @@ g-sgov-čas-pojem:má-den-v-týdnu a skos:Concept; skos:prefLabel "má den v týdnu"@cs . g-sgov-čas-pojem:časová-specifikace a skos:Concept; - skos:broader , z-sgov-pojem:typ-objektu, - z-sgov-pojem:časová-specifikace; + skos:broader , z-sgov-pojem:typ-objektu, z-sgov-pojem:časový-prvek; skos:inScheme g-sgov-čas:glosář; skos:prefLabel "Časová specifikace"@cs; skos:scopeNote "Pro reprezentaci časových okamžiků lze použít datum, čas a nebo kombinací data a času. Pokud je jasné, který datový typ je v daném místě vhodný, použije se konkrétní datový typ, tedy datum, čas či datum a čas. Často ale při tvorbě OFN není předem známo, jaká úroveň detailu bude pro určení okamžiku k dispozici. Aby se zabránilo různým reprezentacím této situace v různých OFN, je specifikována třída Časový okamžik."@cs . diff --git "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-mapov\303\241n\303\255.ttl" "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-mapov\303\241n\303\255.ttl" new file mode 100644 index 000000000..366528e12 --- /dev/null +++ "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-mapov\303\241n\303\255.ttl" @@ -0,0 +1,77 @@ +@prefix : . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix schema: . +@prefix dcterms: . +@prefix g-sgov-čas: . +@prefix z-sgov-pojem: . +@prefix g-sgov-čas-pojem: . +@prefix a-popis-dat-pojem: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports g-sgov-čas:model ; + dcterms:created "2021-02-04" ; + dcterms:title "Generický slovník pro čas - mapování"@cs ; + bibo:status "Specification"@en , + "Specifikace"@cs ; + vann:preferredNamespacePrefix "g-sgov-čas-pojem" ; + vann:preferredNamespaceUri "https://slovník.gov.cz/generický/čas/pojem/" . + +################################################################# +# Object Properties +################################################################# + +### https://schema.org/repeatFrequency +schema:repeatFrequency rdf:type owl:ObjectProperty . + + +### https://slovník.gov.cz/generický/čas/pojem/má-frekvenci +g-sgov-čas-pojem:má-frekvenci rdfs:subPropertyOf schema:repeatFrequency . + + +################################################################# +# Data properties +################################################################# + +### https://schema.org/repeatCount +schema:repeatCount rdf:type owl:DatatypeProperty . + + +### https://slovník.gov.cz/generický/čas/pojem/počet-opakování +g-sgov-čas-pojem:počet-opakování rdfs:subPropertyOf schema:repeatCount . + + +################################################################# +# Classes +################################################################# + +### http://onto.fel.cvut.cz/ontologies/slovník/agendový/popis-dat/pojem/mapování +a-popis-dat-pojem:mapování rdf:type owl:Class . + + +### https://schema.org/Schedule +schema:Schedule rdf:type owl:Class . + + +### https://slovník.gov.cz/generický/čas/pojem/časová-specifikace +g-sgov-čas-pojem:časová-specifikace rdfs:subClassOf schema:Schedule . + + +################################################################# +# Individuals +################################################################# + +### https://slovník.gov.cz/generický/čas/mapování + rdf:type owl:NamedIndividual , + a-popis-dat-pojem:mapování . + + +### Generated by the OWL API (version 4.5.12.2019-05-06T20:49:08Z) https://github.com/owlcs/owlapi diff --git "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model-MaNe-compact.ttl" "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model-MaNe-compact.ttl" index bf0cb4c6d..80ea983e4 100644 --- "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model-MaNe-compact.ttl" +++ "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model-MaNe-compact.ttl" @@ -26,7 +26,7 @@ g-sgov-čas-pojem:má-specifickou-frekvenci rdfs:range g-sgov-čas-pojem:specifická-frekvence ; rdfs:subPropertyOf . - + a owl:Class . g-sgov-čas-pojem:den-v-měsíci @@ -101,7 +101,7 @@ g-sgov-čas-pojem:časová-specifikace g-sgov-čas-pojem:časový-okamžik a , owl:Class ; - rdfs:subClassOf . + rdfs:subClassOf . g-sgov-čas-pojem:má-časový-okamžik a owl:ObjectProperty , ; @@ -196,10 +196,10 @@ g-sgov-čas-pojem:čas a owl:DatatypeProperty , , owl:Class ; - rdfs:subClassOf . + rdfs:subClassOf . a owl:Class . - + a owl:Class . diff --git "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model.ttl" "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model.ttl" index d34164b15..6b668547c 100644 --- "a/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model.ttl" +++ "b/content/g-sgov/g-sgov-\304\215as/g-sgov-\304\215as-model.ttl" @@ -17,14 +17,14 @@ g-sgov-čas:model a a-popis-dat-pojem:model, owl:Ontology; bibo:status "Specification"@en, "Specifikace"@cs; vann:preferredNamespacePrefix "g-sgov-čas-pojem"; vann:preferredNamespaceUri "https://slovník.gov.cz/generický/čas/pojem/"; - owl:imports g-sgov-čas:glosář; + owl:imports g-sgov-čas:glosář, ; owl:versionIRI . -z-sgov-pojem:časová-specifikace a owl:Class . +z-sgov-pojem:časový-prvek a owl:Class . - a owl:Class . + a owl:Class . - a owl:Class . + a owl:Class . z-sgov-pojem:je-vlastností a owl:ObjectProperty; owl:inverseOf z-sgov-pojem:má-vlastnost . @@ -43,12 +43,12 @@ z-sgov-pojem:má-vztažený-prvek-2 a owl:ObjectProperty; rdfs:subPropertyOf z-sgov-pojem:má-vztažený-prvek . g-sgov-čas-pojem:časový-okamžik a owl:Class, z-sgov-pojem:typ-objektu; - rdfs:subClassOf . + rdfs:subClassOf z-sgov-pojem:časový-okamžik . a owl:Class . g-sgov-čas-pojem:časový-interval a owl:Class, z-sgov-pojem:typ-objektu; - rdfs:subClassOf . + rdfs:subClassOf z-sgov-pojem:časový-interval . g-sgov-čas-pojem:čas a owl:Class, owl:DatatypeProperty, z-sgov-pojem:typ-vlastnosti; rdfs:domain g-sgov-čas-pojem:časová-doba; @@ -65,7 +65,7 @@ g-sgov-čas-pojem:čas a owl:Class, owl:DatatypeProperty, z-sgov-pojem:typ-vlast g-sgov-čas-pojem:datum-a-čas a owl:Class, owl:DatatypeProperty, z-sgov-pojem:typ-vlastnosti; rdfs:domain g-sgov-čas-pojem:časový-okamžik; rdfs:range rdfs:Literal; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; + rdfs:subClassOf z-sgov-pojem:datum-a-čas, [ a owl:Restriction; owl:onProperty z-sgov-pojem:je-vlastností; owl:someValuesFrom g-sgov-čas-pojem:časový-okamžik ], [ a owl:Restriction; @@ -89,7 +89,7 @@ g-sgov-čas-pojem:je-nespecifikovaný a owl:Class, owl:DatatypeProperty, z-sgov- g-sgov-čas-pojem:datum a owl:Class, owl:DatatypeProperty, z-sgov-pojem:typ-vlastnosti; rdfs:domain g-sgov-čas-pojem:časový-okamžik; rdfs:range rdfs:Literal; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; + rdfs:subClassOf z-sgov-pojem:datum, [ a owl:Restriction; owl:onProperty z-sgov-pojem:je-vlastností; owl:someValuesFrom g-sgov-čas-pojem:časový-okamžik ], [ a owl:Restriction; @@ -179,7 +179,7 @@ g-sgov-čas-pojem:má-den-v-týdnu a owl:Class, owl:ObjectProperty, z-sgov-pojem rdfs:subPropertyOf z-sgov-pojem:vztah . g-sgov-čas-pojem:časová-specifikace a owl:Class, z-sgov-pojem:typ-objektu; - rdfs:subClassOf , z-sgov-pojem:časová-specifikace . + rdfs:subClassOf , z-sgov-pojem:časový-prvek . g-sgov-čas-pojem:má-frekvenci a owl:Class, owl:ObjectProperty, z-sgov-pojem:typ-vztahu; rdfs:domain g-sgov-čas-pojem:časová-specifikace; diff --git "a/content/v-sgov/v-sgov-glos\303\241\305\231.ttl" "b/content/v-sgov/v-sgov-glos\303\241\305\231.ttl" index a44e39635..bdecb796e 100644 --- "a/content/v-sgov/v-sgov-glos\303\241\305\231.ttl" +++ "b/content/v-sgov/v-sgov-glos\303\241\305\231.ttl" @@ -20,28 +20,27 @@ v-sgov:glosář a a-popis-dat-pojem:glosář, owl:NamedIndividual, owl:Ontology, owl:imports ; owl:versionIRI ; skos:hasTopConcept v-sgov-pojem:akronym-číselníku, v-sgov-pojem:datová-sada, v-sgov-pojem:definice-číselníku, - v-sgov-pojem:den-v-měsíci, v-sgov-pojem:den-v-týdnu, v-sgov-pojem:digitální-objekt, + v-sgov-pojem:digitální-objekt, v-sgov-pojem:dokument, v-sgov-pojem:eviduje, v-sgov-pojem:eviduje-položku-evidenčního-systému, - v-sgov-pojem:hodina, v-sgov-pojem:informační-systém, v-sgov-pojem:je-evidencí-pro, + v-sgov-pojem:informační-systém, v-sgov-pojem:je-evidencí-pro, v-sgov-pojem:jméno-právnické-osoby, v-sgov-pojem:konsolidované-znění-právního-předpisu, - v-sgov-pojem:kód-číselníku, v-sgov-pojem:křestní-jméno, v-sgov-pojem:minuta, v-sgov-pojem:má-administrativní-platnost-položky, - v-sgov-pojem:má-administrativní-platnost-číselníku, v-sgov-pojem:má-konec, v-sgov-pojem:má-kontext, - v-sgov-pojem:má-lokalizaci, v-sgov-pojem:má-platnost, v-sgov-pojem:má-počet-opakování, - v-sgov-pojem:má-přílohu, v-sgov-pojem:má-začátek, v-sgov-pojem:má-zdrojový-předpis, + v-sgov-pojem:kód-číselníku, v-sgov-pojem:křestní-jméno, v-sgov-pojem:má-administrativní-platnost-položky, + v-sgov-pojem:má-administrativní-platnost-číselníku, v-sgov-pojem:má-kontext, + v-sgov-pojem:má-lokalizaci, v-sgov-pojem:má-platnost, + v-sgov-pojem:má-přílohu, v-sgov-pojem:má-zdrojový-předpis, v-sgov-pojem:má-znění, v-sgov-pojem:má-čas-poslední-aktualizace, v-sgov-pojem:má-čas-vytvoření, - v-sgov-pojem:má-časový-úsek, v-sgov-pojem:má-část-právního-předpisu, v-sgov-pojem:má-část-znění, - v-sgov-pojem:měsíc-v-roce, v-sgov-pojem:novela-právního-předpisu, v-sgov-pojem:novelizuje, - v-sgov-pojem:název-právního-předpisu, v-sgov-pojem:objekt-práva, v-sgov-pojem:opakovaná-časová-specifikace, + v-sgov-pojem:má-část-právního-předpisu, v-sgov-pojem:má-část-znění, + v-sgov-pojem:novela-právního-předpisu, v-sgov-pojem:novelizuje, + v-sgov-pojem:název-právního-předpisu, v-sgov-pojem:objekt-práva, v-sgov-pojem:opakuje, v-sgov-pojem:organizace, v-sgov-pojem:pokrývá-oblast, v-sgov-pojem:položka, v-sgov-pojem:položka-evidenčního-systému, v-sgov-pojem:popisuje, v-sgov-pojem:popsaný-prvek, v-sgov-pojem:povinnost, v-sgov-pojem:prostorový-objekt, v-sgov-pojem:právní-vztah, - v-sgov-pojem:právo, v-sgov-pojem:příjmení, v-sgov-pojem:rok, v-sgov-pojem:rok-v-desetiletí, - v-sgov-pojem:rok-ve-století, v-sgov-pojem:subjekt-práva, v-sgov-pojem:typ-evidenčního-systému, - v-sgov-pojem:typ-znalostní-struktury-dle-úrovně, v-sgov-pojem:týden-v-měsíci, v-sgov-pojem:týden-v-roce, - v-sgov-pojem:vyhlášené-znění-právního-předpisu, v-sgov-pojem:vyjímá, v-sgov-pojem:výkon-svrchované-moci, - v-sgov-pojem:zahrnuje, v-sgov-pojem:znění-právního-předpisu, v-sgov-pojem:způsobilost-k-protiprávnímu-jednání, + v-sgov-pojem:právo, v-sgov-pojem:příjmení, v-sgov-pojem:subjekt-práva, v-sgov-pojem:typ-evidenčního-systému, + v-sgov-pojem:typ-znalostní-struktury-dle-úrovně, + v-sgov-pojem:vyhlášené-znění-právního-předpisu, v-sgov-pojem:výkon-svrchované-moci, + v-sgov-pojem:znění-právního-předpisu, v-sgov-pojem:způsobilost-k-protiprávnímu-jednání, v-sgov-pojem:způsobilost-k-právnímu-jednání, v-sgov-pojem:způsobilost-k-právům-a-povinnostem, - v-sgov-pojem:časová-entita, v-sgov-pojem:časový-úsek, v-sgov-pojem:člověk, v-sgov-pojem:část-znění-právního-předpisu . + v-sgov-pojem:člověk, v-sgov-pojem:část-znění-právního-předpisu . v-sgov-pojem:fyzická-osoba a skos:Concept; skos:broader v-sgov-pojem:subjekt-práva, v-sgov-pojem:člověk, z-sgov-pojem:role, z-sgov-pojem:typ-objektu; @@ -63,116 +62,6 @@ v-sgov-pojem:člověk a skos:Concept; skos:inScheme v-sgov:glosář; skos:prefLabel "Human"@en, "Člověk"@cs . -v-sgov-pojem:den-v-měsíci a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Den v měsíci"@cs . - -v-sgov-pojem:den-v-týdnu a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Den v týdnu"@cs . - -v-sgov-pojem:hodina a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Hodina"@cs . - -v-sgov-pojem:minuta a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Minuta"@cs . - -v-sgov-pojem:má-konec a skos:Concept; - skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; - skos:inScheme v-sgov:glosář; - skos:prefLabel "má konec"@cs . - -v-sgov-pojem:má-počet-opakování a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "má počet opakování"@cs . - -v-sgov-pojem:má-začátek a skos:Concept; - skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; - skos:inScheme v-sgov:glosář; - skos:prefLabel "má začátek"@cs . - -v-sgov-pojem:má-časový-úsek a skos:Concept; - skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; - skos:inScheme v-sgov:glosář; - skos:prefLabel "má časový úsek"@cs . - -v-sgov-pojem:měsíc-v-roce a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Měsíc v roce"@cs . - -v-sgov-pojem:opakovaná-časová-specifikace a skos:Concept; - skos:broader z-sgov-pojem:typ-objektu, z-sgov-pojem:časová-specifikace; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Opakovaná časová specifikace"@cs . - -v-sgov-pojem:opakuje a skos:Concept; - skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; - skos:inScheme v-sgov:glosář; - skos:prefLabel "opakuje"@cs . - -v-sgov-pojem:rok a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Rok"@cs . - -v-sgov-pojem:rok-v-desetiletí a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Rok v desetiletí"@cs . - -v-sgov-pojem:rok-ve-století a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Rok ve století"@cs . - -v-sgov-pojem:týden-v-měsíci a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Týden v měsíci"@cs . - -v-sgov-pojem:týden-v-roce a skos:Concept; - skos:broader z-sgov-pojem:typ-vlastnosti, z-sgov-pojem:vlastnost; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Týden v roce"@cs . - -v-sgov-pojem:vyjímá a skos:Concept; - skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; - skos:inScheme v-sgov:glosář; - skos:prefLabel "vyjímá"@cs . - -v-sgov-pojem:zahrnuje a skos:Concept; - skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; - skos:inScheme v-sgov:glosář; - skos:prefLabel "zahrnuje"@cs . - -v-sgov-pojem:časová-entita a skos:Concept; - skos:broader z-sgov-pojem:typ-objektu, z-sgov-pojem:časová-specifikace; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Časová entita"@cs . - -v-sgov-pojem:časový-interval a skos:Concept; - skos:broader v-sgov-pojem:časová-entita, z-sgov-pojem:typ-objektu; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Časový interval"@cs . - -v-sgov-pojem:časový-okamžik a skos:Concept; - skos:broader v-sgov-pojem:časová-entita, z-sgov-pojem:typ-objektu; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Časový okamžik"@cs . - -v-sgov-pojem:časový-úsek a skos:Concept; - skos:broader z-sgov-pojem:objekt, z-sgov-pojem:typ-objektu; - skos:inScheme v-sgov:glosář; - skos:prefLabel "Časový úsek"@cs . - v-sgov-pojem:evidenční-systém a skos:Concept; skos:broader v-sgov-pojem:datová-sada, z-sgov-pojem:poddruh, z-sgov-pojem:typ-objektu; skos:definition "Evidence System is a data set which records endurants."@en, "Evidenční systém je datová sada, která eviduje proměnné prvky."@cs; diff --git a/content/v-sgov/v-sgov-model.ttl b/content/v-sgov/v-sgov-model.ttl index c6a23f5fc..f952e924c 100644 --- a/content/v-sgov/v-sgov-model.ttl +++ b/content/v-sgov/v-sgov-model.ttl @@ -41,204 +41,10 @@ v-sgov-pojem:subjekt-práva a owl:Class, owl:NamedIndividual, z-sgov-pojem:mixin v-sgov-pojem:člověk a owl:Class, owl:NamedIndividual, z-sgov-pojem:druh, z-sgov-pojem:typ-objektu; rdfs:subClassOf z-sgov-pojem:agent . -v-sgov-pojem:den-v-měsíci a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ] . - -v-sgov-pojem:den-v-týdnu a owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost . - -v-sgov-pojem:hodina a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ] . - -v-sgov-pojem:minuta a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ] . - -v-sgov-pojem:má-konec a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; - rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; - owl:someValuesFrom v-sgov-pojem:časová-entita - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časová-entita; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-okamžik; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časový-okamžik - ] . - -v-sgov-pojem:má-počet-opakování a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:opakovaná-časová-specifikace - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:opakovaná-časová-specifikace; - owl:onProperty z-sgov-pojem:je-vlastností - ] . - -v-sgov-pojem:má-začátek a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; - rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-okamžik; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časová-entita; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časový-okamžik - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; - owl:someValuesFrom v-sgov-pojem:časová-entita - ] . - -v-sgov-pojem:má-časový-úsek a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; - rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; - owl:someValuesFrom v-sgov-pojem:časová-entita - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časová-entita; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 - ] . - -v-sgov-pojem:měsíc-v-roce a owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost . - -v-sgov-pojem:opakovaná-časová-specifikace a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-objektu; - rdfs:subClassOf z-sgov-pojem:časová-specifikace . - -z-sgov-pojem:časová-specifikace a owl:Class . - -v-sgov-pojem:opakuje a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; - rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom z-sgov-pojem:časová-specifikace - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:opakovaná-časová-specifikace; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 - ], [ a owl:Restriction; - owl:allValuesFrom z-sgov-pojem:časová-specifikace; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; - owl:someValuesFrom v-sgov-pojem:opakovaná-časová-specifikace - ] . - -v-sgov-pojem:rok a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ] . - -v-sgov-pojem:rok-v-desetiletí a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ] . - -v-sgov-pojem:rok-ve-století a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ] . - -v-sgov-pojem:týden-v-měsíci a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ] . - -v-sgov-pojem:týden-v-roce a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vlastnosti; - rdfs:subClassOf z-sgov-pojem:vlastnost, [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-úsek; - owl:onProperty z-sgov-pojem:je-vlastností - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:je-vlastností; - owl:someValuesFrom v-sgov-pojem:časový-úsek - ] . - -v-sgov-pojem:vyjímá a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; - rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; - owl:allValuesFrom z-sgov-pojem:časová-specifikace; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom z-sgov-pojem:časová-specifikace - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; - owl:someValuesFrom z-sgov-pojem:časová-specifikace - ], [ a owl:Restriction; - owl:allValuesFrom z-sgov-pojem:časová-specifikace; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 - ] . - z-sgov-pojem:pasivní-objekt a owl:Class . z-sgov-pojem:typ-proměnného-prvku a owl:Class . -v-sgov-pojem:zahrnuje a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; - rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom z-sgov-pojem:časová-specifikace - ], [ a owl:Restriction; - owl:allValuesFrom z-sgov-pojem:časová-specifikace; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 - ], [ a owl:Restriction; - owl:allValuesFrom z-sgov-pojem:časová-specifikace; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 - ], [ a owl:Restriction; - owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; - owl:someValuesFrom z-sgov-pojem:časová-specifikace - ] . - -v-sgov-pojem:časová-entita a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-objektu; - rdfs:subClassOf z-sgov-pojem:časová-specifikace . - -v-sgov-pojem:časový-interval a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-objektu; - rdfs:subClassOf v-sgov-pojem:časová-entita . - -v-sgov-pojem:časový-okamžik a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-objektu; - rdfs:subClassOf v-sgov-pojem:časová-entita . - -v-sgov-pojem:časový-úsek a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-objektu; - rdfs:subClassOf z-sgov-pojem:objekt . - v-sgov-pojem:evidenční-systém a owl:Class, owl:NamedIndividual, z-sgov-pojem:mixin, z-sgov-pojem:typ-objektu; rdfs:subClassOf v-sgov-pojem:datová-sada . @@ -641,16 +447,16 @@ v-sgov-pojem:má-platnost a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vzt owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časová-entita + owl:someValuesFrom v-sgov-pojem:časový-prvek ], [ a owl:Restriction; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger; - owl:onClass v-sgov-pojem:časová-entita; + owl:onClass v-sgov-pojem:časový-prvek; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; owl:someValuesFrom v-sgov-pojem:datová-sada ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časová-entita; + owl:allValuesFrom v-sgov-pojem:časový-prvek; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ], [ a owl:Restriction; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger; @@ -661,7 +467,7 @@ v-sgov-pojem:má-platnost a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vzt owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 ], [ a owl:Restriction; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger; - owl:onClass v-sgov-pojem:časová-entita; + owl:onClass v-sgov-pojem:časový-prvek; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ] . @@ -811,14 +617,14 @@ v-sgov-pojem:má-administrativní-platnost-číselníku a z-sgov-pojem:typ-vztah v-sgov-pojem:má-administrativní-platnost-položky a z-sgov-pojem:typ-vztahu; rdfs:subClassOf [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časová-entita; + owl:allValuesFrom v-sgov-pojem:časový-prvek; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ], [ a owl:Restriction; - owl:allValuesFrom z-sgov-pojem:časová-specifikace; + owl:allValuesFrom z-sgov-pojem:časový-prvek; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časová-entita + owl:someValuesFrom v-sgov-pojem:časový-prvek ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; owl:someValuesFrom v-sgov-pojem:položka @@ -827,7 +633,7 @@ v-sgov-pojem:má-administrativní-platnost-položky a z-sgov-pojem:typ-vztahu; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom z-sgov-pojem:časová-specifikace + owl:someValuesFrom z-sgov-pojem:časový-prvek ] . v-sgov-pojem:pokrývá-oblast a z-sgov-pojem:typ-vztahu; @@ -876,9 +682,9 @@ v-sgov-pojem:má-čas-vytvoření a z-sgov-pojem:typ-vztahu; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časový-okamžik + owl:someValuesFrom z-sgov-pojem:časový-okamžik ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-okamžik; + owl:allValuesFrom z-sgov-pojem:časový-okamžik; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ] . @@ -892,24 +698,24 @@ v-sgov-pojem:má-čas-poslední-aktualizace a z-sgov-pojem:typ-vztahu; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 ], [ a owl:Restriction; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger; - owl:onClass v-sgov-pojem:časový-okamžik; + owl:onClass z-sgov-pojem:časový-okamžik; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; owl:someValuesFrom z-sgov-pojem:proměnný-prvek ], [ a owl:Restriction; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; - owl:someValuesFrom v-sgov-pojem:časový-okamžik + owl:someValuesFrom z-sgov-pojem:časový-okamžik ], [ a owl:Restriction; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger; - owl:onClass v-sgov-pojem:časový-okamžik; + owl:onClass z-sgov-pojem:časový-okamžik; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ], [ a owl:Restriction; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger; owl:onClass z-sgov-pojem:proměnný-prvek; owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 ], [ a owl:Restriction; - owl:allValuesFrom v-sgov-pojem:časový-okamžik; + owl:allValuesFrom z-sgov-pojem:časový-okamžik; owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 ] . @@ -962,3 +768,4 @@ v-sgov-pojem:má-přílohu a z-sgov-pojem:mixin, z-sgov-pojem:typ-vztahu; skos:prefLabel rdfs:subPropertyOf rdfs:label . v-sgov-pojem:popsaný-prvek rdfs:subClassOf z-sgov-pojem:prvek . + diff --git "a/content/z-sgov/z-sgov-glos\303\241\305\231.ttl" "b/content/z-sgov/z-sgov-glos\303\241\305\231.ttl" index 1a30e2cef..be25d8a62 100644 --- "a/content/z-sgov/z-sgov-glos\303\241\305\231.ttl" +++ "b/content/z-sgov/z-sgov-glos\303\241\305\231.ttl" @@ -221,6 +221,11 @@ z-sgov-pojem:má-hodnotu-vlastnosti a owl:NamedIndividual , skos:Concept ; # # https://slovník.gov.cz/základní/pojem/má-prostorové-určení +z-sgov-pojem:má-konec a skos:Concept; + skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; + skos:inScheme z-sgov:glosář; + skos:prefLabel "má konec"@cs . + z-sgov-pojem:má-prostorové-určení a owl:NamedIndividual , skos:Concept ; skos:definition "Typ vazby, která propojuje událost/okamžitý stav s prostorovým určením, kterého se týkají."@cs , "Type of link which connects an event/snapshot with its spatial extension."@en ; skos:inScheme z-sgov:glosář ; @@ -254,6 +259,12 @@ z-sgov-pojem:má-vztažený-prvek-2 a owl:NamedIndividual , skos:Concept ; skos:inScheme z-sgov:glosář ; skos:prefLabel "má vztažený prvek 2"@cs . # + +z-sgov-pojem:má-začátek a skos:Concept; + skos:broader z-sgov-pojem:typ-vztahu, z-sgov-pojem:vztah; + skos:inScheme z-sgov:glosář; + skos:prefLabel "má začátek"@cs . + # https://slovník.gov.cz/základní/pojem/má-účastníka z-sgov-pojem:má-účastníka a owl:NamedIndividual , skos:Concept ; @@ -469,12 +480,36 @@ z-sgov-pojem:zánik-proměnného-prvku a owl:NamedIndividual , skos:Concept ; skos:inScheme z-sgov:glosář ; skos:prefLabel "Endurant destruction"@en , "Zánik proměnného prvku"@cs . # -# https://slovník.gov.cz/základní/pojem/časová-specifikace +# https://slovník.gov.cz/základní/pojem/časový-prvek -z-sgov-pojem:časová-specifikace a owl:NamedIndividual , skos:Concept ; - skos:broader z-sgov-pojem:pasivní-objekt ; +z-sgov-pojem:časový-prvek a owl:NamedIndividual , skos:Concept ; + skos:broader z-sgov-pojem:prvek ; skos:definition "Temporal entity denotes the time specification of a perdurant (current year/day, time interval), or relatively to another entity (existence of an endurant, event duration, etc.)"@en , "Časový prvek je prvek, který vymezuje časové období - a to buď přímou hodnotou (aktuální rok/den, časový interval), nebo relativně vzhledem k jinému prvku (doba existence daného proměnného prvku, trvání události)"@cs ; skos:inScheme z-sgov:glosář ; - skos:prefLabel "Časová specifikace"@cs . -# + skos:prefLabel "Časový prvek"@cs . + +z-sgov-pojem:časový-interval a owl:NamedIndividual , skos:Concept; + skos:broader z-sgov-pojem:časový-prvek; + skos:scopeNote "Pro reprezentaci časových intervalů je potřeba buď uvést jejich začátek a konec, a nebo pouze jeden údaj, pokud ten druhý není znám, ale je známo, že se jedná o interval. Časový interval začíná a končí časovým okamžikem."@cs ; + skos:inScheme z-sgov:glosář; + skos:prefLabel "Časový interval"@cs . + +z-sgov-pojem:časový-okamžik a owl:NamedIndividual , skos:Concept; + skos:broader z-sgov-pojem:časový-prvek; + skos:scopeNote "Pro reprezentaci časových okamžiků lze použít datum, čas a nebo kombinací data a času. Pokud je jasné, který datový typ je v daném místě vhodný, použije se konkrétní datový typ, tedy datum, čas či datum a čas. Často ale při tvorbě OFN není předem známo, jaká úroveň detailu bude pro určení okamžiku k dispozici. Aby se zabránilo různým reprezentacím této situace v různých OFN, je specifikována třída Časový okamžik."@cs ; + skos:inScheme z-sgov:glosář; + skos:prefLabel "Časový okamžik"@cs. + +z-sgov-pojem:datum a owl:NamedIndividual , skos:Concept; + skos:broader z-sgov-pojem:vlastnost; + skos:definition "Pozice časového okamžiku, vyjádřená pomocí xsd:date"@cs ; + skos:inScheme z-sgov:glosář; + skos:prefLabel "datum"@cs. + +z-sgov-pojem:datum-a-čas a owl:NamedIndividual , skos:Concept; + skos:broader z-sgov-pojem:vlastnost; + skos:definition "Pozice časového okamžiku, vyjádřená pomocí xsd:dateTime"@cs ; + skos:inScheme z-sgov:glosář; + skos:prefLabel "datum a čas"@cs. + # Generated by the OWL API (version 4.5.12.2019-05-06T20:49:08Z) https://github.com/owlcs/owlapi diff --git "a/content/z-sgov/z-sgov-mapov\303\241n\303\255-owltime.ttl" "b/content/z-sgov/z-sgov-mapov\303\241n\303\255-owltime.ttl" new file mode 100644 index 000000000..a9b524469 --- /dev/null +++ "b/content/z-sgov/z-sgov-mapov\303\241n\303\255-owltime.ttl" @@ -0,0 +1,117 @@ +@prefix : . +@prefix dc: . +@prefix ns: . +@prefix m8g: . +@prefix ns1: . +@prefix org: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix bibo: . +@prefix dcat: . +@prefix foaf: . +@prefix locn: . +@prefix rdfs: . +@prefix skos: . +@prefix swrl: . +@prefix time: . +@prefix vann: . +@prefix voaf: . +@prefix legal: . +@prefix rec54: . +@prefix terms: . +@prefix voaf1: . +@prefix vocab: . +@prefix schema: . +@prefix powder-s: . +@prefix z-sgov-pojem: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports , + . + +################################################################# +# Object Properties +################################################################# + +### http://www.w3.org/2006/time#hasBeginning +time:hasBeginning rdf:type owl:ObjectProperty . + + +### http://www.w3.org/2006/time#hasEnd +time:hasEnd rdf:type owl:ObjectProperty . + +### https://slovník.gov.cz/základní/pojem/má-začátek +z-sgov-pojem:má-začátek rdf:type owl:ObjectProperty ; + owl:equivalentProperty time:hasBeginning . + +### https://slovník.gov.cz/základní/pojem/má-konec +z-sgov-pojem:má-konec rdf:type owl:ObjectProperty ; + owl:equivalentProperty time:hasEnd . + + +################################################################# +# Data properties +################################################################# + +### http://www.w3.org/2006/time#inXSDDate +time:inXSDDate rdf:type owl:DatatypeProperty . + + +### http://www.w3.org/2006/time#inXSDDateTimeStamp +time:inXSDDateTimeStamp rdf:type owl:DatatypeProperty . + + +### https://slovník.gov.cz/základní/pojem/datum +z-sgov-pojem:datum rdf:type owl:DatatypeProperty ; + owl:equivalentProperty time:inXSDDate . + + +### https://slovník.gov.cz/základní/pojem/datum-a-čas +z-sgov-pojem:datum-a-čas rdf:type owl:DatatypeProperty ; + owl:equivalentProperty time:inXSDDateTimeStamp . + + +################################################################# +# Classes +################################################################# + +### http://onto.fel.cvut.cz/ontologies/slovník/agendový/popis-dat/pojem/mapování + rdf:type owl:Class . + + +### http://www.w3.org/2006/time#Instant +time:Instant owl:equivalentClass z-sgov-pojem:časový-okamžik . + + +### http://www.w3.org/2006/time#ProperInterval +time:ProperInterval rdf:type owl:Class ; + owl:equivalentClass z-sgov-pojem:časový-interval . + + +### http://www.w3.org/2006/time#TemporalEntity +time:TemporalEntity rdf:type owl:Class ; + rdfs:subClassOf z-sgov-pojem:časový-prvek . + + +### https://slovník.gov.cz/základní/pojem/časový-interval + +### https://slovník.gov.cz/základní/pojem/časový-okamžik + +### https://slovník.gov.cz/základní/pojem/časový-prvek +z-sgov-pojem:časový-prvek rdf:type owl:Class . + + +################################################################# +# Individuals +################################################################# + +### https://slovník.gov.cz/základní/mapování/owltime + rdf:type owl:NamedIndividual , + . + + +### Generated by the OWL API (version 4.5.12.2019-05-06T20:49:08Z) https://github.com/owlcs/owlapi diff --git "a/content/z-sgov/z-sgov-mapov\303\241n\303\255.ttl" "b/content/z-sgov/z-sgov-mapov\303\241n\303\255.ttl" index 427b59842..252d58912 100644 --- "a/content/z-sgov/z-sgov-mapov\303\241n\303\255.ttl" +++ "b/content/z-sgov/z-sgov-mapov\303\241n\303\255.ttl" @@ -117,7 +117,7 @@ m8g:Participation a owl:Class . # http://data.europa.eu/m8g/PeriodOfTime m8g:PeriodOfTime a owl:Class ; - rdfs:subClassOf z-sgov-pojem:časová-specifikace . + rdfs:subClassOf z-sgov-pojem:časový-prvek . # # http://data.europa.eu/m8g/PublicOrganisation diff --git a/content/z-sgov/z-sgov-model.ttl b/content/z-sgov/z-sgov-model.ttl index aa1e7d632..9158d5a0c 100644 --- a/content/z-sgov/z-sgov-model.ttl +++ b/content/z-sgov/z-sgov-model.ttl @@ -107,7 +107,7 @@ z-sgov-pojem:má-účastníka a owl:ObjectProperty ; z-sgov-pojem:má-časové-určení a owl:ObjectProperty ; rdfs:domain z-sgov-pojem:neměnný-prvek ; - rdfs:range z-sgov-pojem:časová-specifikace ; + rdfs:range z-sgov-pojem:časový-prvek ; rdfs:label "má časové určení"@cs . # # @@ -200,7 +200,7 @@ z-sgov-pojem:neměnný-prvek rdfs:subClassOf _:genid5 . _:genid5 a owl:Restriction ; owl:onProperty z-sgov-pojem:má-časové-určení ; - owl:allValuesFrom z-sgov-pojem:časová-specifikace . + owl:allValuesFrom z-sgov-pojem:časový-prvek . z-sgov-pojem:neměnný-prvek rdfs:subClassOf _:genid6 . @@ -214,7 +214,7 @@ z-sgov-pojem:neměnný-prvek rdfs:subClassOf _:genid7 . _:genid7 a owl:Restriction ; owl:onProperty z-sgov-pojem:má-časové-určení ; owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ; - owl:onClass z-sgov-pojem:časová-specifikace . + owl:onClass z-sgov-pojem:časový-prvek . z-sgov-pojem:neměnný-prvek rdfs:subClassOf _:genid8 . @@ -228,7 +228,7 @@ z-sgov-pojem:neměnný-prvek rdfs:subClassOf _:genid9 . _:genid9 a owl:Restriction ; owl:onProperty z-sgov-pojem:má-časové-určení ; owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; - owl:onClass z-sgov-pojem:časová-specifikace . + owl:onClass z-sgov-pojem:časový-prvek . # # https://slovník.gov.cz/základní/pojem/nesortál @@ -376,13 +376,65 @@ z-sgov-pojem:změna-proměnného-prvku a owl:Class ; z-sgov-pojem:zánik-proměnného-prvku a owl:Class ; rdfs:subClassOf z-sgov-pojem:událost . # -# https://slovník.gov.cz/základní/pojem/časová-specifikace +# https://slovník.gov.cz/základní/pojem/časový-prvek + +z-sgov-pojem:časový-prvek a owl:Class ; + rdfs:subClassOf z-sgov-pojem:prvek . + +z-sgov-pojem:časový-okamžik a owl:Class ; + rdfs:subClassOf z-sgov-pojem:časový-prvek . + +z-sgov-pojem:časový-interval a owl:Class ; + rdfs:subClassOf z-sgov-pojem:časový-prvek . + +z-sgov-pojem:datum-a-čas a owl:Class, owl:DatatypeProperty, z-sgov-pojem:typ-vlastnosti; + rdfs:subClassOf [ a owl:Restriction; + owl:onProperty z-sgov-pojem:je-vlastností; + owl:someValuesFrom z-sgov-pojem:časový-okamžik + ], [ a owl:Restriction; + owl:allValuesFrom z-sgov-pojem:časový-okamžik; + owl:onProperty z-sgov-pojem:je-vlastností + ] . + +z-sgov-pojem:datum a owl:Class, owl:DatatypeProperty, z-sgov-pojem:typ-vlastnosti; + rdfs:subClassOf [ a owl:Restriction; + owl:onProperty z-sgov-pojem:je-vlastností; + owl:someValuesFrom z-sgov-pojem:časový-okamžik + ], [ a owl:Restriction; + owl:allValuesFrom z-sgov-pojem:časový-okamžik; + owl:onProperty z-sgov-pojem:je-vlastností + ] . + +z-sgov-pojem:má-začátek a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; + rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; + owl:allValuesFrom z-sgov-pojem:časový-okamžik; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 + ], [ a owl:Restriction; + owl:allValuesFrom z-sgov-pojem:časový-interval; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 + ], [ a owl:Restriction; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; + owl:someValuesFrom z-sgov-pojem:časový-okamžik + ], [ a owl:Restriction; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; + owl:someValuesFrom z-sgov-pojem:časový-interval + ] . + +z-sgov-pojem:má-konec a owl:Class, owl:NamedIndividual, z-sgov-pojem:typ-vztahu; + rdfs:subClassOf z-sgov-pojem:vztah, [ a owl:Restriction; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-1; + owl:someValuesFrom z-sgov-pojem:časový-interval + ], [ a owl:Restriction; + owl:allValuesFrom z-sgov-pojem:časový-interval; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-1 + ], [ a owl:Restriction; + owl:allValuesFrom z-sgov-pojem:časový-okamžik; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-2 + ], [ a owl:Restriction; + owl:onProperty z-sgov-pojem:má-vztažený-prvek-2; + owl:someValuesFrom z-sgov-pojem:časový-okamžik + ] . -z-sgov-pojem:časová-specifikace a owl:Class ; - rdfs:subClassOf z-sgov-pojem:pasivní-objekt , z-sgov-pojem:prvek . -# -# -# # ################################################################# # # # # Individuals @@ -430,9 +482,9 @@ z-sgov-pojem:vlastnost a owl:NamedIndividual , z-sgov-pojem:typ-vlastnosti . z-sgov-pojem:vztah a owl:NamedIndividual , z-sgov-pojem:typ-vztahu . # -# https://slovník.gov.cz/základní/pojem/časová-specifikace +# https://slovník.gov.cz/základní/pojem/časový-prvek -z-sgov-pojem:časová-specifikace a owl:NamedIndividual , z-sgov-pojem:typ . +z-sgov-pojem:časový-prvek a owl:NamedIndividual , z-sgov-pojem:typ . # _:genid14 owl:minQualifiedCardinality "1"^^xsd:long . @@ -472,7 +524,7 @@ _:genid18 a rdf:List ; rdf:rest _:genid17 . _:genid17 a rdf:List ; - rdf:first z-sgov-pojem:časová-specifikace ; + rdf:first z-sgov-pojem:časový-prvek ; rdf:rest rdf:nil . # # Generated by the OWL API (version 4.5.12.2019-05-06T20:49:08Z) https://github.com/owlcs/owlapi diff --git a/validation/src/test/java/cz/gov/ssp/validation/ConsistencyTests.java b/validation/src/test/java/cz/gov/ssp/validation/ConsistencyTests.java index 33c54e22c..184c54b78 100644 --- a/validation/src/test/java/cz/gov/ssp/validation/ConsistencyTests.java +++ b/validation/src/test/java/cz/gov/ssp/validation/ConsistencyTests.java @@ -56,7 +56,13 @@ public void testModel(String folder) throws IOException { testFolder(folder, ".*-model(-[a-zA-Z0-9]+)?[.]ttl$", validator.getModelRules().stream() - .filter(r -> !r.getPath().contains("m4.ttl")).collect( + .filter(r -> !r.getPath().contains("m2.ttl")) + .filter(r -> !r.getPath().contains("m3.ttl")) + .filter(r -> !r.getPath().contains("m4.ttl")) + .filter(r -> !r.getPath().contains("m5.ttl")) + .filter(r -> !r.getPath().contains("m6.ttl")) + .filter(r -> !r.getPath().contains("m7.ttl")) + .collect( Collectors.toSet()) ); }