SlideShare uma empresa Scribd logo
1 de 36
Ontology Use

Course “Ontology Engineering”
Overview
• Ontology use: tools
  – Query languages
  – Rule languages
• Ontology applications
  – Sample application in biomedicine




                                        2
QUERIES AND RULES


                    3
Limitations of ontology
               languages
• All formal languages are bounded
• What you can say depends on which
  grammatical constructs are allowed by design
• What you can say is called expressivity
• Design factors include
  –   Necessity for use cases
  –   Human comprehension of the language
  –   Computational complexity
  –   Correspondence to formal frameworks
  –   Interoperability with other languages
  –   And many more…

                                                 4
Limitations of ontology
             languages
• UML Class diagrams, OWL, etc.
  can describe static knowledge
• Some reasoning is possible in these languages
  – Subsumption, class membership
  – Transitivity, connectivity
• Some reasoning falls outside of their scope
  – Arithmetic
  – Probabilistic reasoning
  – Rich logical statements (First Order Logic, etc.)

                                                        5
Examples

• Property chain (can be modelled in OWL2)
  – Given childOf and brotherOf, define the class Uncle
  – Example definition
     IF X childOf Y AND Y brotherOf U
       THEN U in Uncle
• Individual comparison
  – Given hasBoss and hasWife, define the class of people
    whose boss is not their wife
  – Example definition
     IF X hasBoss Y AND X hasWife Z AND Y ≠ Z
       THEN X in NoBossWife


                                                          6
Examples
• Arithmetic
  – Given height and width, define the class of people
    that are wider than tall (BodyBuilder)
  – Example definition:
     IF X height H AND X width W AND W > H
       THEN X in BodyBuilder
• Ordering
  – Given hasPrice and the class Basket, define that the
    cheapest purchase is a FreeItem
  – How do you sort at all?

                                                           7
Queries
• Ontology query languages exist to
   – Verify facts on a knowledge base
   – Retrieve matching statements
   – Build new statements
• Basic constructs of OWL ontology queries
   –   URIs and values in triples
   –   Variables
   –   URI and value constraints
   –   and more depending on the language…
• Standard query language for OWL: SPAQL


                                             8
SPARQL
• SELECT
  – Returns all, or a subset of, the variables bound in a query
    pattern match.
• CONSTRUCT
  – Returns an RDF graph constructed by substituting
    variables in a set of triple templates.
• ASK
  – Returns a Boolean indicating whether a query pattern
    matches or not.
• DESCRIBE
  – Returns an RDF graph that describes the resources found.

                                                                  9
Finding uncles with SELECT

SELECT ?u
FROM
{
  ?x :childOf ?y.
  ?u :brotherOf ?y
}


                                   10
Creating uncles with CONSTRUCT

CONSTRUCT
{
  ?u rdf:type :Uncle
}
WHERE
{
  ?x :childOf ?y.
  ?u :brotherOf ?y
}

                                   11
Verifying uncles with ASK

ASK                  ASK
{                    {
  ?x :childOf ?y.      :Yves :childOf ?y.
  ?u :brotherOf ?y     :Olivier :brotherOf ?y
}                    }




                                                12
Get information about uncles with
                DESCRIBE
DESCRIBE <http://example.org/Olivier>

or

DESCRIBE ?u
WHERE
{
  ?x :childOf ?y.
  ?u :brotherOf ?y
}

                                         13
(Feigenbaum)




      14
Bodybuilders in SPARQL
• Make a SPARQL CONSTRUCT query to classify
  bodybuilders
  IF X height H AND X width W AND W > H
    THEN X in BodyBuilder
• Hint: You have to use inside the WHERE clause
  CONSTRUCT { … } WHERE { … FILTER ( … ) }




                                              15
Queries versus Ontologies
• Ontologies exist, but queries have to be fired
• SPARQL queries can not return variables.
• SPARQL queries close the world, but can not
  check if something is not true, except on data
  values
• Answers of queries are not part of the ontology,
  even for CONSTRUCT queries
• You can make the answers part by
  – Adding the answers to your ontology
  – Using rules…

                                                     16
