1:-use_module(library(trill)).    2
    3:- trill. % or :- trillp. or :- tornado.
    4
    5/*
    6Model of risk factor of breast cancer, from
    7Klinov, P., Parsia, B.: Optimization and evaluation of reasoning in probabilistic
    8description logic: Towards a systematic approach. In: International Semantic Web
    9Conference. LNCS, vol. 5318, pp. 213-228. Springer (2008)
   10*/

?- prob_instanceOf('WomanUnderLifetimeBRCRisk','Helen',Prob). ?- instanceOf('WomanUnderLifetimeBRCRisk','Helen',ListExpl).

?- prob_sub_class('WomanAged3040','WomanUnderLifetimeBRCRisk',Prob). ?- sub_class('WomanAged3040','WomanUnderLifetimeBRCRisk',ListExpl).

*/

   22% Axioms
   23equivalentClasses(['WomanUnderLifetimeBRCRisk',intersectionOf(['Woman',someValuesFrom('hasRisk','LifetimeBRCRisk')])]).
   24equivalentClasses(['WomanUnderModeratelyIncreasedBRCRisk',intersectionOf(['WomanUnderIncreasedBRCRisk',someValuesFrom('hasRisk','ModeratelyIncreasedBRCRisk')])]).
   25equivalentClasses(['WomanUnderModeratelyReducedBRCRisk',someValuesFrom('hasRisk','ModeratelyReducedBRCRisk')]).
   26equivalentClasses(['WomanUnderReducedBRCRisk',intersectionOf(['WomanUnderBRCRisk',someValuesFrom('hasRisk','ReducedBRCRisk')])]).
   27equivalentClasses(['WomanUnderRelativeBRCRisk',intersectionOf([someValuesFrom('hasRisk','RelativeBRCRisk'),'Woman'])]).
   28equivalentClasses(['WomanUnderShortTermBRCRisk',intersectionOf(['Woman',someValuesFrom('hasRisk','ShortTermBRCRisk')])]).
   29equivalentClasses(['WomanUnderStronglyIncreasedBRCRisk',intersectionOf([someValuesFrom('hasRisk','StronglyIncreasedBRCRisk'),'WomanUnderIncreasedBRCRisk'])]).
   30equivalentClasses(['WomanUnderStronglyReducedBRCRisk',someValuesFrom('hasRisk','StronglyReducedBRCRisk')]).
   31equivalentClasses(['WomanUnderWeakelyIncreasedBRCRisk',intersectionOf(['WomanUnderIncreasedBRCRisk',someValuesFrom('hasRisk','WeakelyIncreasedBRCRisk')])]).
   32equivalentClasses(['WomanUnderWeakelyReducedBRCRisk',someValuesFrom('hasRisk','WeakelyReducedBRCRisk')]).
   33equivalentClasses(['WomanWithAtypicalHyperplasia',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','AtypicalHyperplasia')])]).
   34equivalentClasses(['WomanWithBRCA1Mutation',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','BRCA1Mutation')])]).
   35equivalentClasses(['WomanWithBRCA2Mutation',intersectionOf([someValuesFrom('hasRiskFactor','BRCA2Mutation'),'Woman'])]).
   36equivalentClasses(['WomanWithBRCAMutation',intersectionOf([someValuesFrom('hasRiskFactor','BRCAMutation'),'Woman'])]).
   37equivalentClasses(['WomanWithCarcinomaInSitu',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','CarcinomaInSitu')])]).
   38equivalentClasses(['WomanWithEarlyFirstChild',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','EarlyFirstChild')])]).
   39equivalentClasses(['WomanWithEarlyFirstPeriodAndLateMenopause',intersectionOf(['WomanHavingFirstPeriodBefore12','WomanWithLateMenopause'])]).
   40equivalentClasses(['WomanWithEarlyMenopause',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','EarlyMenopause')])]).
   41equivalentClasses(['WomanWithFamilyBRCHistory',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','FamilyCancerHistory')])]).
   42equivalentClasses(['WomanWithHighBoneDensity',intersectionOf([someValuesFrom('hasRiskFactor','HighBreastDensity'),'Woman'])]).
   43equivalentClasses(['WomanWithHighBreastDensity',intersectionOf([someValuesFrom('hasRiskFactor','HighBreastDensity'),'Woman'])]).
   44equivalentClasses(['WomanWithHighLevelOfEstrogen',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','HighLevelOfEstrogen')])]).
   45equivalentClasses(['WomanWithImmediateRelativesBRCAffected',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','TwoImmediateRelativesAffected')])]).
   46equivalentClasses(['WomanWithLateFirstChild',intersectionOf([someValuesFrom('hasRiskFactor','LateFirstChild'),'Woman'])]).
   47equivalentClasses(['WomanWithLateMenopause',intersectionOf([someValuesFrom('hasRiskFactor','LateMenopause'),'Woman'])]).
   48equivalentClasses(['WomanWithMotherAffectedAfterAge60',someValuesFrom('hasRiskFactor','MotherAffectedAfterAge60')]).
   49equivalentClasses(['WomanWithMotherAffectedBeforeAge60',someValuesFrom('hasRiskFactor','MotherAffectedBeforeAge60')]).
   50equivalentClasses(['WomanWithMotherBRCAffected',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','MotherAffected')])]).
   51equivalentClasses(['WomanWithPersonalBRCHistory',intersectionOf([someValuesFrom('hasRiskFactor','PersonalBRCHistory'),'Woman'])]).
   52equivalentClasses(['WomanWithRiskFactors',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','RiskFactor')])]).
   53equivalentClasses(['WomanWithUsualHyperplasia',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','UsualHyperplasia')])]).
   54equivalentClasses(['WomanWithoutBreastfeeding',intersectionOf([someValuesFrom('hasRiskFactor','NoBreastfeeding'),'Woman'])]).
   55equivalentClasses(['WomanWithoutChildren',intersectionOf(['Woman',someValuesFrom('hasRiskFactor','NoChildren'),someValuesFrom('hasRiskFactor',unionOf(['Age4050','Age50Plus','Age3040']))])]).
   56
   57disjointClasses(['AfricanAmerican','AshkenaziJew']).
   58disjointClasses(['Age2030','Age3040']).
   59disjointClasses(['Age2030','Age4050']).
   60disjointClasses(['Age2030','Age5060']).
   61disjointClasses(['Age2030','Age6070']).
   62disjointClasses(['Age2030','Age70Plus']).
   63disjointClasses(['Age2030','AgeUnder20']).
   64disjointClasses(['Age3040','Age4050']).
   65disjointClasses(['Age3040','Age6070']).
   66disjointClasses(['Age3040','Age70Plus']).
   67disjointClasses(['Age3040','AgeUnder20']).
   68disjointClasses(['Age4050','Age70Plus']).
   69disjointClasses(['Age5060','Age3040']).
   70disjointClasses(['Age5060','Age4050']).
   71disjointClasses(['Age5060','Age6070']).
   72disjointClasses(['Age5060','Age70Plus']).
   73disjointClasses(['Age6070','Age4050']).
   74disjointClasses(['Age6070','Age70Plus']).
   75disjointClasses(['AgeUnder20','Age4050']).
   76disjointClasses(['AgeUnder50','Age50Plus']).
   77disjointClasses(['AtypicalHyperplasia','UsualHyperplasia']).
   78disjointClasses(['BeforeMenopause','AfterMenopause']).
   79disjointClasses(['BeforeMenopause','LateMenopause']).
   80disjointClasses(['EarlyFirstChild','LateFirstChild']).
   81disjointClasses(['LateMenopause','EarlyMenopause']).
   82disjointClasses(['ModerateDecrease','WeakDecrease']).
   83disjointClasses(['MotherAffectedBeforeAge60','MotherAffectedAfterAge60']).
   84disjointClasses(['PostmenopausalWoman','PremenopausalWoman']).
   85disjointClasses(['StrongDecrease','ModerateDecrease']).
   86disjointClasses(['StrongDecrease','WeakDecrease']).
   87disjointClasses(['StrongIncrease','ModerateIncrease']).
   88disjointClasses(['StrongIncrease','WeakIncrease']).
   89disjointClasses(['WeakIncrease','ModerateIncrease']).
   90disjointClasses(['WomanUnderModeratelyIncreasedBRCRisk','WomanUnderStronglyIncreasedBRCRisk']).
   91disjointClasses(['WomanUnderModeratelyReducedBRCRisk','WomanUnderStronglyReducedBRCRisk']).
   92disjointClasses(['WomanUnderModeratelyReducedBRCRisk','WomanUnderWeakelyReducedBRCRisk']).
   93disjointClasses(['WomanUnderReducedBRCRisk','WomanUnderIncreasedBRCRisk']).
   94disjointClasses(['WomanUnderStronglyReducedBRCRisk','WomanUnderWeakelyReducedBRCRisk']).
   95disjointClasses(['WomanUnderWeakelyIncreasedBRCRisk','WomanUnderModeratelyIncreasedBRCRisk']).
   96disjointClasses(['WomanUnderWeakelyIncreasedBRCRisk','WomanUnderStronglyIncreasedBRCRisk']).
   97disjointClasses(['WomanWithLateFirstChild','WomanWithEarlyFirstChild']).
   98disjointClasses(['WomanWithLateFirstChild','WomanWithoutChildren']).
   99disjointClasses(['WomanWithoutChildren','WomanWithEarlyFirstChild']).
  100
  101subClassOf('WomanTakingEstrogen','Woman').
  102subClassOf('WomanTakingProgestin','Woman').
  103subClassOf('AbsoluteBRCRisk','BRCRisk').
  104subClassOf('AbsoluteRiskCategory','RiskCategory').
  105subClassOf('AfricanAmerican','Ethnicity').
  106subClassOf('AfricanAmericanWoman','Woman').
  107subClassOf('AfterMenopause','KnownFactor').
  108subClassOf('Age','KnownFactor').
  109subClassOf('Age2030','AgeUnder50').
  110subClassOf('Age3040','AgeUnder50').
  111subClassOf('Age4050','AgeUnder50').
  112subClassOf('Age5060','Age').
  113subClassOf('Age50Plus','Age').
  114subClassOf('Age6070','Age').
  115subClassOf('Age70Plus','Age').
  116subClassOf('AgeUnder20','AgeUnder50').
  117subClassOf('AgeUnder50','Age').
  118subClassOf('Alcohol','KnownFactor').
  119subClassOf('AshkenaziJew','Ethnicity').
  120subClassOf('AshkenaziJewishWoman','Woman').
  121subClassOf('AshkenaziJewishWoman','WomanWithBRCAMutation').
  122subClassOf('AtypicalHyperplasia','BenignBreastDisease').
  123subClassOf('BRCA1Mutation','BRCAMutation').
  124subClassOf('BRCA2Mutation','BRCAMutation').
  125subClassOf('BRCAMutation','InferredFactor').
  126subClassOf('BRCRisk',intersectionOf([someValuesFrom('riskType','BRCRType'),'Risk'])).
  127subClassOf('BeforeMenopause','KnownFactor').
  128subClassOf('BenignBreastDisease','InferredFactor').
  129subClassOf('BirthControlPills','KnownFactor').
  130subClassOf('BreastCancer','Cancer').
  131subClassOf('Cancer','Disease').
  132subClassOf('CarcinomaInSitu','InferredFactor').
  133subClassOf('Disease','http://www.w3.org/2002/07/owl#Thing').
  134subClassOf('EarlyFirstChild','KnownFactor').
  135subClassOf('EarlyMenopause','KnownFactor').
  136subClassOf('Estrogen','PostmenopausalHormones').
  137subClassOf('EstrogenProgestin','PostmenopausalHormones').
  138subClassOf('EstrogenTestosterone','PostmenopausalHormones').
  139subClassOf('Ethnicity','http://www.w3.org/2002/07/owl#Thing').
  140subClassOf('FamilyCancerHistory','KnownFactor').
  141subClassOf('Female','Gender').
  142subClassOf('FirstPeriodBefore12','KnownFactor').
  143subClassOf('Gender','http://www.w3.org/2002/07/owl#Thing').
  144subClassOf('HighBoneDensity','InferredFactor').
  145subClassOf('HighBreastDensity','InferredFactor').
  146subClassOf('HighLevelOfEstrogen','InferredFactor').
  147subClassOf('IncreasedBRCRisk','RelativeBRCRisk').
  148subClassOf('IncreasedRiskCategory','RelativeRiskCategory').
  149subClassOf('InferredFactor','RiskFactor').
  150subClassOf('KnownFactor','RiskFactor').
  151subClassOf('LackOfExercise','KnownFactor').
  152subClassOf('LateFirstChild','KnownFactor').
  153subClassOf('LateMenopause','KnownFactor').
  154subClassOf('LifetimeBRCRisk','AbsoluteBRCRisk').
  155subClassOf('Male','Gender').
  156subClassOf('ModerateDecrease','ReducedRiskCategory').
  157subClassOf('ModerateIncrease','IncreasedRiskCategory').
  158subClassOf('ModeratelyIncreasedBRCRisk','IncreasedBRCRisk').
  159subClassOf('ModeratelyReducedBRCRisk','ReducedBRCRisk').
  160subClassOf('MotherAffected','FamilyCancerHistory').
  161subClassOf('MotherAffectedAfterAge60','MotherAffected').
  162subClassOf('MotherAffectedBeforeAge60','MotherAffected').
  163subClassOf('NoBreastfeeding','KnownFactor').
  164subClassOf('NoChildren','NoBreastfeeding').
  165subClassOf('Overweight','KnownFactor').
  166subClassOf('OverweightWoman','Woman').
  167subClassOf('Person','http://www.w3.org/2002/07/owl#Thing').
  168subClassOf('Person',someValuesFrom('hasGender','Gender')).
  169subClassOf('PersonUnderRisk','Person').
  170subClassOf('PersonalBRCHistory','KnownFactor').
  171subClassOf('PostmenopausalHormones','KnownFactor').
  172subClassOf('PostmenopausalWoman','Woman').
  173subClassOf('PostmenopausalWomanTakingEstrogenAndProgestin','PostmenopausalWoman').
  174subClassOf('PostmenopausalWomanTakingEstrogenAndTestosterone','PostmenopausalWoman').
  175subClassOf('PostmenopausalWomanWithHighLevelOfEstrogen','Woman').
  176subClassOf('PremenopausalWoman','Woman').
  177subClassOf('Progestin','PostmenopausalHormones').
  178subClassOf('RadiationExposureDuringYouth','KnownFactor').
  179subClassOf('ReducedBRCRisk','RelativeBRCRisk').
  180subClassOf('ReducedRiskCategory','RelativeRiskCategory').
  181subClassOf('RelativeBRCRisk','BRCRisk').
  182subClassOf('RelativeRiskCategory','RiskCategory').
  183subClassOf('Risk','http://www.w3.org/2002/07/owl#Thing').
  184subClassOf('RiskCategory','http://www.w3.org/2002/07/owl#Thing').
  185subClassOf('RiskFactor','http://www.w3.org/2002/07/owl#Thing').
  186subClassOf('RiskFactor',allValuesFrom('relatedToDisease','Disease')).
  187subClassOf('RiskType',intersectionOf(['http://www.w3.org/2002/07/owl#Thing',someValuesFrom('riskOf','Disease')])).
  188subClassOf('SeniorWomanWithMotherBRCAffected','Woman').
  189subClassOf('ShortTermBRCRisk','AbsoluteBRCRisk').
  190subClassOf('StrongDecrease','ReducedRiskCategory').
  191subClassOf('StrongIncrease','IncreasedRiskCategory').
  192subClassOf('StronglyIncreasedBRCRisk','IncreasedBRCRisk').
  193subClassOf('StronglyReducedBRCRisk','ReducedBRCRisk').
  194subClassOf('Testosterone','PostmenopausalHormones').
  195subClassOf('TwoImmediateRelativesAffected','FamilyCancerHistory').
  196subClassOf('UsualHyperplasia','BenignBreastDisease').
  197subClassOf('WeakDecrease','ReducedRiskCategory').
  198subClassOf('WeakIncrease','IncreasedRiskCategory').
  199subClassOf('WeakelyIncreasedBRCRisk','IncreasedBRCRisk').
  200subClassOf('WeakelyReducedBRCRisk','ReducedBRCRisk').
  201subClassOf('Woman','http://www.w3.org/2002/07/owl#Thing').
  202subClassOf('Woman','WomanUnderLifetimeBRCRisk').
  203subClassOf('WomanAbusingAlcohol','Woman').
  204subClassOf('WomanAged2030','Woman').
  205subClassOf('WomanAged3040','Woman').
  206subClassOf('WomanAged4050','Woman').
  207subClassOf('WomanAged5060','Woman').
  208subClassOf('WomanAged6070','Woman').
  209subClassOf('WomanAged70Plus','Woman').
  210subClassOf('WomanAgedUnder20','Woman').
  211subClassOf('WomanAgedUnder50','WomanWithRiskFactors').
  212subClassOf('WomanExposedToRadiationDuringYouth','Woman').
  213subClassOf('WomanHavingFirstPeriodBefore12','Woman').
  214subClassOf('WomanLackingExercise','Woman').
  215subClassOf('WomanTakingBirthControlPills','Woman').
  216subClassOf('WomanTakingPostmenopausalHormones','Woman').
  217subClassOf('WomanUnderLifetimeBRCRisk','WomanUnderAbsoluteBRCRisk').
  218subClassOf('WomanUnderModeratelyIncreasedBRCRisk','WomanUnderIncreasedBRCRisk').
  219subClassOf('WomanUnderModeratelyReducedBRCRisk','WomanUnderReducedBRCRisk').
  220subClassOf('WomanUnderRelativeBRCRisk','Woman').
  221subClassOf('WomanUnderShortTermBRCRisk','WomanUnderAbsoluteBRCRisk').
  222subClassOf('WomanUnderStronglyIncreasedBRCRisk','WomanUnderIncreasedBRCRisk').
  223subClassOf('WomanUnderStronglyReducedBRCRisk','WomanUnderReducedBRCRisk').
  224subClassOf('WomanUnderWeakelyIncreasedBRCRisk','WomanUnderIncreasedBRCRisk').
  225subClassOf('WomanUnderWeakelyReducedBRCRisk','WomanUnderReducedBRCRisk').
  226subClassOf('WomanWithAtypicalHyperplasia','Woman').
  227subClassOf('WomanWithBRCA1Mutation','WomanUnderLifetimeBRCRisk').
  228subClassOf('WomanWithBRCAMutation','WomanWithRiskFactors').
  229subClassOf('WomanWithBRCAMutation','WomanUnderLifetimeBRCRisk').
  230subClassOf('WomanWithBRCAMutation','WomanUnderLifetimeBRCRisk').
  231subClassOf('WomanWithCarcinomaInSitu','Woman').
  232subClassOf('WomanWithEarlyFirstChild','Woman').
  233subClassOf('WomanWithEarlyFirstPeriodAndLateMenopause','Woman').
  234subClassOf('WomanWithEarlyMenopause','PostmenopausalWoman').
  235subClassOf('WomanWithEarlyMenopause','Woman').
  236subClassOf('WomanWithFamilyBRCHistory','Woman').
  237subClassOf('WomanWithHighBoneDensity','Woman').
  238subClassOf('WomanWithHighBreastDensity','Woman').
  239subClassOf('WomanWithHighLevelOfEstrogen','Woman').
  240subClassOf('WomanWithImmediateRelativesBRCAffected','Woman').
  241subClassOf('WomanWithLateFirstChild','Woman').
  242subClassOf('WomanWithLateMenopause','PostmenopausalWoman').
  243subClassOf('WomanWithLateMenopause','Woman').
  244subClassOf('WomanWithMotherAffectedAfterAge60','WomanWithMotherBRCAffected').
  245subClassOf('WomanWithMotherAffectedBeforeAge60','WomanWithMotherBRCAffected').
  246subClassOf('WomanWithMotherBRCAffected','Woman').
  247subClassOf('WomanWithRiskFactors','Woman').
  248subClassOf('WomanWithUsualHyperplasia','Woman').
  249subClassOf('WomanWithoutBreastfeeding','Woman').
  250subClassOf('WomanWithoutChildren','Woman').
  251subClassOf('WomanAgedUnder20','WomanUnderShortTermBRCRisk').
  252subClassOf('WomanAged3040','WomanUnderShortTermBRCRisk').
  253subClassOf('WomanAged6070','WomanUnderShortTermBRCRisk').
  254subClassOf('WomanWithMotherAffectedBeforeAge60','WomanUnderModeratelyIncreasedBRCRisk').
  255subClassOf('WomanWithLateMenopause','WomanUnderModeratelyIncreasedBRCRisk').
  256subClassOf('PostmenopausalWomanTakingEstrogen','WomanUnderModeratelyIncreasedBRCRisk').
  257subClassOf('PostmenopausalWomanTakingProgestin','WomanUnderModeratelyIncreasedBRCRisk').
  258subClassOf('WomanHavingFirstPeriodBefore12','WomanWithHighLevelOfEstrogen').
  259
  260subPropertyOf('hasAge','hasRiskFactor').
  261subPropertyOf('willDevelopInLongTerm','willDevelop').
  262subPropertyOf('willDevelopInShortTerm','willDevelop').
  263
  264functionalProperty('hasAge').
  265functionalProperty('hasGender').
  266functionalProperty('riskCategory').
  267functionalProperty('riskOf').
  268functionalProperty('riskType').
  269functionalProperty('increaseFactor').
  270
  271propertyDomain('hasAge','Person').
  272propertyDomain('hasGender','Person').
  273propertyDomain('hasRace','Person').
  274propertyDomain('hasRisk','Person').
  275propertyDomain('hasRiskFactor','Person').
  276propertyDomain('relatedToDisease','RiskFactor').
  277propertyDomain('riskCategory','Risk').
  278propertyDomain('riskOf','RiskType').
  279propertyDomain('riskType','Risk').
  280propertyDomain('willDevelop','Person').
  281propertyDomain('willDevelopInLongTerm','Person').
  282propertyDomain('willDevelopInShortTerm','Person').
  283propertyDomain('increaseFactor','RelativeRiskCategory').
  284
  285propertyRange('hasAge','Age').
  286propertyRange('hasGender','Gender').
  287propertyRange('hasRace','Ethnicity').
  288propertyRange('hasRisk','Risk').
  289propertyRange('hasRiskFactor','RiskFactor').
  290propertyRange('relatedToDisease','Disease').
  291propertyRange('riskCategory','RiskCategory').
  292propertyRange('riskOf','Disease').
  293propertyRange('riskType','RiskType').
  294propertyRange('willDevelop','Disease').
  295propertyRange('willDevelopInLongTerm','Disease').
  296propertyRange('willDevelopInShortTerm','Disease').
  297propertyRange('increaseFactor','http://www.w3.org/2001/XMLSchema#decimal').
  298
  299annotationAssertion('disponte:probability',subClassOf('AshkenaziJewishWoman','WomanWithBRCAMutation'),literal('0.025')).
  300annotationAssertion('disponte:probability',subClassOf('PostmenopausalWomanTakingEstrogen','WomanUnderWeakelyIncreasedBRCRisk'),literal('0.67')).
  301annotationAssertion('disponte:probability',subClassOf('PostmenopausalWomanTakingTestosterone','subClassOf WomanUnderWeakelyIncreasedBRCRisk'),literal('0.85')).
  302annotationAssertion('disponte:probability',subClassOf('PostmenopausalWomanTakingEstrogenAndProgestin','WomanUnderWeakelyIncreasedBRCRisk'),literal('0.35')).
  303annotationAssertion('disponte:probability',subClassOf('WomanWithMotherAffectedAfterAge60','WomanUnderWeakelyIncreasedBRCRisk'),literal('1.0')).
  304annotationAssertion('disponte:probability',subClassOf('WomanWithBRCAMutation','WomanUnderLifetimeBRCRisk'),literal('0.85')).
  305annotationAssertion('disponte:probability',subClassOf('PostmenopausalWomanTakingProgestin','WomanUnderWeakelyIncreasedBRCRisk'),literal('0.13')).
  306annotationAssertion('disponte:probability',subClassOf('WomanWithBRCA1Mutation','WomanUnderLifetimeBRCRisk'),literal('0.8')).
  307annotationAssertion('disponte:probability',subClassOf('PostmenopausalWomanTakingEstrogenAndTestosterone','WomanUnderWeakelyIncreasedBRCRisk'),literal('0.21')).
  308annotationAssertion('disponte:probability',subClassOf('Woman','WomanUnderLifetimeBRCRisk'),literal('0.123')).
  309
  310% Individuals
  311classAssertion('Woman','Helen').
  312classAssertion('WomanTakingEstrogen','Helen').
  313classAssertion('PostmenopausalWoman','Helen').
  314classAssertion('WomanAged3040','Helen').
  315
  316/* 
  317 % Declarations -optional-
  318objectProperty('hasAge').
  319objectProperty('hasGender').
  320objectProperty('hasRace').
  321objectProperty('hasRisk').
  322objectProperty('hasRiskFactor').
  323objectProperty('relatedToDisease').
  324objectProperty('riskCategory').
  325objectProperty('riskOf').
  326objectProperty('riskType').
  327objectProperty('willDevelop').
  328objectProperty('willDevelopInLongTerm').
  329objectProperty('willDevelopInShortTerm').
  330dataProperty('increaseFactor').
  331dataProperty('http://www.w3.org/2006/12/owl11#maxExclusive').
  332dataProperty('http://www.w3.org/2006/12/owl11#minExclusive').
  333annotationProperty('http://www.w3.org/2000/01/rdf-schema#label').
  334annotationProperty('http://www.w3.org/2000/01/rdf-schema#comment').
  335annotationProperty('https://sites.google.com/a/unife.it/ml/bundle#probability').
  336class('WomanTakingEstrogen').
  337class('WomanTakingProgestin').
  338class('AbsoluteBRCRisk').
  339class('AbsoluteRiskCategory').
  340class('AfricanAmerican').
  341class('AfricanAmericanWoman').
  342class('AfterMenopause').
  343class('Age').
  344class('Age2030').
  345class('Age3040').
  346class('Age4050').
  347class('Age5060').
  348class('Age50Plus').
  349class('Age6070').
  350class('Age70Plus').
  351class('AgeUnder20').
  352class('AgeUnder50').
  353class('Alcohol').
  354class('AshkenaziJew').
  355class('AshkenaziJewishWoman').
  356class('AtypicalHyperplasia').
  357class('BRCA1Mutation').
  358class('BRCA2Mutation').
  359class('BRCAMutation').
  360class('BRCRType').
  361class('BRCRisk').
  362class('BeforeMenopause').
  363class('BenignBreastDisease').
  364class('BirthControlPills').
  365class('BreastCancer').
  366class('Cancer').
  367class('CarcinomaInSitu').
  368class('Disease').
  369class('EarlyFirstChild').
  370class('EarlyMenopause').
  371class('Estrogen').
  372class('EstrogenProgestin').
  373class('EstrogenTestosterone').
  374class('Ethnicity').
  375class('FamilyCancerHistory').
  376class('Female').
  377class('FirstPeriodBefore12').
  378class('Gender').
  379class('HighBoneDensity').
  380class('HighBreastDensity').
  381class('HighLevelOfEstrogen').
  382class('IncreasedBRCRisk').
  383class('IncreasedRiskCategory').
  384class('InferredFactor').
  385class('KnownFactor').
  386class('LackOfExercise').
  387class('LateFirstChild').
  388class('LateMenopause').
  389class('LifetimeBRCRisk').
  390class('Male').
  391class('ModerateDecrease').
  392class('ModerateIncrease').
  393class('ModeratelyIncreasedBRCRisk').
  394class('ModeratelyReducedBRCRisk').
  395class('MotherAffected').
  396class('MotherAffectedAfterAge60').
  397class('MotherAffectedBeforeAge60').
  398class('NoBreastfeeding').
  399class('NoChildren').
  400class('Overweight').
  401class('OverweightWoman').
  402class('Person').
  403class('PersonUnderRisk').
  404class('PersonalBRCHistory').
  405class('PostmenopausalHormones').
  406class('PostmenopausalWoman').
  407class('PostmenopausalWomanTakingEstrogen').
  408class('PostmenopausalWomanTakingEstrogenAndProgestin').
  409class('PostmenopausalWomanTakingEstrogenAndTestosterone').
  410class('PostmenopausalWomanTakingProgestin').
  411class('PostmenopausalWomanTakingTestosterone').
  412class('PostmenopausalWomanWithHighLevelOfEstrogen').
  413class('PremenopausalWoman').
  414class('Progestin').
  415class('RadiationExposureDuringYouth').
  416class('ReducedBRCRisk').
  417class('ReducedRiskCategory').
  418class('RelativeBRCRisk').
  419class('RelativeRiskCategory').
  420class('Risk').
  421class('RiskCategory').
  422class('RiskFactor').
  423class('RiskType').
  424class('SeniorWomanWithMotherBRCAffected').
  425class('ShortTermBRCRisk').
  426class('StrongDecrease').
  427class('StrongIncrease').
  428class('StronglyIncreasedBRCRisk').
  429class('StronglyReducedBRCRisk').
  430class('Testosterone').
  431class('TwoImmediateRelativesAffected').
  432class('UsualHyperplasia').
  433class('WeakDecrease').
  434class('WeakIncrease').
  435class('WeakelyIncreasedBRCRisk').
  436class('WeakelyReducedBRCRisk').
  437class('Woman').
  438class('WomanAbusingAlcohol').
  439class('WomanAged2030').
  440class('WomanAged3040').
  441class('WomanAged4050').
  442class('WomanAged5060').
  443class('WomanAged50Plus').
  444class('WomanAged6070').
  445class('WomanAged70Plus').
  446class('WomanAgedUnder20').
  447class('WomanAgedUnder50').
  448class('WomanExposedToRadiationDuringYouth').
  449class('WomanHavingFirstPeriodBefore12').
  450class('WomanLackingExercise').
  451class('WomanTakingBirthControlPills').
  452class('WomanTakingPostmenopausalHormones').
  453class('WomanUnderAbsoluteBRCRisk').
  454class('WomanUnderBRCRisk').
  455class('WomanUnderIncreasedBRCRisk').
  456class('WomanUnderLifetimeBRCRisk').
  457class('WomanUnderModeratelyIncreasedBRCRisk').
  458class('WomanUnderModeratelyReducedBRCRisk').
  459class('WomanUnderReducedBRCRisk').
  460class('WomanUnderRelativeBRCRisk').
  461class('WomanUnderShortTermBRCRisk').
  462class('WomanUnderStronglyIncreasedBRCRisk').
  463class('WomanUnderStronglyReducedBRCRisk').
  464class('WomanUnderWeakelyIncreasedBRCRisk').
  465class('WomanUnderWeakelyReducedBRCRisk').
  466class('WomanWithAtypicalHyperplasia').
  467class('WomanWithBRCA1Mutation').
  468class('WomanWithBRCA2Mutation').
  469class('WomanWithBRCAMutation').
  470class('WomanWithCarcinomaInSitu').
  471class('WomanWithEarlyFirstChild').
  472class('WomanWithEarlyFirstPeriodAndLateMenopause').
  473class('WomanWithEarlyMenopause').
  474class('WomanWithFamilyBRCHistory').
  475class('WomanWithHighBoneDensity').
  476class('WomanWithHighBreastDensity').
  477class('WomanWithHighLevelOfEstrogen').
  478class('WomanWithImmediateRelativesBRCAffected').
  479class('WomanWithLateFirstChild').
  480class('WomanWithLateMenopause').
  481class('WomanWithMotherAffectedAfterAge60').
  482class('WomanWithMotherAffectedBeforeAge60').
  483class('WomanWithMotherBRCAffected').
  484class('WomanWithPersonalBRCHistory').
  485class('WomanWithRiskFactors').
  486class('WomanWithUsualHyperplasia').
  487class('WomanWithoutBreastfeeding').
  488class('WomanWithoutChildren').
  489class('http://www.w3.org/2002/07/owl#Thing').
  490*/