Update section dir names

This commit is contained in:
Dmitri Soshnikov 2022-05-16 15:21:24 +03:00
parent 5a2d42b409
commit 33315fd5e2
8 changed files with 601 additions and 1 deletions

1
.gitignore vendored
View File

@ -14,7 +14,6 @@
*.userprefs
.ipynb_checkpoints/
data/
.vector_cache/
# Mono auto generated files

View File

@ -0,0 +1,288 @@
@prefix fhkb: <http://www.example.com/genealogy.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://www.example.com/genealogy.owl#> a owl:Ontology .
fhkb:DomainEntity a owl:Class .
fhkb:Man a owl:Class ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( fhkb:Person [ a owl:Restriction ;
owl:onProperty fhkb:hasSex ;
owl:someValuesFrom fhkb:Male ] ) ] .
fhkb:Woman a owl:Class ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( fhkb:Person [ a owl:Restriction ;
owl:onProperty fhkb:hasSex ;
owl:someValuesFrom fhkb:Female ] ) ] .
fhkb:Person a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty fhkb:hasMother ;
owl:someValuesFrom fhkb:Woman ],
[ a owl:Restriction ;
owl:maxQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass fhkb:Person ;
owl:onProperty fhkb:hasParent ],
[ a owl:Restriction ;
owl:onProperty fhkb:hasFather ;
owl:someValuesFrom fhkb:Man ],
[ a owl:Restriction ;
owl:onProperty fhkb:hasSex ;
owl:someValuesFrom fhkb:Sex ],
fhkb:DomainEntity ;
owl:disjointWith fhkb:Sex ;
owl:equivalentClass [ a owl:Class ;
owl:unionOf ( fhkb:Man fhkb:Woman ) ] .
fhkb:Marriage a owl:Class ;
rdfs:subClassOf fhkb:DomainEntity .
fhkb:Male a owl:Class ;
rdfs:subClassOf fhkb:Sex .
fhkb:Female a owl:Class ;
rdfs:subClassOf fhkb:Sex ;
owl:disjointWith fhkb:Male .
fhkb:Sex a owl:Class ;
rdfs:subClassOf fhkb:DomainEntity ;
owl:equivalentClass [ a owl:Class ;
owl:unionOf ( fhkb:Female fhkb:Male ) ] .
fhkb:Ancestor a owl:Class ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( fhkb:Person [ a owl:Restriction ;
owl:onProperty fhkb:isAncestorOf ;
owl:someValuesFrom fhkb:Person ] ) ] .
fhkb:hasFemalePartner a owl:ObjectProperty ;
rdfs:range fhkb:Woman ;
rdfs:domain fhkb:Marriage ;
rdfs:subPropertyOf fhkb:hasPartner ;
owl:inverseOf fhkb:isFemalePartnerIn .
fhkb:hasMalePartner a owl:ObjectProperty ;
rdfs:range fhkb:Man ;
rdfs:domain fhkb:Marriage ;
rdfs:subPropertyOf fhkb:hasPartner ;
owl:inverseOf fhkb:isMalePartnerIn .
fhkb:isFatherOf a owl:ObjectProperty .
fhkb:isMotherOf a owl:ObjectProperty .
fhkb:isBrotherOf a owl:ObjectProperty ;
rdfs:domain fhkb:Man ;
rdfs:range fhkb:Person ;
rdfs:subPropertyOf fhkb:isSiblingOf .
fhkb:isSisterOf a owl:ObjectProperty ;
rdfs:domain fhkb:Woman ;
rdfs:range fhkb:Person ;
rdfs:subPropertyOf fhkb:isSiblingOf .
fhkb:hasHusband a owl:ObjectProperty ;
rdfs:range fhkb:Man ;
rdfs:subPropertyOf fhkb:hasSpouse ;
owl:propertyChainAxiom ( fhkb:isFemalePartnerIn fhkb:hasMalePartner ) .
fhkb:hasWife a owl:ObjectProperty ;
rdfs:range fhkb:Woman ;
rdfs:subPropertyOf fhkb:hasSpouse ;
owl:propertyChainAxiom ( fhkb:isMalePartnerIn fhkb:hasFemalePartner ) .
fhkb:isHusbandOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasHusband .
fhkb:isWifeOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasWife .
fhkb:isPartnerIn a owl:ObjectProperty .
fhkb:hasPartner a owl:ObjectProperty ;
rdfs:domain fhkb:Marriage ;
rdfs:range fhkb:Person ;
owl:inverseOf fhkb:isPartnerIn .
fhkb:isSpouseOf a owl:ObjectProperty .
fhkb:hasSpouse a owl:ObjectProperty ;
owl:inverseOf fhkb:isSpouseOf .
fhkb:isFemalePartnerIn a owl:ObjectProperty .
fhkb:isMalePartnerIn a owl:ObjectProperty .
fhkb:isSiblingOf a owl:ObjectProperty,
owl:SymmetricProperty,
owl:TransitiveProperty ;
rdfs:subPropertyOf fhkb:isBloodrelationOf ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:isParentOf ) .
fhkb:hasChild a owl:ObjectProperty .
fhkb:isChildOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasChild .
fhkb:hasDaughter a owl:ObjectProperty ;
rdfs:subPropertyOf fhkb:hasChild .
fhkb:hasSon a owl:ObjectProperty ;
rdfs:subPropertyOf fhkb:hasChild .
fhkb:isDaughterOf a owl:ObjectProperty ;
rdfs:subPropertyOf fhkb:isChildOf ;
owl:inverseOf fhkb:hasDaughter .
fhkb:isSonOf a owl:ObjectProperty ;
rdfs:subPropertyOf fhkb:isChildOf ;
owl:inverseOf fhkb:hasSon .
fhkb:hasFather a owl:FunctionalProperty,
owl:ObjectProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Man ;
rdfs:subPropertyOf fhkb:hasParent ;
owl:inverseOf fhkb:isFatherOf .
fhkb:hasMother a owl:FunctionalProperty,
owl:ObjectProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Woman ;
rdfs:subPropertyOf fhkb:hasParent ;
owl:inverseOf fhkb:isMotherOf .
fhkb:hasParent a owl:ObjectProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Person ;
rdfs:subPropertyOf fhkb:hasAncestor ;
owl:equivalentProperty fhkb:isChildOf ;
owl:inverseOf fhkb:isParentOf .
fhkb:isParentOf a owl:ObjectProperty .
fhkb:hasSex a owl:FunctionalProperty,
owl:ObjectProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Sex .
fhkb:isAncestorOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasAncestor .
fhkb:hasRelation a owl:ObjectProperty,
owl:SymmetricProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Person .
fhkb:isBloodrelationOf a owl:ObjectProperty ;
rdfs:subPropertyOf fhkb:hasRelation .
fhkb:hasAncestor a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:subPropertyOf fhkb:hasRelation .
fhkb:hasUncle a owl:ObjectProperty ;
owl:inverseOf fhkb:isUncleOf .
fhkb:isUncleOf a owl:ObjectProperty ;
rdfs:domain fhkb:Man ;
rdfs:range fhkb:Person ;
owl:propertyChainAxiom ( fhkb:isBrotherOf fhkb:isParentOf ) .
fhkb:hasGreatUncle a owl:ObjectProperty ;
owl:inverseOf fhkb:isGreatUncleOf .
fhkb:isGreatUncleOf a owl:ObjectProperty ;
rdfs:domain fhkb:Man ;
rdfs:range fhkb:Person ;
owl:propertyChainAxiom ( fhkb:isBrotherOf fhkb:isGrandParentOf ) .
fhkb:hasAunt a owl:ObjectProperty ;
owl:inverseOf fhkb:isAuntOf .
fhkb:isAuntOf a owl:ObjectProperty ;
rdfs:domain fhkb:Woman ;
rdfs:range fhkb:Person ;
owl:propertyChainAxiom ( fhkb:isSisterOf fhkb:isParentOf ) .
fhkb:hasGreatAunt a owl:ObjectProperty ;
owl:inverseOf fhkb:isGreatAuntOf .
fhkb:isGreatAuntOf a owl:ObjectProperty ;
rdfs:domain fhkb:Woman ;
rdfs:range fhkb:Person ;
owl:propertyChainAxiom ( fhkb:isSisterOf fhkb:isGrandParentOf ) .
fhkb:isCousinOf a owl:ObjectProperty ;
rdfs:subPropertyOf fhkb:isBloodrelationOf .
fhkb:isFirstCousinOf a owl:ObjectProperty,
owl:SymmetricProperty ;
rdfs:subPropertyOf fhkb:isCousinOf ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:isSiblingOf fhkb:isParentOf ) .
fhkb:isSecondCousinOf a owl:ObjectProperty,
owl:SymmetricProperty ;
rdfs:subPropertyOf fhkb:isCousinOf ;
owl:propertyChainAxiom ( fhkb:hasGrandParent fhkb:isSiblingOf fhkb:isGrandParentOf ) .
fhkb:isThirdCousinOf a owl:ObjectProperty,
owl:SymmetricProperty ;
rdfs:subPropertyOf fhkb:isCousinOf ;
owl:propertyChainAxiom ( fhkb:hasGreatGrandParent fhkb:isSiblingOf fhkb:isGreatGrandParentOf ) .
fhkb:isGrandfatherOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasGrandfather .
fhkb:isGrandmotherOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasGrandmother .
fhkb:isGrandParentOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasGrandParent .
fhkb:hasGrandfather a owl:ObjectProperty ;
rdfs:range fhkb:Man ;
rdfs:subPropertyOf fhkb:hasGrandParent ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasFather ) .
fhkb:hasGrandmother a owl:ObjectProperty ;
rdfs:range fhkb:Woman ;
rdfs:subPropertyOf fhkb:hasGrandParent ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasMother ) .
fhkb:hasGrandParent a owl:ObjectProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Person ;
rdfs:subPropertyOf fhkb:hasAncestor ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasParent ) .
fhkb:isGreatGrandfatherOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasGreatGrandfather .
fhkb:isGreatGrandmotherOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasGreatGrandmother .
fhkb:isGreatGrandParentOf a owl:ObjectProperty ;
owl:inverseOf fhkb:hasGreatGrandParent .
fhkb:hasGreatGrandfather a owl:ObjectProperty ;
rdfs:range fhkb:Man ;
rdfs:subPropertyOf fhkb:hasGreatGrandParent ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasGrandfather ) .
fhkb:hasGreatGrandmother a owl:ObjectProperty ;
rdfs:range fhkb:Woman ;
rdfs:subPropertyOf fhkb:hasGreatGrandParent ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasGrandmother ) .
fhkb:hasGreatGrandParent a owl:ObjectProperty ;
rdfs:domain fhkb:Person ;
rdfs:range fhkb:Person ;
rdfs:subPropertyOf fhkb:hasAncestor ;
owl:propertyChainAxiom ( fhkb:hasParent fhkb:hasParent fhkb:hasParent ) .