Rules
• Four types of rules
   – Derivation or deduction rules
     “If A is true, then B is also true.”
   – Transformation rules
     “If you find A, then produce B.”
   – Integrity constraints
     “A is always true, or fail.”
   – Reaction or Event-Condition-Action rules
     “When A: If A > B then do C.”
• Not every rule language supports all types of rules
• Examples of rule languages:
  Prolog, CLIPS (Jess), SWRL, N3 Rules

                                                        17
Example rules in N3
• Uncles in N3
  { ?x :childOf ?y. ?u :brotherOf ?y }
     => { ?u :uncleOf ?x }
• Non-bossy wife in N3
  { ?x :hasBoss ?b. ?x :hasWife ?w. ?b log:notEqualTo ?w }
     => { ?x a :NoBossWife }.
• BodyBuilders in N3
  { ?x :height ?h. ?x :width ?w. ?w math:greaterThan ?h }
     => { ?x a :BodyBuilder }.

                                                            18
OWL in N3
• The consequences of N3 rules are part of the
  ontology
• Can you write (parts of) OWL in N3?
• Yes, for example:
  {?p rdf:type owl:TransitiveProperty. ?x ?p ?o. ?s ?p ?x}
  => {?s ?p ?o}.
• Another example, instances of disjoint classes:
  {?a owl:disjointWith ?b. ?x a ?a. ?y a ?b }
  => {?x owl:differentFrom ?y}.

                                                             19
ONTOLOGY APPLICATIONS


                        20
Sample applications in
            biomedicine
• Based on paper & presentation by Nigam Shah
  & Barry Smith, Ontologies for biomedicine –
  how to make and use them

http://www.bioontology.org/wiki/index.php/Ontolo




                                            21
Use patterns for ontologies
• Reference for naming things
• Representation of encyclopedic knowledge
• Specification of information models
• Specification of data exchange formats
• Representation of semantics of data for
  information integration
• Computer reasoning with data

                                             22
MeSH: Medical Subject Headings




                                 23
Using MeSH for finding literature




                                    24
Gene Ontology: concepts in
      microbiology




                             25
Use of the Gene Ontology to
 annotate scientific articles




                                26
NCI ontology: required usage for
    cancer research projects




                                   27
Encyclopedic knowledge: FMA
Foundational Model of Anatomy




                                28
FMA-based image annotation



               LA


          RA
                    LV

               RV
    RAA




                             29
BBC Programmes Ontology




                          30
Used for sharing program
       metadata




                           31
Music ontology = basis MusicBrainz




                                32
Music ontology




                 33
Enriching metadata with concepts




                               34
35
Semantic search results




                          36

Mais conteúdo relacionado

Semelhante a Ontology Use Course Overview Queries and Rules Applications

OOPS!: on-line ontology diagnosis by Maria Poveda
OOPS!: on-line ontology diagnosis by Maria PovedaOOPS!: on-line ontology diagnosis by Maria Poveda
OOPS!: on-line ontology diagnosis by Maria Povedasemanticsconference
 
2010 CASCON - Towards a integrated network of data and services for the life ...
2010 CASCON - Towards a integrated network of data and services for the life ...2010 CASCON - Towards a integrated network of data and services for the life ...
2010 CASCON - Towards a integrated network of data and services for the life ...Michel Dumontier
 
Building a repository of biomedical ontologies with Neo4j
Building a repository of biomedical ontologies with Neo4jBuilding a repository of biomedical ontologies with Neo4j
Building a repository of biomedical ontologies with Neo4jSimon Jupp
 
20130622 okfn hackathon t2
20130622 okfn hackathon t220130622 okfn hackathon t2
20130622 okfn hackathon t2Seonho Kim
 
Ontology Design Patterns for Linked Data Tutorial at ISWC2016 - Introduction
Ontology Design Patterns for Linked Data Tutorial at ISWC2016 - IntroductionOntology Design Patterns for Linked Data Tutorial at ISWC2016 - Introduction
Ontology Design Patterns for Linked Data Tutorial at ISWC2016 - IntroductionAldo Gangemi
 
Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013Samuel Croset
 
