Skip to content

Commit

Permalink
[#173] fix to OFN cas model; turning off OntoUml validation rules to …
Browse files Browse the repository at this point in the history
…speed things up
  • Loading branch information
psiotwo committed Feb 9, 2021
1 parent 0d60775 commit 76b791a
Show file tree
Hide file tree
Showing 12 changed files with 358 additions and 371 deletions.
2 changes: 1 addition & 1 deletion content/g-sgov/g-sgov-čas/g-sgov-čas-diagram-MaNe.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,6 @@ g-sgov-čas:g_sgov_čas
<http://purl.org/dc/terms/identifier>
"e788c857-4702-4595-ab09-ced4acf3627a" ;
<http://purl.org/dc/terms/relation>
g-sgov-čas-pojem:týden-v-roce , g-sgov-čas-pojem:časová-doba , <https://slovník.gov.cz/základní/pojem/časová-specifikace> , <https://slovník.gov.cz/generický/číselníky/pojem/den-v-týdnu> , <https://slovník.gov.cz/veřejný-sektor/pojem/časový-okamžik> , 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í , <https://slovník.gov.cz/generický/číselníky/pojem/jiná-časová-specifikace> , 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 , <https://slovník.gov.cz/generický/číselníky/pojem/frekvence> , g-sgov-čas-pojem:má-den-v-týdnu , <https://slovník.gov.cz/veřejný-sektor/pojem/časový-interval> , <https://slovník.gov.cz/generický/číselníky/pojem/časové-období> , 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 , <https://slovník.gov.cz/základní/pojem/časová-specifikace> , <https://slovník.gov.cz/generický/číselníky/pojem/den-v-týdnu> , <https://slovník.gov.cz/základní/pojem/časový-okamžik> , 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í , <https://slovník.gov.cz/generický/číselníky/pojem/jiná-časová-specifikace> , 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 , <https://slovník.gov.cz/generický/číselníky/pojem/frekvence> , g-sgov-čas-pojem:má-den-v-týdnu , <https://slovník.gov.cz/základní/pojem/časový-interval> , <https://slovník.gov.cz/generický/číselníky/pojem/časové-období> , 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í ;
<http://www.w3.org/2004/02/skos/core#prefLabel>
"G_SGOV_čas"@cs .
12 changes: 8 additions & 4 deletions content/g-sgov/g-sgov-čas/g-sgov-čas-glosář.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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 <https://slovník.gov.cz/veřejný-sektor/pojem/časový-okamžik>, z-sgov-pojem:typ-objektu;
skos:broader <https://slovník.gov.cz/základní/pojem/časový-okamžik>, 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 <https://slovník.gov.cz/veřejný-sektor/pojem/časový-interval>, z-sgov-pojem:typ-objektu;
skos:broader <https://slovník.gov.cz/základní/pojem/časový-interval>, 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 .
Expand Down Expand Up @@ -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ář;
Expand All @@ -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 <https://slovník.gov.cz/generický/věci/pojem/věc>, z-sgov-pojem:typ-objektu,
z-sgov-pojem:časová-specifikace;
skos:broader <https://slovník.gov.cz/generický/věci/pojem/věc>, 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 .
Expand Down
77 changes: 77 additions & 0 deletions content/g-sgov/g-sgov-čas/g-sgov-čas-mapování.ttl
Original file line number Diff line number Diff line change
@@ -0,0 +1,77 @@
@prefix : <https://slovník.gov.cz/generický/čas/mapování#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix schema: <https://schema.org/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix g-sgov-čas: <https://slovník.gov.cz/generický/čas/> .
@prefix z-sgov-pojem: <https://slovník.gov.cz/základní/pojem/> .
@prefix g-sgov-čas-pojem: <https://slovník.gov.cz/generický/čas/pojem/> .
@prefix a-popis-dat-pojem: <http://onto.fel.cvut.cz/ontologies/slovník/agendový/popis-dat/pojem/> .
@base <https://slovník.gov.cz/generický/čas/mapování> .

<https://slovník.gov.cz/generický/čas/mapování> rdf:type owl:Ontology ;
owl:versionIRI <https://slovník.gov.cz/generický/čas/mapování/verze/0.0.1> ;
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í
<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
8 changes: 4 additions & 4 deletions content/g-sgov/g-sgov-čas/g-sgov-čas-model-MaNe-compact.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ g-sgov-čas-pojem:má-specifickou-frekvenci
rdfs:range g-sgov-čas-pojem:specifická-frekvence ;
rdfs:subPropertyOf <https://slovník.gov.cz/základní/pojem/vztah> .

<https://slovník.gov.cz/veřejný-sektor/pojem/časový-interval>
<https://slovník.gov.cz/základní/pojem/časový-interval>
a owl:Class .

g-sgov-čas-pojem:den-v-měsíci
Expand Down Expand Up @@ -101,7 +101,7 @@ g-sgov-čas-pojem:časová-specifikace

g-sgov-čas-pojem:časový-okamžik
a <https://slovník.gov.cz/základní/pojem/typ-objektu> , owl:Class ;
rdfs:subClassOf <https://slovník.gov.cz/veřejný-sektor/pojem/časový-okamžik> .
rdfs:subClassOf <https://slovník.gov.cz/základní/pojem/časový-okamžik> .

g-sgov-čas-pojem:má-časový-okamžik
a owl:ObjectProperty , <https://slovník.gov.cz/základní/pojem/typ-vztahu> ;
Expand Down Expand Up @@ -196,10 +196,10 @@ g-sgov-čas-pojem:čas a owl:DatatypeProperty , <https://slovník.gov.cz/z

g-sgov-čas-pojem:časový-interval
a <https://slovník.gov.cz/základní/pojem/typ-objektu> , owl:Class ;
rdfs:subClassOf <https://slovník.gov.cz/veřejný-sektor/pojem/časový-interval> .
rdfs:subClassOf <https://slovník.gov.cz/základní/pojem/časový-interval> .

<https://slovník.gov.cz/základní/pojem/časová-specifikace>
a owl:Class .

<https://slovník.gov.cz/veřejný-sektor/pojem/časový-okamžik>
<https://slovník.gov.cz/základní/pojem/časový-okamžik>
a owl:Class .
18 changes: 9 additions & 9 deletions content/g-sgov/g-sgov-čas/g-sgov-čas-model.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -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ář, <https://slovník.gov.cz/základní/model/plný>;
owl:versionIRI <https://slovník.gov.cz/generický/čas/model/verze/0.0.1> .

z-sgov-pojem:časová-specifikace a owl:Class .
z-sgov-pojem:časový-prvek a owl:Class .

<https://slovník.gov.cz/veřejný-sektor/pojem/časový-interval> a owl:Class .
<https://slovník.gov.cz/základní/pojem/časový-interval> a owl:Class .

<https://slovník.gov.cz/veřejný-sektor/pojem/časový-okamžik> a owl:Class .
<https://slovník.gov.cz/základní/pojem/časový-okamžik> a owl:Class .

z-sgov-pojem:je-vlastností a owl:ObjectProperty;
owl:inverseOf z-sgov-pojem:má-vlastnost .
Expand All @@ -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 <https://slovník.gov.cz/veřejný-sektor/pojem/časový-okamžik> .
rdfs:subClassOf z-sgov-pojem:časový-okamžik .

<https://slovník.gov.cz/generický/věci/pojem/věc> a owl:Class .

g-sgov-čas-pojem:časový-interval a owl:Class, z-sgov-pojem:typ-objektu;
rdfs:subClassOf <https://slovník.gov.cz/veřejný-sektor/pojem/časový-interval> .
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;
Expand All @@ -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;
Expand All @@ -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;
Expand Down Expand Up @@ -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 <https://slovník.gov.cz/generický/věci/pojem/věc>, z-sgov-pojem:časová-specifikace .
rdfs:subClassOf <https://slovník.gov.cz/generický/věci/pojem/věc>, 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;
Expand Down
Loading

0 comments on commit 76b791a

Please sign in to comment.