1:-use_module(library(trill)). 2
3:- trill. 4
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
311classAssertion('Woman','Helen').
312classAssertion('WomanTakingEstrogen','Helen').
313classAssertion('PostmenopausalWoman','Helen').
314classAssertion('WomanAged3040','Helen').
315
?-
prob_instanceOf('WomanUnderLifetimeBRCRisk','Helen',Prob)
. ?-instanceOf('WomanUnderLifetimeBRCRisk','Helen',ListExpl)
.?-
prob_sub_class('WomanAged3040','WomanUnderLifetimeBRCRisk',Prob)
. ?-sub_class('WomanAged3040','WomanUnderLifetimeBRCRisk',ListExpl)
.*/