# $Id: gedcom-relations.n3,v 1.20 2003/06/29 11:31:17 amdus Exp $

# Original http://www.daml.org/2001/01/gedcom/gedcom-relations.xml by Mike Dean (BBN Technologies / Verizon)
# Rewritten in N3 (Jos De Roo AGFA)
# state that the rules are true (made by Tim Berners-Lee W3C)
# see also http://www.w3.org/2000/10/swap/Examples.html

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix : <gedcom-relations#>.

gc:parent owl:inverseOf gc:child.
gc:grandparent owl:inverseOf gc:grandchild.
gc:ancestor owl:inverseOf gc:descendent.
gc:sibling a owl:SymmetricProperty.
gc:spouse a owl:SymmetricProperty.
gc:ancestor a owl:TransitiveProperty.
gc:parent rdfs:subPropertyOf gc:ancestor.

{:gc1 log:racine ?LR. ?C gc:childIn ?F. ?P gc:spouseIn ?F} => {?C gc:parent ?P}.
{:gc2 log:racine ?LR. ?C gc:parent ?P. ?P gc:sex gc:Male} => {?C gc:father ?P}.
{:gc3 log:racine ?LR. ?C gc:parent ?P. ?P gc:sex gc:Female} => {?C gc:mother ?P}.
{:gc4 log:racine ?LR. ?C gc:parent ?P. ?C gc:sex gc:Male} => {?P gc:son ?C}.
{:gc5 log:racine ?LR. ?C gc:parent ?P. ?C gc:sex gc:Female} => {?P gc:daughter ?C}.

{:gc6 log:racine ?LR. ?C gc:parent ?P. ?P gc:parent ?GP} => {?C gc:grandparent ?GP}.
{:gc7 log:racine ?LR. ?C gc:grandparent ?GP. ?GP gc:sex gc:Male} => {?C gc:grandfather ?GP}.
{:gc8 log:racine ?LR. ?C gc:grandparent ?GP. ?GP gc:sex gc:Female} => {?C gc:grandmother ?GP}.
{:gc9 log:racine ?LR. ?C gc:grandparent ?GP. ?C gc:sex gc:Male} => {?GP gc:grandson ?C}.
{:gc10 log:racine ?LR. ?C gc:grandparent ?GP. ?C gc:sex gc:Female} => {?GP gc:granddaughter ?C}.

{:gc11 log:racine ?LR. ?C gc:childIn ?F. ?C2 gc:childIn ?F. ?C owl:differentFrom ?C2} => {?C gc:sibling ?C2}.
{:gc12 log:racine ?LR. ?C gc:sibling ?S. ?S gc:sex gc:Male} => {?C gc:brother ?S}.
{:gc13 log:racine ?LR. ?C gc:sibling ?S. ?S gc:sex gc:Female} => {?C gc:sister ?S}.

{:gc14 log:racine ?LR. ?SP gc:spouseIn ?F. ?SP2 gc:spouseIn ?F. ?SP owl:differentFrom ?SP2} => {?SP gc:spouse ?SP2}.
{:gc15 log:racine ?LR. ?SP gc:spouse ?H. ?H gc:sex gc:Male} => {?SP gc:husband ?H}.
{:gc16 log:racine ?LR. ?SP gc:spouse ?W. ?W gc:sex gc:Female} => {?SP gc:wife ?W}.

{:gc17a log:racine ?LR. ?C gc:parent ?P. ?P gc:brother ?U} => {?C gc:uncle ?U}.
{:gc17b log:racine ?LR. ?C gc:parent ?P. ?P gc:sister ?A. ?A gc:spouse ?U} => {?C gc:uncle ?U}.
{:gc18a log:racine ?LR. ?C gc:parent ?P. ?P gc:sister ?A} => {?C gc:aunt ?A}.
{:gc18b log:racine ?LR. ?C gc:parent ?P. ?P gc:brother ?U. ?U gc:spouse ?A} => {?C gc:aunt ?A}.

{:gc19 log:racine ?LR. ?P gc:daughter ?C. ?P gc:sibling ?S} => {?S gc:niece ?C}.
{:gc20 log:racine ?LR. ?P gc:son ?C. ?P gc:sibling ?S} => {?S gc:nephew ?C}.
{:gc21 log:racine ?LR. ?C gc:parent ?S. ?C2 gc:parent ?S2. ?S gc:sibling ?S2} => {?C gc:firstcousin ?C2}.
{:gc22 log:racine ?LR. ?S gc:sibling ?S2. ?S gc:descendent ?D. ?S2 gc:descendent ?D2} => {?D gc:cousin ?D2}.