View File

@ -0,0 +1,313 @@
0 HEAD
1 CHAR UTF8
1 GEDC
2 VERS 5.5
0 @0@ INDI
1 NAME Mihail Fedorovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1613
1 DEAT
2 DATE 1645
1 FAMS @41@
0 @1@ INDI
1 NAME Evdokija Lukjanovna /Streshneva/
1 SEX F
1 FAMS @41@
0 @2@ INDI
1 NAME Aleksej Mihajlovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1645
1 DEAT
2 DATE 1676
1 FAMC @41@
1 FAMS @42@
1 FAMS @46@
0 @3@ INDI
1 NAME Marija Ilinichna /Miloslavskaja/
1 SEX F
1 FAMS @42@
0 @4@ INDI
1 NAME Natalja Kirillovna /Naryshkina/
1 SEX F
1 FAMS @46@
0 @5@ INDI
1 NAME Marfa Matveevna /Apraksina/
1 SEX F
0 @6@ INDI
1 NAME Fedor Alekseevich /Romanov/
1 SEX M
1 BIRT
2 DATE 1676
1 DEAT
2 DATE 1682
1 FAMC @42@
0 @7@ INDI
1 NAME Sofja Aleksevna /Romanova/
1 SEX F
1 FAMC @42@
0 @8@ INDI
1 NAME Ivan V Alekseevich /Romanov/
1 SEX M
1 BIRT
2 DATE 1682
1 DEAT
2 DATE 1696
1 FAMC @42@
1 FAMS @43@
0 @9@ INDI
1 NAME Praskovja Fedorovna /Saltykova/
1 SEX F
1 FAMS @43@
0 @10@ INDI
1 NAME Ekaterina Ivanovna /Romanova/
1 SEX F
1 FAMC @43@
1 FAMS @44@
0 @11@ INDI
1 NAME Anna Ivanovna /Romanova/
1 SEX F
1 BIRT
2 DATE 1730
1 DEAT
2 DATE 1740
1 FAMC @43@
0 @12@ INDI
1 NAME Fridrih Vilgelm /Kurlandskij/
1 SEX M
0 @13@ INDI
1 NAME Karl Leopold /Meklenburg-Shverinskij/
1 SEX M
1 FAMS @44@
0 @14@ INDI
1 NAME Anna Leopoldovna /Meklenburg-Shverinskaja/
1 SEX F
1 FAMC @44@
1 FAMS @45@
0 @15@ INDI
1 NAME Anton Ulrih /Braunshvejg-Volfenbjuttelskij/
1 SEX M
1 FAMS @45@
0 @16@ INDI
1 NAME Ivan VI Antonovich /Braunshvejg-Volfenbjuttelskij/
1 SEX M
1 BIRT
2 DATE 1740
1 DEAT
2 DATE 1741
1 FAMC @45@
0 @17@ INDI
1 NAME Petr I Alekseevich /Romanov/
1 SEX M
1 BIRT
2 DATE 1682
1 DEAT
2 DATE 1725
1 FAMC @46@
1 FAMS @47@
1 FAMS @49@
0 @18@ INDI
1 NAME Evdokija Fedorovna /Lopuhina/
1 SEX F
1 FAMS @47@
0 @19@ INDI
1 NAME Ekaterina I Alekseevna /Mihajlova/
1 SEX F
1 BIRT
2 DATE 1725
1 DEAT
2 DATE 1727
1 FAMS @49@
0 @20@ INDI
1 NAME Aleksej Petrovich /Romanov/
1 SEX M
1 FAMC @47@
1 FAMS @48@
0 @21@ INDI
1 NAME Sharlotta Kristina /Braunshvejg-Volfenbjuttelskaja/
1 SEX F
1 FAMS @48@
0 @22@ INDI
1 NAME Petr II Alekseevich /Romanov/
1 SEX M
1 BIRT
2 DATE 1727
1 FAMC @48@
0 @23@ INDI
1 NAME Anna Petrovna /Romanova/
1 SEX F
1 FAMC @49@
1 FAMS @50@
0 @24@ INDI
1 NAME Elizaveta Petrovna /Romanova/
1 SEX F
1 BIRT
2 DATE 1741
1 DEAT
2 DATE 1761
1 FAMC @49@
0 @25@ INDI
1 NAME Karl Fridrih /Golshtejn-Gottorpskij/
1 SEX M
1 FAMS @50@
0 @26@ INDI
1 NAME Petr III Fedorovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1761
1 DEAT
2 DATE 1762
1 FAMC @50@
1 FAMS @51@
0 @27@ INDI
1 NAME Ekaterina II /Alekseevna/
1 SEX F
1 BIRT
2 DATE 1762
1 DEAT
2 DATE 1796
1 FAMS @51@
0 @28@ INDI
1 NAME Pavel I Petrovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1796
1 DEAT
2 DATE 1801
1 FAMC @51@
1 FAMS @52@
0 @29@ INDI
1 NAME Natalja Alekseevna /Gessen-Darmshtadskaja/
1 SEX F
0 @30@ INDI
1 NAME Marija Fedorovna /Vjurtembergskaja/
1 SEX F
1 FAMS @52@
0 @31@ INDI
1 NAME Aleksandr I Pavlovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1801
1 DEAT
2 DATE 1825
1 FAMC @52@
0 @32@ INDI
1 NAME Elizaveta Alekseevna /Baden-Durlahskaja/
1 SEX F
0 @33@ INDI
1 NAME Nikolaj I Pavlovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1825
1 DEAT
2 DATE 1855
1 FAMC @52@
1 FAMS @53@
0 @34@ INDI
1 NAME Aleksandra Fedorovna /Prusskaja/
1 SEX F
1 FAMS @53@
0 @35@ INDI
1 NAME Aleksandr II Nikolaevich /Romanov/
1 SEX M
1 BIRT
2 DATE 1855
1 DEAT
2 DATE 1881
1 FAMC @53@
1 FAMS @54@
0 @36@ INDI
1 NAME Marija Aleksandrovna /Gessenskaja/
1 SEX F
1 FAMS @54@
0 @37@ INDI
1 NAME Aleksandr III Aleksandrovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1881
1 DEAT
2 DATE 1894
1 FAMC @54@
1 FAMS @55@
0 @38@ INDI
1 NAME Marija Fedorovna /Datskaja/
1 SEX F
1 FAMS @55@
0 @39@ INDI
1 NAME Nikolaj II Aleksandrovich /Romanov/
1 SEX M
1 BIRT
2 DATE 1894
1 DEAT
2 DATE 1917
1 FAMC @55@
0 @40@ INDI
1 NAME Aleksandra Fedorovna /Gessenskaja/
1 SEX F
0 @41@ FAM
1 HUSB @0@
1 WIFE @1@
1 CHIL @2@
0 @42@ FAM
1 HUSB @2@
1 WIFE @3@
1 CHIL @6@
1 CHIL @7@
1 CHIL @8@
0 @43@ FAM
1 HUSB @8@
1 WIFE @9@
1 CHIL @10@
1 CHIL @11@
0 @44@ FAM
1 HUSB @13@
1 WIFE @10@
1 CHIL @14@
0 @45@ FAM
1 HUSB @15@
1 WIFE @14@
1 CHIL @16@
0 @46@ FAM
1 HUSB @2@
1 WIFE @4@
1 CHIL @17@
0 @47@ FAM
1 HUSB @17@
1 WIFE @18@
1 CHIL @20@
0 @48@ FAM
1 HUSB @20@
1 WIFE @21@
1 CHIL @22@
0 @49@ FAM
1 HUSB @17@
1 WIFE @19@
1 CHIL @23@
1 CHIL @24@
0 @50@ FAM
1 HUSB @25@
1 WIFE @23@
1 CHIL @26@
0 @51@ FAM
1 HUSB @26@
1 WIFE @27@
1 CHIL @28@
0 @52@ FAM
1 HUSB @28@
1 WIFE @30@
1 CHIL @31@
1 CHIL @33@
0 @53@ FAM
1 HUSB @33@
1 WIFE @34@
1 CHIL @35@
0 @54@ FAM
1 HUSB @35@
1 WIFE @36@
1 CHIL @37@
0 @55@ FAM
1 HUSB @37@
1 WIFE @38@
1 CHIL @39@
0 TRLR