fuzzy description logics for uncertainty management and ... · uncertainty-related semantic...
TRANSCRIPT
1
Fuzzy Description Logics for Uncertainty Management and Applications
Jidi (Judy) Zhao
2010-6-22
TALK OUTLINE
•Motivation•Problems and Solutions•Applications
2
User Interface & Applications
Map
ping
s
SEMANTIC WEB APPLICATION ARCHITECTURE
6/22/2010
3
4
UNCERTAINTY RELATED ISSUES
User Interface & Applications
Map
ping
s
5
LIMITATIONS OF PRECISE REASONING
Concepts without well-defined boundaries often have to be defined with ‘artificial’boundariesOriginally uncertain relationships have to be forced into precise relationships for knowledge representationDistorting reality and expert thinkingGiving up important uncertain propertiesLoss of authentic representation
6
MOTIVATION:FROM PRECISE TO UNCERTAIN
Uncertainty is an intrinsic feature of real-world knowledgeBased on uncertain facts (evidence)Applying uncertain axioms and rulesAdopting uncertainty ontology-based reasoningResulting in conclusions that are uncertain to some degreeBetter resembling human reasoning in its use of approximate information and uncertainty to generate decisions
OUR APPROACH (I)
Objective: Structure specialist knowledge (both precise and vague) in a way that an automated system can reason with the evidence in a manner similar to specialistsWhat approach can we take to formalize uncertainty-related semantic knowledge?
Description LogicFuzzy sets and fuzzy Logic
Develop a scheme for defining fuzzy concepts and relations
Membership functionInterval-based with lower and upper bounds: [l, u]
7
OUR APPROACH (II)Norm—Parameterized Fuzzy Description Logic
F-OWL (Fuzzy OWL)Fuzzy extension to OWL 1 Abstract syntax / functional-style syntaxCore semantics based on the Norm—Parameterized Fuzzy Description Logic 8
FUZZY CONCEPTS: MEMBERSHIP FUNCTIONS
Right-shoulder function:rightShoulder(r1,r2,a,b)
Left-shoulder function:leftShoulder(r1,r2,a,b)
Triangular function:triangular(r1,r2,a,b,c)
Crisp function:crisp(r1,r2,a,b)
Trapezoidal function:trapezoidal(r1,r2,a,b,c,d)
Bell-shaped functionf(x)=1/(1+(x-b)2)
a d
1
0 r2b c
u(x)
x a b
1
0 r2
u(x)
x
a b
1
0 r2
u(x)
x a
1
0 r2b
u(x)
x
9
INTERVAL-BASED FUZZY CONCEPTS
Fuzzy Concept 1 (left)Syntax: FuzzyClass(ClassName
lowerMembershipFunction(triangular(r1 r2 a1 b c1)) upperMembershipFunction(triangular(r1 r2 a b c)))
Fuzzy Concept 2 (right)Syntax: FuzzyClass(ClassName
lowerMembershipFunction(triangular(r1 r2 a1 b1 c1)) upperMembershipFunction(trapezoidal(r1 r2 a b c d)))
10
F-OWLFuzzy Axioms
Class(ClassName complete ClassDescription)Class(ClassName partial ClassDescription)Class(ClassName implies ClassDescription degrees(l u))
Fuzzy AssertionsIndividual(IndividualName type(ClassNamedegrees(l u)))Individual(IndividualName value(PropertyNameIndividualName2 degrees(l u)))
11
Fuzzy Operationsfuzzy intersection (t-norm)fuzzy union (s-norm)fuzzy set complement (negation)
12
Core Reasoning AlgorithmBased on tableau algorithm with fuzzy extension
13
HEALTH CARE EXAMPLEDomain: women’s breast cancer diagnosisKnown:
breast cancer classificationrisk factors such as age, inheritance, and symptomshow risk factors are related to breast cancerpatient records
14
HEALTH CARE EXAMPLE
The cancer ontology consists of two parts:(1) background knowledge captured in a crisp ontology(2) fuzzy statements augmenting the classical ontology
15
HEALTH CARE EXAMPLE:A PRECISE TBOX ON WOMEN’S BREAST CANCER
16
HEALTH CARE EXAMPLE:
17
HEALTH CARE EXAMPLE:
18
HEALTH CARE EXAMPLE:
19
HEALTH CARE EXAMPLE:
20
A tumour mass is lobular if it has a contour with some deep undulations. The margins of a mass are microlobulated if they have concavities which produce several shallow undulations.
HEALTH CARE EXAMPLE: FUZZY TBOX//Define some fuzzy concepts
21
HEALTH CARE EXAMPLE: FUZZY TBOX//Define fuzzy axiomsClass(Lobularity complete intersectionOf(
restriction(hasUndulationsNumbersomeValuesFrom(Some))
restriction(hasUndulationDepth allValuesFrom(Deep))))Class(LobulatedTumour complete intersectionOf(
Tumour restriction(hasShapesomeValuesFrom(Lobularity)))Class(WomanWithLobulatedTumour complete intersectionOf(
Woman restriction(hasTumoursomeValuesFrom(LobulatedTumour)))
Class(Woman implies LifetimeBRCRisk degrees(0 0.13))Class(BRCA1mutation implies
IncreasedBRCRiskfromGeneMutation degrees(0.6 0.8))22
HEALTH CARE EXAMPLE: FUZZY TBOXClass(OldWoman implies IncreasedBRCRiskfromAge degrees(0.027 0.041))Class(YoungWoman implies IncreasedBRCRiskfromAge degrees(0 0.027))Class(WomanMotherWithBRC implies IncreasedBRCRiskfromHeredity
degrees(0.05 0.05))Class(WomanAddictToAlcohol implies IncreasedBRCRiskfromAlcohol
degrees(0.08 0.08))Class(WomanOverweightAfMnopause implies
IncreasedBRCRiskfromObesity degrees(0.18 0.18))Class(WomanWithBRCInShortTerm
complete intersectionOf(Woman unionOf(IncreasedBRCRiskfromGeneMutation IncreasedBRCRiskfromAgeIncreasedBRCRiskfromHeredity IncreasedBRCRiskfromAlcoholIncreasedBRCRiskfromObesity IncreasedBRCRiskfromPersHistIncreasedBRCRiskfromRace IncreasedBRCRiskfromHormonesIncreasedBRCRiskfromDiet)))
23
HEALTH CARE EXAMPLE: FUZZY ABOX//Abox, IndividualsIndividual(Helen type(Woman)
value (hasTumour TumourMass1) value(hasMother Mary degrees(1 1)))
Individual(Mary type(WomanWithBRCA1Mutation degrees(1, 1)))Individual(Ann type(WomanWithMotherBRCAffected degrees(1, 1)))Individual(Helen type(WomanAged5060 degrees(1, 1)))Individual(Helen type(WomanWithMotherBRCAffected degrees(1, 1)))Individual(TumourMass1 type(Tumour)
value (hasUndulationsNumber 3) value (hasUndulationDepth 0.5) )
…24
HEALTH CARE EXAMPLEDecision-making problems:
diagnose the features of a breast cancer tumour (instance range entailment)diagnose a particular woman’s risk of developing breast cancer (instance range entailment)find all women with a high risk of developing breast cancer (f-retrieval)
25
PROTOTYPE: FALCAS
26
SUMMARY
Proposed managing uncertain knowledge by combining Semantic Web Technologies for Description Logic and Fuzzy LogicIntroduced uncertain knowledge representation formalisms Illustrated a use case in health care
27
28