Common Structured Patterns in Linear Graphs: Approximation and
Modelling Structured Domains with Description Graphs and Logic Programming
-
Upload
despoina-magka -
Category
Technology
-
view
634 -
download
0
Transcript of Modelling Structured Domains with Description Graphs and Logic Programming
![Page 1: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/1.jpg)
MODELLING STRUCTURED DOMAINS USING
DESCRIPTION GRAPHS AND LOGIC
PROGRAMMING
Despoina Magka, Boris Motik and Ian Horrocks
Department of Computer Science, University of Oxford
May 29, 2012
![Page 2: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/2.jpg)
OUTLINE
1 MOTIVATION
2 DGLPS, IMPLEMENTATION AND OVERVIEW
1
![Page 3: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/3.jpg)
MODELLING STRUCTURED DOMAINS WITH OWL
OWL used for the representation of complex structures:
Aerospace
Cellular biology
Human anatomy
Molecules
2
![Page 4: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/4.jpg)
MODELLING STRUCTURED DOMAINS WITH OWL
OWL used for the representation of complex structures:
Aerospace
Cellular biology
Human anatomy
Molecules
2
![Page 5: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/5.jpg)
MODELLING STRUCTURED DOMAINS WITH OWL
OWL used for the representation of complex structures:
Aerospace
Cellular biology
Human anatomy
Molecules
2
![Page 6: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/6.jpg)
MODELLING STRUCTURED DOMAINS WITH OWL
OWL used for the representation of complex structures:
Aerospace
Cellular biology
Human anatomy
Molecules
2
![Page 7: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/7.jpg)
MODELLING STRUCTURED DOMAINS WITH OWL
OWL used for the representation of complex structures:
Aerospace
Cellular biology
Human anatomy
Molecules
2
![Page 8: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/8.jpg)
THE CHEBI ONTOLOGY
OWL ontology Chemical Entities of Biological Interest
Freely accessible dictionary of ‘small’ molecular entities
High quality annotation and taxonomy of chemicals
Interoperability between researchers
Drug discovery and elucidation of metabolic pathways
3
![Page 9: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/9.jpg)
THE CHEBI ONTOLOGY
OWL ontology Chemical Entities of Biological Interest
Freely accessible dictionary of ‘small’ molecular entities
High quality annotation and taxonomy of chemicals
Interoperability between researchers
Drug discovery and elucidation of metabolic pathways
3
![Page 10: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/10.jpg)
THE CHEBI ONTOLOGY
OWL ontology Chemical Entities of Biological Interest
Freely accessible dictionary of ‘small’ molecular entities
High quality annotation and taxonomy of chemicals
Interoperability between researchers
Drug discovery and elucidation of metabolic pathways
3
![Page 11: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/11.jpg)
THE CHEBI ONTOLOGY
OWL ontology Chemical Entities of Biological Interest
Freely accessible dictionary of ‘small’ molecular entities
High quality annotation and taxonomy of chemicals
Interoperability between researchers
Drug discovery and elucidation of metabolic pathways
3
![Page 12: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/12.jpg)
THE CHEBI ONTOLOGY
OWL ontology Chemical Entities of Biological Interest
Freely accessible dictionary of ‘small’ molecular entities
High quality annotation and taxonomy of chemicals
Interoperability between researchers
Drug discovery and elucidation of metabolic pathways
3
![Page 13: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/13.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 14: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/14.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 15: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/15.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 16: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/16.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 17: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/17.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 18: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/18.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?
Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 19: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/19.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?
Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 20: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/20.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?
Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 21: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/21.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 22: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/22.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic?Does cyclobutane contain a four-membered ring?Is acetylene a hydrocarbon?Does benzaldehyde contain a benzene ring?
Speed up curating tasks with automated reasoning tools
4
![Page 23: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/23.jpg)
AUTOMATE CHEMICAL CLASSIFICATION
ChEBI is manually incremented
Currently contains approx. 28,000 fully annotated entities
Grows at a rate of ~1,500 entities per curator per year
Biologically interesting entities possibly > 1,000,000
Each new molecule is subsumed by several chemicalclasses
Is dinitrogen inorganic? YesDoes cyclobutane contain a four-membered ring? YesIs acetylene a hydrocarbon? YesDoes benzaldehyde contain a benzene ring? Yes
Speed up curating tasks with automated reasoning tools
4
![Page 24: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/24.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequent
Fundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge baseOWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 25: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/25.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cycles
At least one tree-shaped model for each consistent OWLknowledge baseOWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 26: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/26.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge base
OWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 27: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/27.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge base
EXAMPLE
Cyclobutane v ∃(= 4)hasAtom.(Carbon u ∃(= 2)hasBond.Carbon)
C C
CC
OWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 28: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/28.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge base
EXAMPLE
Cyclobutane v ∃(= 4)hasAtom.(Carbon u ∃(= 2)hasBond.Carbon)
C C
CC
OWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 29: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/29.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge base
EXAMPLE
Cyclobutane v ∃(= 4)hasAtom.(Carbon u ∃(= 2)hasBond.Carbon)
C C
CC
OWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 30: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/30.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge base
EXAMPLE
Cyclobutane v ∃(= 4)hasAtom.(Carbon u ∃(= 2)hasBond.Carbon)
C C
CC
OWL-based reasoning support
Does cyclobutane contain a four-membered ring?Does benzaldehyde contain a benzene ring?
5
![Page 31: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/31.jpg)
(MIS)REPRESENTING RINGS WITH OWL
Chemical compounds with rings are highly frequentFundamental inability of OWL to represent cyclesAt least one tree-shaped model for each consistent OWLknowledge base
EXAMPLE
Cyclobutane v ∃(= 4)hasAtom.(Carbon u ∃(= 2)hasBond.Carbon)
C C
CC
OWL-based reasoning support
Does cyclobutane contain a four-membered ring? 8
Does benzaldehyde contain a benzene ring? 8
5
![Page 32: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/32.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]
A Description Graph represents structures by means of adirected labeled graphIs cyclobutadiene a hydrocarbon?
6
![Page 33: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/33.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
Is cyclobutadiene a hydrocarbon?
6
![Page 34: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/34.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Is cyclobutadiene a hydrocarbon?
6
![Page 35: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/35.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Is cyclobutadiene a hydrocarbon?
6
![Page 36: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/36.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Does cyclobutadiene have a conjugated four-memberedring?
Is cyclobutadiene a hydrocarbon?
6
![Page 37: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/37.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Does cyclobutadiene have a conjugated four-memberedring? 3
Is cyclobutadiene a hydrocarbon?
6
![Page 38: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/38.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
Oxygen
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Is cyclobutadiene a hydrocarbon?
6
![Page 39: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/39.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
Oxygen
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Is cyclobutadiene a hydrocarbon?
6
![Page 40: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/40.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
Oxygen
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Is cyclobutadiene a hydrocarbon?
6
![Page 41: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/41.jpg)
OWL EXTENSIONS
Limitation of OWL to represent cycles (partially) remediedby extension of OWL with Description Graphs and rules[Motik et al., 2009]A Description Graph represents structures by means of adirected labeled graph
EXAMPLE
C C
CC
1Cyclobutadiene
2Carbon 3 Carbon
4 Carbon5Carbon
Oxygen
∀hasAtom.(Carbon t Hydrogen) v Hydrocarbon
Is cyclobutadiene a hydrocarbon? 8
6
![Page 42: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/42.jpg)
RESULTS OVERVIEW
Key idea:
Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 43: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/43.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 44: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/44.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 45: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/45.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 46: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/46.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 47: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/47.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as false
Classical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 48: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/48.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 49: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/49.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 50: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/50.jpg)
RESULTS OVERVIEW
Key idea:Switch from first-order logic to logic programming semantics
Use negation-as-failure to derive non-monotonic inferences
Expressive decidable logic-based formalism for modellingstructured entities: Description Graph Logic Programs(DGLPs)
DGLPS all cycles CWAOWL+DGS+RULES some cycles OWAOWL no cycles OWA
Negation-as-failure↔ Closed-world assumption↔ Missinginformation treated as falseClassical negation ↔ Open-world assumption↔ Missinginformation treated as not known
Prototypical implementation of DGLPs with application instructure-based chemical classification
7
![Page 51: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/51.jpg)
OUTLINE
1 MOTIVATION
2 DGLPS, IMPLEMENTATION AND OVERVIEW
8
![Page 52: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/52.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rulesRules with negation-as-failureFacts
9
![Page 53: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/53.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphs
Function-free FOL Horn rulesRules with negation-as-failureFacts
9
![Page 54: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/54.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphs
EXAMPLE
C C
CC
1Cyclobutane
2Carbon 3 Carbon
4 Carbon5Carbon
O O
1Dioxygen
2Oxygen 3 Oxygen
Function-free FOL Horn rulesRules with negation-as-failureFacts
9
![Page 55: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/55.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rules
Rules with negation-as-failureFacts
9
![Page 56: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/56.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rules
EXAMPLEBond(x, y) → Bond(y, x)SingleBond(x, y) → Bond(x, y)
Rules with negation-as-failureFacts
9
![Page 57: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/57.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rules
EXAMPLEBond(x, y) → Bond(y, x)SingleBond(x, y) → Bond(x, y)
Rules with negation-as-failure
Facts
9
![Page 58: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/58.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rules
EXAMPLEBond(x, y) → Bond(y, x)SingleBond(x, y) → Bond(x, y)
Rules with negation-as-failure
EXAMPLEHasAtom(x, y) ∧ Carbon(y) → HasCarbon(x)Molecule(x)∧ not HasCarbon(x) → Inorganic(x)
Facts
9
![Page 59: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/59.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rules
EXAMPLEBond(x, y) → Bond(y, x)SingleBond(x, y) → Bond(x, y)
Rules with negation-as-failure
EXAMPLEHasAtom(x, y) ∧ Carbon(y) → HasCarbon(x)Molecule(x)∧ not HasCarbon(x) → Inorganic(x)
Facts
9
![Page 60: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/60.jpg)
WHAT IS A DGLP ONTOLOGY?The syntactic objects of a DGLP ontology:
Description graphsFunction-free FOL Horn rules
EXAMPLEBond(x, y) → Bond(y, x)SingleBond(x, y) → Bond(x, y)
Rules with negation-as-failure
EXAMPLEHasAtom(x, y) ∧ Carbon(y) → HasCarbon(x)Molecule(x)∧ not HasCarbon(x) → Inorganic(x)
Facts
EXAMPLE
Cyclobutane(c1), Dinitrogen(c2), . . .
9
![Page 61: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/61.jpg)
ENCODING DESCRIPTION GRAPHS
Translate DGs into logic programs with function symbols
10
![Page 62: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/62.jpg)
ENCODING DESCRIPTION GRAPHS
Translate DGs into logic programs with function symbols
EXAMPLE
10
![Page 63: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/63.jpg)
ENCODING DESCRIPTION GRAPHS
Translate DGs into logic programs with function symbols
EXAMPLE
Cyclobutane(x) →Gcb(x, f1(x), f2(x), f3(x), f4(x))Gcb(x, y1, y2, y3, y4)→Cyclobutane(x) ∧
Carbon(y1) ∧ Carbon(y2) ∧Carbon(y3) ∧ Carbon(y4) ∧HasAtom(x, y1) ∧ Bond(y1, y2) ∧HasAtom(x, y2) ∧ Bond(y2, y3) ∧HasAtom(x, y3) ∧ Bond(y3, y4) ∧HasAtom(x, y4) ∧ Bond(y4, y1)
10
![Page 64: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/64.jpg)
CLASSIFYING OBJECTS
EXAMPLE
Molecule(x) ∧ HasAtom(x, y) ∧ not Carbon(y) ∧ not Hydrogen(y)→ NotHydroCarbon(x)Molecule(x) ∧ not NotHydroCarbon(x)→ HydroCarbon(x)
C C
CC
Is cyclobutane ahydrocarbon? 3
11
![Page 65: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/65.jpg)
CLASSIFYING OBJECTS
EXAMPLE
Molecule(x) ∧ HasAtom(x, y) ∧ not Carbon(y) ∧ not Hydrogen(y)→ NotHydroCarbon(x)Molecule(x) ∧ not NotHydroCarbon(x)→ HydroCarbon(x)
C C
CC
Is cyclobutane ahydrocarbon? 3
11
![Page 66: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/66.jpg)
CLASSIFYING OBJECTS
EXAMPLE
Molecule(x) ∧ HasAtom(x, y) ∧ not Carbon(y) ∧ not Hydrogen(y)→ NotHydroCarbon(x)Molecule(x) ∧ not NotHydroCarbon(x)→ HydroCarbon(x)
C C
CC
Is cyclobutane ahydrocarbon? 3
11
![Page 67: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/67.jpg)
CLASSIFYING OBJECTS
EXAMPLE
Molecule(x) ∧∧
1≤i≤4
HasAtom(x, yi) ∧∧
1≤i≤3
Bond(yi, yi+1) ∧
Bond(y4, y1)∧
1≤i<j≤4
not yi = yj
→ MoleculeWith4MemberedRing(x)
C C
CC
Does cyclobutane contain afour-membered ring? 3
12
![Page 68: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/68.jpg)
CLASSIFYING OBJECTS
EXAMPLE
Molecule(x) ∧∧
1≤i≤4
HasAtom(x, yi) ∧∧
1≤i≤3
Bond(yi, yi+1) ∧
Bond(y4, y1)∧
1≤i<j≤4
not yi = yj
→ MoleculeWith4MemberedRing(x)
C C
CC
Does cyclobutane contain afour-membered ring? 3
12
![Page 69: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/69.jpg)
CLASSIFYING OBJECTS
EXAMPLE
Molecule(x) ∧∧
1≤i≤4
HasAtom(x, yi) ∧∧
1≤i≤3
Bond(yi, yi+1) ∧
Bond(y4, y1)∧
1≤i<j≤4
not yi = yj
→ MoleculeWith4MemberedRing(x)
C C
CC
Does cyclobutane contain afour-membered ring? 3
12
![Page 70: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/70.jpg)
UNDECIDABILITY
Logic programs with function symbols can axiomatiseinfinitely large structures
Reasoning with DGLP ontologies is trivially undecidableWe are only interested in finite structures
13
![Page 71: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/71.jpg)
UNDECIDABILITY
Logic programs with function symbols can axiomatiseinfinitely large structuresReasoning with DGLP ontologies is trivially undecidable
We are only interested in finite structures
13
![Page 72: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/72.jpg)
UNDECIDABILITY
Logic programs with function symbols can axiomatiseinfinitely large structuresReasoning with DGLP ontologies is trivially undecidableWe are only interested in finite structures
13
![Page 73: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/73.jpg)
UNDECIDABILITY
Logic programs with function symbols can axiomatiseinfinitely large structuresReasoning with DGLP ontologies is trivially undecidableWe are only interested in finite structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
13
![Page 74: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/74.jpg)
SYNTACTIC ACYCLICITY CONDITIONS
Chase [Maier et al., 1979] termination is undecidable
Problem extensively studied in theory of databasesVarious syntax-based acyclicity conditions
weak acyclicity [Fagin et al., ICDT, 2002]super-weak acyclicity [Marnette, PODS, 2009]joint acyclicity [Krötzsch and Rudolph, IJCAI, 2011]rule out naturally-arising nested structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
14
![Page 75: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/75.jpg)
SYNTACTIC ACYCLICITY CONDITIONS
Chase [Maier et al., 1979] termination is undecidableProblem extensively studied in theory of databases
Various syntax-based acyclicity conditionsweak acyclicity [Fagin et al., ICDT, 2002]super-weak acyclicity [Marnette, PODS, 2009]joint acyclicity [Krötzsch and Rudolph, IJCAI, 2011]rule out naturally-arising nested structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
14
![Page 76: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/76.jpg)
SYNTACTIC ACYCLICITY CONDITIONS
Chase [Maier et al., 1979] termination is undecidableProblem extensively studied in theory of databasesVarious syntax-based acyclicity conditions
weak acyclicity [Fagin et al., ICDT, 2002]super-weak acyclicity [Marnette, PODS, 2009]joint acyclicity [Krötzsch and Rudolph, IJCAI, 2011]rule out naturally-arising nested structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
14
![Page 77: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/77.jpg)
SYNTACTIC ACYCLICITY CONDITIONS
Chase [Maier et al., 1979] termination is undecidableProblem extensively studied in theory of databasesVarious syntax-based acyclicity conditions
weak acyclicity [Fagin et al., ICDT, 2002]super-weak acyclicity [Marnette, PODS, 2009]joint acyclicity [Krötzsch and Rudolph, IJCAI, 2011]
rule out naturally-arising nested structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
14
![Page 78: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/78.jpg)
SYNTACTIC ACYCLICITY CONDITIONS
Chase [Maier et al., 1979] termination is undecidableProblem extensively studied in theory of databasesVarious syntax-based acyclicity conditions
weak acyclicity [Fagin et al., ICDT, 2002]super-weak acyclicity [Marnette, PODS, 2009]joint acyclicity [Krötzsch and Rudolph, IJCAI, 2011]rule out naturally-arising nested structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
14
![Page 79: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/79.jpg)
SYNTACTIC ACYCLICITY CONDITIONS
Chase [Maier et al., 1979] termination is undecidableProblem extensively studied in theory of databasesVarious syntax-based acyclicity conditions
weak acyclicity [Fagin et al., ICDT, 2002]super-weak acyclicity [Marnette, PODS, 2009]joint acyclicity [Krötzsch and Rudolph, IJCAI, 2011]rule out naturally-arising nested structures
EXAMPLE
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
14
![Page 80: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/80.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= CycleDGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 81: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/81.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
EXAMPLE
1AceticAcid
2Methyl
3Carboxyl
1Carboxyl
2Carbonyl
3Hydroxyl
AceticAcid ≺ Carboxyl
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= CycleDGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 82: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/82.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= CycleDGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 83: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/83.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= CycleDGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 84: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/84.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= Cycle
DGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 85: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/85.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= CycleDGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 86: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/86.jpg)
SEMANTIC ACYCLICITY
1 Transitive and irreflexive graph ordering which specifieswhich graph instances may imply the existence of othergraph instances
2 Extend the logic program with rules that detect violation ofthe graph ordering
3 Repetitive construction of graph instances during reasoningtriggers derivation of Cycle
A DGLP ontology O is semantically acyclic if O 6|= CycleDGLP ontology with acetic acid is semantically acyclic 3
Methyl
Carboxyl
Carbonyl
Hydroxyl
O
C
CH3 OH
15
![Page 87: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/87.jpg)
TECHNICAL RESULTS
1 Termination guarantee for semantically acyclic ontologies
2 Decidability of semantic acyclicity for negation-free DGLPontologies
3 Decidability of semantic acyclicity for DGLP ontologies withstratified negation
Semantically acyclic DGLP ontologies with stratifiednegation capture a wide range of chemical classes:
Is dinitrogen inorganic?
Does cyclobutane contain a four-membered ring?
Is acetylene a hydrocarbon?
Does benzaldehyde contain a benzene ring?
16
![Page 88: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/88.jpg)
TECHNICAL RESULTS
1 Termination guarantee for semantically acyclic ontologies2 Decidability of semantic acyclicity for negation-free DGLP
ontologies
3 Decidability of semantic acyclicity for DGLP ontologies withstratified negation
Semantically acyclic DGLP ontologies with stratifiednegation capture a wide range of chemical classes:
Is dinitrogen inorganic?
Does cyclobutane contain a four-membered ring?
Is acetylene a hydrocarbon?
Does benzaldehyde contain a benzene ring?
16
![Page 89: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/89.jpg)
TECHNICAL RESULTS
1 Termination guarantee for semantically acyclic ontologies2 Decidability of semantic acyclicity for negation-free DGLP
ontologies3 Decidability of semantic acyclicity for DGLP ontologies with
stratified negation
Semantically acyclic DGLP ontologies with stratifiednegation capture a wide range of chemical classes:
Is dinitrogen inorganic?
Does cyclobutane contain a four-membered ring?
Is acetylene a hydrocarbon?
Does benzaldehyde contain a benzene ring?
16
![Page 90: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/90.jpg)
TECHNICAL RESULTS
1 Termination guarantee for semantically acyclic ontologies2 Decidability of semantic acyclicity for negation-free DGLP
ontologies3 Decidability of semantic acyclicity for DGLP ontologies with
stratified negation
Semantically acyclic DGLP ontologies with stratifiednegation capture a wide range of chemical classes:
Is dinitrogen inorganic?
Does cyclobutane contain a four-membered ring?
Is acetylene a hydrocarbon?
Does benzaldehyde contain a benzene ring?
16
![Page 91: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/91.jpg)
TECHNICAL RESULTS
1 Termination guarantee for semantically acyclic ontologies2 Decidability of semantic acyclicity for negation-free DGLP
ontologies3 Decidability of semantic acyclicity for DGLP ontologies with
stratified negation
Semantically acyclic DGLP ontologies with stratifiednegation capture a wide range of chemical classes:
Is dinitrogen inorganic?
Does cyclobutane contain a four-membered ring?
Is acetylene a hydrocarbon?
Does benzaldehyde contain a benzene ring?
16
![Page 92: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/92.jpg)
TECHNICAL RESULTS
1 Termination guarantee for semantically acyclic ontologies2 Decidability of semantic acyclicity for negation-free DGLP
ontologies3 Decidability of semantic acyclicity for DGLP ontologies with
stratified negation
Semantically acyclic DGLP ontologies with stratifiednegation capture a wide range of chemical classes:
Is dinitrogen inorganic? 3
Does cyclobutane contain a four-membered ring? 3
Is acetylene a hydrocarbon? 3
Does benzaldehyde contain a benzene ring? 3
16
![Page 93: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/93.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile format
XSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 94: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/94.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engine
Chemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 95: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/95.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 96: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/96.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 97: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/97.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 molecules
Results:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 98: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/98.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 99: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/99.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclic
Molecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 100: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/100.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expected
Suite of subsumption tests for largest ontology performed infew minutes
17
![Page 101: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/101.jpg)
EMPIRICAL EVALUATION
Data extracted from ChEBI in Molfile formatXSB logic programming engineChemical classes:
HydrocarbonsInorganic moleculesMolecules with exactly two carbonsMolecules with a four-membered ringMolecules with a benzene
Preliminary evaluation ranging from 10 to 70 moleculesResults:
All DGLP ontologies were found acyclicMolecules classified as expectedSuite of subsumption tests for largest ontology performed infew minutes
17
![Page 102: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/102.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:
Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negationUser-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 103: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/103.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:
Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negationUser-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 104: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/104.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:
Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negationUser-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 105: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/105.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:Generalise acyclicity condition for datalog rules withexistentials in the head
Relax stratifiability criteria for negationUser-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 106: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/106.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negation
User-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 107: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/107.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negationUser-friendly surface syntax
Fully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 108: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/108.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negationUser-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18
![Page 109: Modelling Structured Domains with Description Graphs and Logic Programming](https://reader033.fdocuments.us/reader033/viewer/2022052619/556306bed8b42a62598b5547/html5/thumbnails/109.jpg)
OVERVIEW AND FUTURE DIRECTIONS
1 Expressive and decidable formalism for representation ofstructured objects
2 Novel acyclicity condition for logic programs with restricteduse of function symbols
3 Prototype for the structure-based classification of complexobjects
Future directions:Generalise acyclicity condition for datalog rules withexistentials in the headRelax stratifiability criteria for negationUser-friendly surface syntaxFully-fledged classification system for graph-shaped objects
Thank you for listening. Questions?
18