The Semantics of Genomic Analysis
The Semantics of  Genomic AnalysisThe Semantics of  Genomic Analysis
The Semantics of Genomic Analysisrobertstevens65
 
Open interoperability standards, tools and services at EMBL-EBI
Open interoperability standards, tools and services at EMBL-EBIOpen interoperability standards, tools and services at EMBL-EBI
Open interoperability standards, tools and services at EMBL-EBIPistoia Alliance
 
Importing life science at a into Neo4j
Importing life science at a into Neo4jImporting life science at a into Neo4j
Importing life science at a into Neo4jSimon Jupp
 
Drug-discovery knowledge integration and analysis using OWL and reasoners
Drug-discovery knowledge integration and analysis using OWL and reasonersDrug-discovery knowledge integration and analysis using OWL and reasoners
Drug-discovery knowledge integration and analysis using OWL and reasonersSamuel Croset
 
Methodological Guidelines for Publishing Linked Data
Methodological Guidelines for Publishing Linked DataMethodological Guidelines for Publishing Linked Data
Methodological Guidelines for Publishing Linked DataBoris Villazón-Terrazas
 
Linked Open Data Alignment and Enrichment Using Bootstrapping Based Techniques
Linked Open Data Alignment and Enrichment Using Bootstrapping Based TechniquesLinked Open Data Alignment and Enrichment Using Bootstrapping Based Techniques
Linked Open Data Alignment and Enrichment Using Bootstrapping Based TechniquesPrateek Jain
 

Semelhante a Ontology Use Course Overview Queries and Rules Applications (20)

Ontology at Manchester
Ontology at ManchesterOntology at Manchester
Ontology at Manchester
 
OOPS!: on-line ontology diagnosis by Maria Poveda
OOPS!: on-line ontology diagnosis by Maria PovedaOOPS!: on-line ontology diagnosis by Maria Poveda
OOPS!: on-line ontology diagnosis by Maria Poveda
 
2010 CASCON - Towards a integrated network of data and services for the life ...
2010 CASCON - Towards a integrated network of data and services for the life ...2010 CASCON - Towards a integrated network of data and services for the life ...
2010 CASCON - Towards a integrated network of data and services for the life ...
 
Building a repository of biomedical ontologies with Neo4j
Building a repository of biomedical ontologies with Neo4jBuilding a repository of biomedical ontologies with Neo4j
Building a repository of biomedical ontologies with Neo4j
 
Ontologies Fmi 042010
Ontologies Fmi 042010Ontologies Fmi 042010
Ontologies Fmi 042010
 
OntologyEngineering.ppt
OntologyEngineering.pptOntologyEngineering.ppt
OntologyEngineering.ppt
 
20130622 okfn hackathon t2
20130622 okfn hackathon t220130622 okfn hackathon t2
20130622 okfn hackathon t2
 
Ontology Design Patterns for Linked Data Tutorial at ISWC2016 - Introduction
Ontology Design Patterns for Linked Data Tutorial at ISWC2016 - IntroductionOntology Design Patterns for Linked Data Tutorial at ISWC2016 - Introduction
Ontology Design Patterns for Linked Data Tutorial at ISWC2016 - Introduction
 
Loupe model - Use Cases and Requirements
Loupe model - Use Cases and Requirements Loupe model - Use Cases and Requirements
Loupe model - Use Cases and Requirements
 
Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013Tutorial OWL and drug discovery ICBO 2013
Tutorial OWL and drug discovery ICBO 2013
 
VDOS2013-Zhe-Slides
VDOS2013-Zhe-SlidesVDOS2013-Zhe-Slides
VDOS2013-Zhe-Slides
 
The Semantics of Genomic Analysis
The Semantics of  Genomic AnalysisThe Semantics of  Genomic Analysis
The Semantics of Genomic Analysis
 
Ontology engineering
Ontology engineering Ontology engineering
Ontology engineering
 
