safe and economic re-use of ontologies: a logic-based ...ts/talks/0804_owled.pdf · our approach in...
TRANSCRIPT
![Page 1: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/1.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Safe and Economic Re-Use of Ontologies:A Logic-Based Methodology and Tool Support
Ernesto Jimenez-Ruiz1 Bernardo Cuenca Grau2
Ulrike Sattler3 Thomas Schneider3 Rafael Berlanga1
1Computer Languages and Systems, Universitat Jaume I, Spain
2Computing Laboratory, University of Oxford, UK
3Computer Science, University of Manchester, UK
OWLED, 1–2 April 2008
![Page 2: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/2.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Our approach in a nutshell
Logic-based methodology for the re-use of ontologies
Safe use of imported symbols
1 Don’t change their meaning! X
Economic import of the external ontologies
2 Import only the relevant parts . . .
3 . . . without loss of information! X
L
E
Tool support — Protege plugin
Work in progress!
![Page 3: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/3.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Our approach in a nutshell
Logic-based methodology for the re-use of ontologies
Safe use of imported symbols
1 Don’t change their meaning! X
Economic import of the external ontologies
2 Import only the relevant parts . . .
3 . . . without loss of information! X
L
E
1
Tool support — Protege plugin
Work in progress!
![Page 4: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/4.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Our approach in a nutshell
Logic-based methodology for the re-use of ontologies
Safe use of imported symbols
1 Don’t change their meaning! X
Economic import of the external ontologies
2 Import only the relevant parts . . .
3 . . . without loss of information! X
L
E
1
3
2
Tool support — Protege plugin
Work in progress!
![Page 5: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/5.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Our approach in a nutshell
Logic-based methodology for the re-use of ontologies
Safe use of imported symbols
1 Don’t change their meaning! X
Economic import of the external ontologies
2 Import only the relevant parts . . .
3 . . . without loss of information! X
L
E
1
3
2
Tool support — Protege plugin
Work in progress!
![Page 6: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/6.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
And now . . .
1 Why ontology re-use?
2 A safe and economic methodology
3 Tool support and experiments
4 Perspectives
![Page 7: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/7.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A re-use scenario: the Health-e-Child project
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
![Page 8: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/8.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A re-use scenario: the Health-e-Child project
NCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
![Page 9: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/9.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A case for safe and economic re-useNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Reasons for re-use
Saves time for re-writing
Provides access to well-established knowledge
Doesn’t require expertise in drugs, proteins, anatomy etc.
Guarantees to provide
[safe] Importing terms doesn’t change their meaning.
[eco] Import all relevant parts of external ontologies.
[aux] The order of imports doesn’t matter.
![Page 10: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/10.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
And now . . .NCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
1 Why ontology re-use?
2 A safe and economic methodology
3 Tool support and experiments
4 Perspectives
![Page 11: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/11.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A working cycle: the offline phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Load local ontology LRepeat at user’s discretion
Choose set Si of external symbolsplus associated ontology Ei
Make sure the Si are pairwise disjoint
For each Si do
Select refinement view
or generalisation view
![Page 12: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/12.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A working cycle: the offline phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Load local ontology LRepeat at user’s discretion
Choose set Si of external symbolsplus associated ontology Ei
Make sure the Si are pairwise disjoint
For each Si do
Select refinement view
or generalisation view
S1 ={JRA} E1 =NCI
![Page 13: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/13.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A working cycle: the offline phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Load local ontology LRepeat at user’s discretion
Choose set Si of external symbolsplus associated ontology Ei
Make sure the Si are pairwise disjoint
For each Si do
Select refinement view
or generalisation view
S1 ={JRA} E1 =NCI
S2 ={KneeJoint, Fever}E2 =Galen
![Page 14: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/14.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A working cycle: the offline phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Load local ontology LRepeat at user’s discretion
Choose set Si of external symbolsplus associated ontology Ei
Make sure the Si are pairwise disjoint
For each Si do
Select refinement view
or generalisation view
S1 ={JRA} E1 =NCI
S2 ={KneeJoint, Fever}E2 =Galen
Refine S1
Refine + reference S2
![Page 15: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/15.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
A working cycle: the offline phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Load local ontology LRepeat at user’s discretion
Choose set Si of external symbolsplus associated ontology Ei
Make sure the Si are pairwise disjoint
For each Si do
Select refinement view
or generalisation view
S1 ={JRA} E1 =NCI
S2 ={KneeJoint, Fever}E2 =Galen
Refine S1
Refine + reference S2
Safety
![Page 16: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/16.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Formalising the Safety GuaranteeNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Safety
Importing terms doesn’t change their meaning.
Example
JRAO ∪ NCI |= JRA v GeneticDisorderiff NCI |= JRA v GeneticDisorder.
Definition (Safety)
L guarantees safety if for every i = 1, . . . , n:
For every E ′i with Sig(L) ∩ Sig(E ′
i ) ⊆ Si ,L ∪ E ′
i is a conservative extension of E ′i .
![Page 17: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/17.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Formalising the Safety GuaranteeNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Safety
Importing terms doesn’t change their meaning.
Example
JRAO ∪ NCI |= JRA v GeneticDisorderiff NCI |= JRA v GeneticDisorder.
Definition (Safety)
L guarantees safety if for every i = 1, . . . , n:
For every E ′i with Sig(L) ∩ Sig(E ′
i ) ⊆ Si ,L ∪ E ′
i is a conservative extension of E ′i .
![Page 18: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/18.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Providing safetyNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Theorem [Cuenca Grau, Horrocks, Kazakov, Sattler 2007]
If L is local w.r.t. each Si , then L guarantees safety.
Locality . . .
is a syntactic approximation of conservativity.
can be decided efficiently; conservativity often can’t.
comes in two “flavours” for refinement/generalisation.
is sufficient, but not necessary, for safety.
If non-local axioms are found, the user may want to repair L.
Example: C7 v JRA 3 GeneticDisorder v C7 3
JRA v GeneticDisorder 8
![Page 19: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/19.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
The online phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Repeat at user’s discretion
Select an Si
Load external ontology Ei for Si
Customise scope of module
Extract module EMi from Ei
Import EMi into L
![Page 20: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/20.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
The online phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Repeat at user’s discretion
Select an Si
Load external ontology Ei for Si
Customise scope of module
Extract module EMi from Ei
Import EMi into L
KneeJoint
}1 level}3 levels
![Page 21: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/21.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
The online phaseNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
OFFLINE
ONLINE
Repeat at user’s discretion
Select an Si
Load external ontology Ei for Si
Customise scope of module
Extract module EMi from Ei
Import EMi into L
KneeJoint
}1 level}3 levels
Module Coverage
![Page 22: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/22.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Formalising the Module Coverage GuaranteeNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Module coverage
Import all relevant parts of external ontologies.
Example
JRAO ∪ NCI |= JRA v GeneticDisorderiff JRAO ∪ NCI-module |= JRA v GeneticDisorder.
Definition (Module coverage)
Let EMi ⊆ Ei with Si ⊆ Sig(EM
i ). EMi guarantees coverage of Si if:
For every L′ with Sig(L′) ∩ Sig(Ei ) ⊆ Si ,L′ ∪ Ei is a conservative extension of L′ ∪ EM
i .
![Page 23: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/23.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Formalising the Module Coverage GuaranteeNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Module coverage
Import all relevant parts of external ontologies.
Example
JRAO ∪ NCI |= JRA v GeneticDisorderiff JRAO ∪ NCI-module |= JRA v GeneticDisorder.
Definition (Module coverage)
Let EMi ⊆ Ei with Si ⊆ Sig(EM
i ). EMi guarantees coverage of Si if:
For every L′ with Sig(L′) ∩ Sig(Ei ) ⊆ Si ,L′ ∪ Ei is a conservative extension of L′ ∪ EM
i .
![Page 24: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/24.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Providing coverageNCI
JRAO Galen
Arthropathy
ArthritisAutoimmune
DiseaseRheumatologic
Disorder
Atrophic Arthritis Polyarthritis Rheumatoid Arthritis
Juvenile Chronic Polyarthritis Juvenile Rheumatoid Arthritis
Arthritis diseases
C1
. . .C7
Joints
Drugs
affects
isTreatedBy
Coverage is again provided using locality.
Locality-based modules =syntactic approximations of conservativity-based modules
in general not minimalefficiently computable
![Page 25: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/25.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
And now . . .
1 Why ontology re-use?
2 A safe and economic methodology
3 Tool support and experiments
4 Perspectives
![Page 26: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/26.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Safe Protege Manager : a plugin
![Page 27: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/27.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
“Synthetic” experiments
Setting
Randomly generated signatures of size 1 . . . 330
Computed Lower of Upper Module (LUM)for each such signature
Results
99 % of Galen LUMs contain < 5 % of Galen’s axioms
similar findings for NCI
![Page 28: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/28.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Statistics
![Page 29: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/29.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
“Real-life” experiments
Setting
LUMs for manually selected signatures from Galen and NCI(Health-e-Child context: JRA + Cardiomyopathies)
Results
Ext. Ont. # Sig. # axioms
Galen 11 105 (2.5%)
Galen 72 620 (14.9%)
Galen 76 736 (17.6%)
NCI 18 488 (0.1%)
NCI 124 4751 (1.2%)
NCI 144 5057 (1.3%)
![Page 30: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/30.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Comparing experiments
Setting
SNOMED (health care; restricted language; 350,000 axioms)
Initial signatures: terms from intensive care unit
Compared UM, LUM to MEX (conservativity-based modules)
and SRS (Seidenberg/Rector segments)
Results
# axioms in %# Sig. MEX SRS (L)UM
4,000 2 2 4
16,000 7 7 10
24,000 10 10 15 ;
time 4–5 s 1 s 4–7 s
MEX SRS
LUM UM
R vS
C vD
C ≡D
![Page 31: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/31.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
And now . . .
1 Why ontology re-use?
2 A safe and economic methodology
3 Tool support and experiments
4 Perspectives
![Page 32: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/32.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Perspectives
Extend module scope customisation: “shopping for symbols”
Browse external ontology and pick symbolsAt each stage, view resulting module“Check out” module
Optimise module extraction
Import “by reference” as opposed to “by value”
Multi-user scenario
Perform user study and improve interface
We want you. . .
. . . to test our plugin and give us feedback
. . . r favourite ontologies and real-life signatures!
![Page 33: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/33.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
Perspectives
Extend module scope customisation: “shopping for symbols”
Browse external ontology and pick symbolsAt each stage, view resulting module“Check out” module
Optimise module extraction
Import “by reference” as opposed to “by value”
Multi-user scenario
Perform user study and improve interface
We want you. . .
. . . to test our plugin and give us feedback
. . . r favourite ontologies and real-life signatures!
![Page 34: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/34.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
More about the plugin
Fancy a demo?
I’m happy to give one during the next break.
Want to try the plugin yourself?
protege.stanford.edu
krono.act.uji.es/people/Ernesto/safety-ontology-reuse
These slides will be online soon . . .
. . . at owl.cs.manchester.ac.uk
Thank you!
![Page 35: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/35.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
More about the plugin
Fancy a demo?
I’m happy to give one during the next break.
Want to try the plugin yourself?
protege.stanford.edu
krono.act.uji.es/people/Ernesto/safety-ontology-reuse
These slides will be online soon . . .
. . . at owl.cs.manchester.ac.uk
Thank you!
![Page 36: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/36.jpg)
Why re-use? Our methodology Tool support and experiments Perspectives
More about the plugin
Fancy a demo?
I’m happy to give one during the next break.
Want to try the plugin yourself?
protege.stanford.edu
krono.act.uji.es/people/Ernesto/safety-ontology-reuse
These slides will be online soon . . .
. . . at owl.cs.manchester.ac.uk
Thank you!
![Page 37: Safe and Economic Re-Use of Ontologies: A Logic-Based ...ts/talks/0804_owled.pdf · Our approach in a nutshell Logic-based methodology for the re-use of ontologies Safe use of imported](https://reader033.vdocument.in/reader033/viewer/2022050511/5f9bc564e17c850f2f7bbce3/html5/thumbnails/37.jpg)
More links
Health-e-Child
www.health-e-child.org
NCI and Galen
nciterms.nci.nih.gov/NCIBrowser/Dictionary.do
ftp1.nci.nih.gov/pub/cacore/EVS/NCIThesaurus
www.co-ode.org/galen