Relevant Trill axioms (derived from provided ontology http://ml.unife.it/miniBRCA)
NB: IRI's are here displayed in short form to enhance readability:


% Progestinic are post-menopausal hormones :

subClassOf('#Progestin',
   '#PostmenopausalHormones')



% People 50-60 years old, who entered into menopause, early have a weakely increased risk of developing the disease :

subClassOf(intersectionOf([ '#Age5060',
    '#EarlyMenopause'
  ]),
   '#WomanUnderWeakelyIncreasedBRCRisk')



% People with a known risk of developing the desease, who also takes progestinics, have a moderately increased risk of developing the disease :

subClassOf(intersectionOf([ '#BRCRisk',
    someValuesFrom('#takesHormones',
   '#Progestin')
  ]),
   '#WomanUnderModeratelyIncreasedBRCRisk')



% Having known both weakly and moderately increased risk of developing the desease results in a strongly increased risk of developing it :

subClassOf(intersectionOf([ '#WomanUnderModeratelyIncreasedBRCRisk',
    '#WomanUnderWeakelyIncreasedBRCRisk'
  ]),
   '#WomanUnderStronglyIncreasedBRCRisk')



% People, that have some risk factor for the desease, have a known risk of developing it :

subClassOf(someValuesFrom('#hasRiskFactor',
  '#RiskFactor'),
   '#BRCRisk')



% People, who take some kind of post-menopausal hormones, have some risk factors gven by the hormones :

subClassOf(someValuesFrom('#takesHormones',
  '#PostmenopausalHormones'),
   someValuesFrom('#hasRiskFactor',
  '#RiskFactor'))



annotationAssertion('https://sites.google.com/a/unife.it/ml/disponte#probability',
    subClassOf(intersectionOf([ '#Age5060',
'#EarlyMenopause'
      ]),
       '#WomanUnderWeakelyIncreasedBRCRisk'),
    literal('0.72'))



annotationAssertion('https://sites.google.com/a/unife.it/ml/disponte#probability',
    subClassOf(intersectionOf([ '#BRCRisk',
someValuesFrom('#takesHormones',
       '#Progestin')
      ]),
       '#WomanUnderModeratelyIncreasedBRCRisk'),
    literal('0.61'))



annotationAssertion('https://sites.google.com/a/unife.it/ml/disponte#probability',
    subClassOf(intersectionOf([ '#WomanUnderModeratelyIncreasedBRCRisk',
'#WomanUnderWeakelyIncreasedBRCRisk'
      ]),
       '#WomanUnderStronglyIncreasedBRCRisk'),
    literal('0.56'))



annotationAssertion('https://sites.google.com/a/unife.it/ml/disponte#probability',
    subClassOf(someValuesFrom('#hasRiskFactor',
      '#RiskFactor'),
       '#BRCRisk'),
    literal('0.9'))



annotationAssertion('https://sites.google.com/a/unife.it/ml/disponte#probability',
    subClassOf(someValuesFrom('#takesHormones',
      '#PostmenopausalHormones'),
       someValuesFrom('#hasRiskFactor',
      '#RiskFactor')),
    literal('0.6'))



annotationAssertion('https://sites.google.com/a/unife.it/ml/disponte#probability',
    classAssertion('#Age5060',
   '#Helen'),
    literal('0.2'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    subClassOf('#Progestin',
       '#PostmenopausalHormones'),
    literal('Progestinic are post-menopausal hormones'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    subClassOf(intersectionOf([ '#Age5060',
'#EarlyMenopause'
      ]),
       '#WomanUnderWeakelyIncreasedBRCRisk'),
    literal('People 50-60 years old, who entered into menopause, early have a weakely increased risk of developing the disease'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    subClassOf(intersectionOf([ '#BRCRisk',
someValuesFrom('#takesHormones',
       '#Progestin')
      ]),
       '#WomanUnderModeratelyIncreasedBRCRisk'),
    literal('People with a known risk of developing the desease, who also takes progestinics, have a moderately increased risk of developing the disease'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    subClassOf(intersectionOf([ '#WomanUnderModeratelyIncreasedBRCRisk',
'#WomanUnderWeakelyIncreasedBRCRisk'
      ]),
       '#WomanUnderStronglyIncreasedBRCRisk'),
    literal('Having known both weakly and moderately increased risk of developing the desease results in a strongly increased risk of developing it'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    subClassOf(someValuesFrom('#hasRiskFactor',
      '#RiskFactor'),
       '#BRCRisk'),
    literal('People, that have some risk factor for the desease, have a known risk of developing it'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    subClassOf(someValuesFrom('#takesHormones',
      '#PostmenopausalHormones'),
       someValuesFrom('#hasRiskFactor',
      '#RiskFactor')),
    literal('People, who take some kind of post-menopausal hormones, have some risk factors gven by the hormones'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    classAssertion('#Age5060',
   '#Helen'),
    literal('Helen has age between 50 and 60'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    classAssertion('#EarlyMenopause',
   '#Helen'),
    literal('Helen went into menopause early'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    classAssertion('#Progestin',
   '#19-nor-progesterone-derived'),
    literal('19-nor-progesterone-derived is a Progestin, is a synthetic progestogen'))



annotationAssertion('http://www.w3.org/2000/01/rdf-schema#label',
    propertyAssertion('#takesHormones',
      '#Helen',
      '#19-nor-progesterone-derived'),
    literal('Helen takes hormones 19-nor-progesterone-derived'))



% Helen takes hormones 19-nor-progesterone-derived :

propertyAssertion('#takesHormones',
  '#Helen',
  '#19-nor-progesterone-derived')



% Helen has age between 50 and 60 :

classAssertion('#Age5060',
       '#Helen')



% Helen went into menopause early :

classAssertion('#EarlyMenopause',
       '#Helen')



% 19-nor-progesterone-derived is a Progestin, is a synthetic progestogen :

classAssertion('#Progestin',
       '#19-nor-progesterone-derived')