Open interoperability standards, tools and services at EMBL-EBI
Open interoperability standards, tools and services at EMBL-EBIOpen interoperability standards, tools and services at EMBL-EBI
Open interoperability standards, tools and services at EMBL-EBI
 
Importing life science at a into Neo4j
Importing life science at a into Neo4jImporting life science at a into Neo4j
Importing life science at a into Neo4j
 
Tutorial: “How to use ontology repositories and ontology–based services”
Tutorial: “How to use ontology repositories and ontology–based services”Tutorial: “How to use ontology repositories and ontology–based services”
Tutorial: “How to use ontology repositories and ontology–based services”
 
Drug-discovery knowledge integration and analysis using OWL and reasoners
Drug-discovery knowledge integration and analysis using OWL and reasonersDrug-discovery knowledge integration and analysis using OWL and reasoners
Drug-discovery knowledge integration and analysis using OWL and reasoners
 
Prosthetics & Orthotics: Searching for Evidence
Prosthetics & Orthotics: Searching for EvidenceProsthetics & Orthotics: Searching for Evidence
Prosthetics & Orthotics: Searching for Evidence
 
Methodological Guidelines for Publishing Linked Data
Methodological Guidelines for Publishing Linked DataMethodological Guidelines for Publishing Linked Data
Methodological Guidelines for Publishing Linked Data
 
Linked Open Data Alignment and Enrichment Using Bootstrapping Based Techniques
Linked Open Data Alignment and Enrichment Using Bootstrapping Based TechniquesLinked Open Data Alignment and Enrichment Using Bootstrapping Based Techniques
Linked Open Data Alignment and Enrichment Using Bootstrapping Based Techniques
 

Mais de Guus Schreiber

How the Semantic Web is transforming information access
How the Semantic Web is transforming information accessHow the Semantic Web is transforming information access
How the Semantic Web is transforming information accessGuus Schreiber
 
Semantics and the Humanities: some lessons from my journey 2000-2012
Semantics and the Humanities: some lessons from my journey 2000-2012Semantics and the Humanities: some lessons from my journey 2000-2012
Semantics and the Humanities: some lessons from my journey 2000-2012Guus Schreiber
 
Ontologies: vehicles for reuse
Ontologies: vehicles for reuseOntologies: vehicles for reuse
Ontologies: vehicles for reuseGuus Schreiber
 
Linking historical ship records to a newspaper archive
Linking historical ship records to a newspaper archiveLinking historical ship records to a newspaper archive
Linking historical ship records to a newspaper archiveGuus Schreiber
 
CommonKADS project management
CommonKADS project managementCommonKADS project management
CommonKADS project managementGuus Schreiber
 
UML notations used by CommonKADS
UML notations used by CommonKADSUML notations used by CommonKADS
UML notations used by CommonKADSGuus Schreiber
 
Advanced knowledge modelling
Advanced knowledge modellingAdvanced knowledge modelling
Advanced knowledge modellingGuus Schreiber
 
CommonKADS design and implementation
CommonKADS design and implementationCommonKADS design and implementation
CommonKADS design and implementationGuus Schreiber
 
CommonKADS communication model
CommonKADS communication modelCommonKADS communication model
CommonKADS communication modelGuus Schreiber
 
CommonKADS knowledge modelling process
CommonKADS knowledge modelling processCommonKADS knowledge modelling process
CommonKADS knowledge modelling processGuus Schreiber
 
CommonKADS knowledge model templates
CommonKADS knowledge model templatesCommonKADS knowledge model templates
CommonKADS knowledge model templatesGuus Schreiber
 
CommonKADS knowledge modelling basics
CommonKADS knowledge modelling basicsCommonKADS knowledge modelling basics
CommonKADS knowledge modelling basicsGuus Schreiber
 
CommonKADS knowledge management
CommonKADS knowledge managementCommonKADS knowledge management
CommonKADS knowledge managementGuus Schreiber
 
CommonKADS context models
CommonKADS context modelsCommonKADS context models
CommonKADS context modelsGuus Schreiber
 
Web Science: the digital heritage case
Web Science: the digital heritage caseWeb Science: the digital heritage case
Web Science: the digital heritage caseGuus Schreiber
 
