Prefix: : <http://ex.com/owl/families#>
Ontology: <http://example.com/owl/families>

# nessuno è moglie di se stesso/a
ObjectProperty: :hasWife
  Characteristics: Irreflexive  

# se a è coniuge di b, b è coniuge di a
ObjectProperty: :hasSpouse
  Characteristics: Symmetric 

# il codice fiscale è uno-a-uno con le persone
ObjectProperty: :hasSSN 
  Characteristics: Functional, InverseFunctional

# "antenato" è una relazione transitiva
ObjectProperty: :hasAncestor
  Characteristics: Transitive
  
# lo zio è il fratello di un genitore
ObjectProperty: :hasUncle
  SubPropertyChain: :hasParent o :hasBrother

# "genitore" è l'inverso di "figlio/a"
# e se a è genitore di b, a non può essere figlio di b
ObjectProperty: :hasParent 
   InverseOf: :hasChild  
   DisjointWith: :hasChild

ObjectProperty: :hasBrother
ObjectProperty: :hasChild