an introduction to description logics (chapter 2 of dlhb)
TRANSCRIPT
![Page 1: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/1.jpg)
An Introduction to Description Logics
(chapter 2 of DLHB)
![Page 2: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/2.jpg)
What Are Description Logics?• A family of logic based Knowledge Representation formalisms
– Descendants of semantic networks and KL-ONE
– Describe domain in terms of concepts (classes), roles (relationships) and individuals
• Distinguished by:– Formal semantics (typically model theoretic)
• Decidable fragments of FOL
• Closely related to Propositional Modal & Dynamic Logics
– Provision of inference services
• Sound and complete decision procedures for key problems
• Implemented systems (highly optimised)
![Page 3: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/3.jpg)
Origions of DLs
• Knowledge connecting persons, parents, etc.• Described as semantic network• Semantic networks whitout a semantics
![Page 4: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/4.jpg)
DL Architecture
Knowledge Base
Tbox (schema)
Abox (data)
Man ´ Human u Male
Happy-Father ´ Man u 9 has-child Female u …
John : Happy-Father
hJohn, Maryi : has-child Infe
ren
ce S
yste
m
Inte
rface
![Page 5: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/5.jpg)
Short History of Description LogicsPhase 1:
– Incomplete systems (Back, Classic, Loom, . . . )
– Based on structural algorithms
Phase 2:– Development of tableau algorithms and complexity results
– Tableau-based systems for Pspace logics (e.g., Kris, Crack)
– Investigation of optimisation techniques
Phase 3:– Tableau algorithms for very expressive DLs
– Highly optimised tableau systems for ExpTime logics (e.g., FaCT, DLP, Racer)
– Relationship to modal logic and decidable fragments of FOL
![Page 6: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/6.jpg)
Latest DevelopmentsPhase 4:
– Mature implementations
– Mainstream applications and Tools
• Databases
– Consistency of conceptual schemata (EER, UML etc.)
– Schema integration
– Query subsumption (w.r.t. a conceptual schema)
• Ontologies and Semantic Web (and Grid)
– Ontology engineering (design, maintenance, integration)
– Reasoning with ontology-based markup (meta-data)
– Service description and discovery
– Commercial implementations
• Cerebra system from Network Inference Ltd
![Page 7: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/7.jpg)
Description Logic Family• DLs are a family of logic based KR formalisms• Particular languages mainly characterised by:
– Set of constructors for building complex concepts and roles from simpler ones
– Set of axioms for asserting facts about concepts, roles and individuals
• Simplest logic in this family is named AL• Others are specified by adding some suffixes like U ε N C:
– ALC
– ALCU– etc.
![Page 8: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/8.jpg)
Description logic AL
• Example constructs:
![Page 9: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/9.jpg)
More AL family members• Disjunction (U)
• Full existential quantification (ε)
• Number restrictions (N)
• Full negation (C)
• Example:
![Page 10: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/10.jpg)
Other DL Concept and Role Constructors
• Range of other constructors found in DLs, including:– Qualified number restrictions, e.g., £2 hasChild.Female,
³1 hasParent.Male
– Nominals (singleton concepts), e.g., {Italy}
– Inverse roles, e.g., hasChild¯ (hasParent)
– Transitive roles, e.g., hasChild* (descendant)
– Role composition, e.g., hasParent o hasBrother (uncle)
![Page 11: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/11.jpg)
DL as fragments of Predicate Logic
![Page 12: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/12.jpg)
Lisp like style for DL
![Page 13: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/13.jpg)
DL Knowledge Base• DL Knowledge Base (KB) normally separated into 2 parts:
– TBox is a set of axioms describing structure of domain (i.e., a conceptual schema), e.g.:
• HappyFather Man Í hasChild.Female Π …
• Elephant Í Animal Π Large Π Grey
• transitive(ancestor)
– ABox is a set of axioms describing a concrete situation (data), e.g.:
• John:HappyFather
• <John,Mary>:hasChild
![Page 14: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/14.jpg)
Terminologies or TBoxes
![Page 15: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/15.jpg)
Terminologies or Tboxes (cont.)
![Page 16: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/16.jpg)
Inference services
![Page 17: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/17.jpg)
Inference service: concept satisfiability
![Page 18: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/18.jpg)
Inference services based on satisfiability
![Page 19: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/19.jpg)
Inference service: concept subsumption
![Page 20: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/20.jpg)
Concept examples
![Page 21: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/21.jpg)
Example taxonomy
![Page 22: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/22.jpg)
World description: ABox
![Page 23: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/23.jpg)
ABox inference services
![Page 24: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/24.jpg)
Abox inference services (cont.)
![Page 25: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/25.jpg)
ABox example
![Page 26: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/26.jpg)
TBox taxonomy plus individuals
![Page 27: An Introduction to Description Logics (chapter 2 of DLHB)](https://reader036.vdocument.in/reader036/viewer/2022062308/56649f005503460f94c1584f/html5/thumbnails/27.jpg)
Open world assumption