Principles and pragmatics of a Semantic Culture Web
 Principles and pragmatics of a Semantic Culture Web Principles and pragmatics of a Semantic Culture Web
Principles and pragmatics of a Semantic Culture WebGuus Schreiber
 
Semantics for visual resources: use cases from e-culture
Semantics for visual resources: use cases from e-cultureSemantics for visual resources: use cases from e-culture
Semantics for visual resources: use cases from e-cultureGuus Schreiber
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsGuus Schreiber
 
Principles for knowledge engineering on the Web
Principles for knowledge engineering on the WebPrinciples for knowledge engineering on the Web
Principles for knowledge engineering on the WebGuus Schreiber
 

Mais de Guus Schreiber (20)

How the Semantic Web is transforming information access
How the Semantic Web is transforming information accessHow the Semantic Web is transforming information access
How the Semantic Web is transforming information access
 
Semantics and the Humanities: some lessons from my journey 2000-2012
Semantics and the Humanities: some lessons from my journey 2000-2012Semantics and the Humanities: some lessons from my journey 2000-2012
Semantics and the Humanities: some lessons from my journey 2000-2012
 
Ontologies: vehicles for reuse
Ontologies: vehicles for reuseOntologies: vehicles for reuse
Ontologies: vehicles for reuse
 
Linking historical ship records to a newspaper archive
Linking historical ship records to a newspaper archiveLinking historical ship records to a newspaper archive
Linking historical ship records to a newspaper archive
 
CommonKADS project management
CommonKADS project managementCommonKADS project management
CommonKADS project management
 
UML notations used by CommonKADS
UML notations used by CommonKADSUML notations used by CommonKADS
UML notations used by CommonKADS
 
Advanced knowledge modelling
Advanced knowledge modellingAdvanced knowledge modelling
Advanced knowledge modelling
 
CommonKADS design and implementation
CommonKADS design and implementationCommonKADS design and implementation
CommonKADS design and implementation
 
CommonKADS communication model
CommonKADS communication modelCommonKADS communication model
CommonKADS communication model
 
CommonKADS knowledge modelling process
CommonKADS knowledge modelling processCommonKADS knowledge modelling process
CommonKADS knowledge modelling process
 
CommonKADS knowledge model templates
CommonKADS knowledge model templatesCommonKADS knowledge model templates
CommonKADS knowledge model templates
 
CommonKADS knowledge modelling basics
CommonKADS knowledge modelling basicsCommonKADS knowledge modelling basics
CommonKADS knowledge modelling basics
 
CommonKADS knowledge management
CommonKADS knowledge managementCommonKADS knowledge management
CommonKADS knowledge management
 
CommonKADS context models
CommonKADS context modelsCommonKADS context models
CommonKADS context models
 
Introduction
IntroductionIntroduction
Introduction
 
Web Science: the digital heritage case
Web Science: the digital heritage caseWeb Science: the digital heritage case
Web Science: the digital heritage case
 
Principles and pragmatics of a Semantic Culture Web
 Principles and pragmatics of a Semantic Culture Web Principles and pragmatics of a Semantic Culture Web
Principles and pragmatics of a Semantic Culture Web
 
Semantics for visual resources: use cases from e-culture
Semantics for visual resources: use cases from e-cultureSemantics for visual resources: use cases from e-culture
Semantics for visual resources: use cases from e-culture
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to Applications
 
Principles for knowledge engineering on the Web
Principles for knowledge engineering on the WebPrinciples for knowledge engineering on the Web
Principles for knowledge engineering on the Web
 

Último

Oppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and FilmOppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and FilmStan Meyer
 
4.11.24 Poverty and Inequality in America.pptx
4.11.24 Poverty and Inequality in America.pptx4.11.24 Poverty and Inequality in America.pptx
4.11.24 Poverty and Inequality in America.pptxmary850239
 
Scientific Writing :Research Discourse
Scientific  Writing :Research  DiscourseScientific  Writing :Research  Discourse
Scientific Writing :Research DiscourseAnita GoswamiGiri
 
Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfActive Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfPatidar M
 
Indexing Structures in Database Management system.pdf
Indexing Structures in Database Management system.pdfIndexing Structures in Database Management system.pdf
Indexing Structures in Database Management system.pdfChristalin Nelson
 
Tree View Decoration Attribute in the Odoo 17
Tree View Decoration Attribute in the Odoo 17Tree View Decoration Attribute in the Odoo 17
Tree View Decoration Attribute in the Odoo 17Celine George
 
MS4 level being good citizen -imperative- (1) (1).pdf
MS4 level   being good citizen -imperative- (1) (1).pdfMS4 level   being good citizen -imperative- (1) (1).pdf
MS4 level being good citizen -imperative- (1) (1).pdfMr Bounab Samir
 
4.11.24 Mass Incarceration and the New Jim Crow.pptx
4.11.24 Mass Incarceration and the New Jim Crow.pptx4.11.24 Mass Incarceration and the New Jim Crow.pptx
4.11.24 Mass Incarceration and the New Jim Crow.pptxmary850239
 
Congestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentationCongestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentationdeepaannamalai16
 
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptx
Unraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptxUnraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptx
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptxDhatriParmar
 
ARTERIAL BLOOD GAS ANALYSIS........pptx
ARTERIAL BLOOD  GAS ANALYSIS........pptxARTERIAL BLOOD  GAS ANALYSIS........pptx
ARTERIAL BLOOD GAS ANALYSIS........pptxAneriPatwari
 
ICS 2208 Lecture Slide Notes for Topic 6
ICS 2208 Lecture Slide Notes for Topic 6ICS 2208 Lecture Slide Notes for Topic 6
ICS 2208 Lecture Slide Notes for Topic 6Vanessa Camilleri
 
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...DhatriParmar
 
CHEST Proprioceptive neuromuscular facilitation.pptx
CHEST Proprioceptive neuromuscular facilitation.pptxCHEST Proprioceptive neuromuscular facilitation.pptx
CHEST Proprioceptive neuromuscular facilitation.pptxAneriPatwari
 
ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfVanessa Camilleri
 
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...Nguyen Thanh Tu Collection
 
Q-Factor General Quiz-7th April 2024, Quiz Club NITW
Q-Factor General Quiz-7th April 2024, Quiz Club NITWQ-Factor General Quiz-7th April 2024, Quiz Club NITW
Q-Factor General Quiz-7th April 2024, Quiz Club NITWQuiz Club NITW
 

Último (20)

Oppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and FilmOppenheimer Film Discussion for Philosophy and Film
Oppenheimer Film Discussion for Philosophy and Film
 
4.11.24 Poverty and Inequality in America.pptx
4.11.24 Poverty and Inequality in America.pptx4.11.24 Poverty and Inequality in America.pptx
4.11.24 Poverty and Inequality in America.pptx
 
Scientific Writing :Research Discourse
Scientific  Writing :Research  DiscourseScientific  Writing :Research  Discourse
Scientific Writing :Research Discourse
 
Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfActive Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdf
 
Indexing Structures in Database Management system.pdf
Indexing Structures in Database Management system.pdfIndexing Structures in Database Management system.pdf
Indexing Structures in Database Management system.pdf
 
Tree View Decoration Attribute in the Odoo 17
Tree View Decoration Attribute in the Odoo 17Tree View Decoration Attribute in the Odoo 17
Tree View Decoration Attribute in the Odoo 17
 
MS4 level being good citizen -imperative- (1) (1).pdf
MS4 level   being good citizen -imperative- (1) (1).pdfMS4 level   being good citizen -imperative- (1) (1).pdf
MS4 level being good citizen -imperative- (1) (1).pdf
 
prashanth updated resume 2024 for Teaching Profession
prashanth updated resume 2024 for Teaching Professionprashanth updated resume 2024 for Teaching Profession
prashanth updated resume 2024 for Teaching Profession
 
4.11.24 Mass Incarceration and the New Jim Crow.pptx
4.11.24 Mass Incarceration and the New Jim Crow.pptx4.11.24 Mass Incarceration and the New Jim Crow.pptx
4.11.24 Mass Incarceration and the New Jim Crow.pptx
 
Congestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentationCongestive Cardiac Failure..presentation
Congestive Cardiac Failure..presentation
 
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptx
Unraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptxUnraveling Hypertext_ Analyzing  Postmodern Elements in  Literature.pptx
Unraveling Hypertext_ Analyzing Postmodern Elements in Literature.pptx
 
ARTERIAL BLOOD GAS ANALYSIS........pptx
ARTERIAL BLOOD  GAS ANALYSIS........pptxARTERIAL BLOOD  GAS ANALYSIS........pptx
ARTERIAL BLOOD GAS ANALYSIS........pptx
 
ICS 2208 Lecture Slide Notes for Topic 6
ICS 2208 Lecture Slide Notes for Topic 6ICS 2208 Lecture Slide Notes for Topic 6
ICS 2208 Lecture Slide Notes for Topic 6
 
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptxINCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
INCLUSIVE EDUCATION PRACTICES FOR TEACHERS AND TRAINERS.pptx
 
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
Beauty Amidst the Bytes_ Unearthing Unexpected Advantages of the Digital Wast...
 
CHEST Proprioceptive neuromuscular facilitation.pptx
CHEST Proprioceptive neuromuscular facilitation.pptxCHEST Proprioceptive neuromuscular facilitation.pptx
CHEST Proprioceptive neuromuscular facilitation.pptx
 
ICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdfICS2208 Lecture6 Notes for SL spaces.pdf
ICS2208 Lecture6 Notes for SL spaces.pdf
 
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
31 ĐỀ THI THỬ VÀO LỚP 10 - TIẾNG ANH - FORM MỚI 2025 - 40 CÂU HỎI - BÙI VĂN V...
 
Q-Factor General Quiz-7th April 2024, Quiz Club NITW
Q-Factor General Quiz-7th April 2024, Quiz Club NITWQ-Factor General Quiz-7th April 2024, Quiz Club NITW
Q-Factor General Quiz-7th April 2024, Quiz Club NITW
 
Mattingly "AI & Prompt Design: Large Language Models"
Mattingly "AI & Prompt Design: Large Language Models"Mattingly "AI & Prompt Design: Large Language Models"
Mattingly "AI & Prompt Design: Large Language Models"
 

Ontology Use Course Overview Queries and Rules Applications

  • 2. Overview • Ontology use: tools – Query languages – Rule languages • Ontology applications – Sample application in biomedicine 2
  • 4. Limitations of ontology languages • All formal languages are bounded • What you can say depends on which grammatical constructs are allowed by design • What you can say is called expressivity • Design factors include – Necessity for use cases – Human comprehension of the language – Computational complexity – Correspondence to formal frameworks – Interoperability with other languages – And many more… 4
  • 5. Limitations of ontology languages • UML Class diagrams, OWL, etc. can describe static knowledge • Some reasoning is possible in these languages – Subsumption, class membership – Transitivity, connectivity • Some reasoning falls outside of their scope – Arithmetic – Probabilistic reasoning – Rich logical statements (First Order Logic, etc.) 5
  • 6. Examples • Property chain (can be modelled in OWL2) – Given childOf and brotherOf, define the class Uncle – Example definition IF X childOf Y AND Y brotherOf U THEN U in Uncle • Individual comparison – Given hasBoss and hasWife, define the class of people whose boss is not their wife – Example definition IF X hasBoss Y AND X hasWife Z AND Y ≠ Z THEN X in NoBossWife 6
  • 7. Examples • Arithmetic – Given height and width, define the class of people that are wider than tall (BodyBuilder) – Example definition: IF X height H AND X width W AND W > H THEN X in BodyBuilder • Ordering – Given hasPrice and the class Basket, define that the cheapest purchase is a FreeItem – How do you sort at all? 7
  • 8. Queries • Ontology query languages exist to – Verify facts on a knowledge base – Retrieve matching statements – Build new statements • Basic constructs of OWL ontology queries – URIs and values in triples – Variables – URI and value constraints – and more depending on the language… • Standard query language for OWL: SPAQL 8
  • 9. SPARQL • SELECT – Returns all, or a subset of, the variables bound in a query pattern match. • CONSTRUCT – Returns an RDF graph constructed by substituting variables in a set of triple templates. • ASK – Returns a Boolean indicating whether a query pattern matches or not. • DESCRIBE – Returns an RDF graph that describes the resources found. 9
  • 10. Finding uncles with SELECT SELECT ?u FROM { ?x :childOf ?y. ?u :brotherOf ?y } 10
  • 11. Creating uncles with CONSTRUCT CONSTRUCT { ?u rdf:type :Uncle } WHERE { ?x :childOf ?y. ?u :brotherOf ?y } 11
  • 12. Verifying uncles with ASK ASK ASK { { ?x :childOf ?y. :Yves :childOf ?y. ?u :brotherOf ?y :Olivier :brotherOf ?y } } 12
  • 13. Get information about uncles with DESCRIBE DESCRIBE <http://example.org/Olivier> or DESCRIBE ?u WHERE { ?x :childOf ?y. ?u :brotherOf ?y } 13
  • 15. Bodybuilders in SPARQL • Make a SPARQL CONSTRUCT query to classify bodybuilders IF X height H AND X width W AND W > H THEN X in BodyBuilder • Hint: You have to use inside the WHERE clause CONSTRUCT { … } WHERE { … FILTER ( … ) } 15
  • 16. Queries versus Ontologies • Ontologies exist, but queries have to be fired • SPARQL queries can not return variables. • SPARQL queries close the world, but can not check if something is not true, except on data values • Answers of queries are not part of the ontology, even for CONSTRUCT queries • You can make the answers part by – Adding the answers to your ontology – Using rules… 16
  • 17. Rules • Four types of rules – Derivation or deduction rules “If A is true, then B is also true.” – Transformation rules “If you find A, then produce B.” – Integrity constraints “A is always true, or fail.” – Reaction or Event-Condition-Action rules “When A: If A > B then do C.” • Not every rule language supports all types of rules • Examples of rule languages: Prolog, CLIPS (Jess), SWRL, N3 Rules 17
  • 18. Example rules in N3 • Uncles in N3 { ?x :childOf ?y. ?u :brotherOf ?y } => { ?u :uncleOf ?x } • Non-bossy wife in N3 { ?x :hasBoss ?b. ?x :hasWife ?w. ?b log:notEqualTo ?w } => { ?x a :NoBossWife }. • BodyBuilders in N3 { ?x :height ?h. ?x :width ?w. ?w math:greaterThan ?h } => { ?x a :BodyBuilder }. 18
  • 19. OWL in N3 • The consequences of N3 rules are part of the ontology • Can you write (parts of) OWL in N3? • Yes, for example: {?p rdf:type owl:TransitiveProperty. ?x ?p ?o. ?s ?p ?x} => {?s ?p ?o}. • Another example, instances of disjoint classes: {?a owl:disjointWith ?b. ?x a ?a. ?y a ?b } => {?x owl:differentFrom ?y}. 19
  • 21. Sample applications in biomedicine • Based on paper & presentation by Nigam Shah & Barry Smith, Ontologies for biomedicine – how to make and use them http://www.bioontology.org/wiki/index.php/Ontolo 21
  • 22. Use patterns for ontologies • Reference for naming things • Representation of encyclopedic knowledge • Specification of information models • Specification of data exchange formats • Representation of semantics of data for information integration • Computer reasoning with data 22
  • 23. MeSH: Medical Subject Headings 23
  • 24. Using MeSH for finding literature 24
  • 25. Gene Ontology: concepts in microbiology 25
  • 26. Use of the Gene Ontology to annotate scientific articles 26
  • 27. NCI ontology: required usage for cancer research projects 27
  • 29. FMA-based image annotation LA RA LV RV RAA 29
  • 31. Used for sharing program metadata 31
  • 32. Music ontology = basis MusicBrainz 32
  • 34. Enriching metadata with concepts 34
  • 35. 35