formal rmal foundations oundations of of ontologies
play

Formal rmal Foundations oundations of of Ontologies Ontologies - PowerPoint PPT Presentation

Making Statements DL Knowledge Bases Entailment in DLs Formal rmal Foundations oundations of of Ontologies Ontologies and and Reasoning Reasoning Ivan Ivan Varzinczak rzinczak Universit dArtois & CNRS, France


  1. Making Statements DL Knowledge Bases Entailment in DLs Formal rmal Foundations oundations of of Ontologies Ontologies and and Reasoning Reasoning Ivan Ivan Varzinczak rzinczak Université d’Artois & CNRS, France http://www.ijv.ovh Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 1

  2. Making Statements DL Knowledge Bases Entailment in DLs Outline of Part 2 Making Statements DL Knowledge Bases Entailment in DLs Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 2

  3. Making Statements DL Knowledge Bases Entailment in DLs Outline of Part 2 Making Statements DL Knowledge Bases Entailment in DLs Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 3

  4. Making Statements DL Knowledge Bases Entailment in DLs Motivation Concept language of ALC ⊤ , ⊥ (constants) A (atomic concept) ¬ C (complement of C ) C ⊓ D (intersection of C and D ) C ⊔ D (union of C and D ) ∃ r.C (existential restriction) ∀ r.C (value restriction) Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 4

  5. Making Statements DL Knowledge Bases Entailment in DLs Motivation Concept language of ALC ⊤ , ⊥ (constants) A (atomic concept) ¬ C (complement of C ) C ⊓ D (intersection of C and D ) C ⊔ D (union of C and D ) ∃ r.C (existential restriction) ∀ r.C (value restriction) Something is missing Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 4

  6. Making Statements DL Knowledge Bases Entailment in DLs Motivation Concept language of ALC ⊤ , ⊥ (constants) A (atomic concept) ¬ C (complement of C ) C ⊓ D (intersection of C and D ) C ⊔ D (union of C and D ) ∃ r.C (existential restriction) ∀ r.C (value restriction) Something is missing • The central notion in logic: C ‘ → ’ D Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 4

  7. Making Statements DL Knowledge Bases Entailment in DLs Motivation Concept language of ALC ⊤ , ⊥ (constants) A (atomic concept) ¬ C (complement of C ) C ⊓ D (intersection of C and D ) C ⊔ D (union of C and D ) ∃ r.C (existential restriction) ∀ r.C (value restriction) Something is missing • The central notion in logic: C ‘ → ’ D • What would C ‘ → ’ D mean here? Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 4

  8. Making Statements DL Knowledge Bases Entailment in DLs Motivation Concept language of ALC ⊤ , ⊥ (constants) A (atomic concept) ¬ C (complement of C ) C ⊓ D (intersection of C and D ) C ⊔ D (union of C and D ) ∃ r.C (existential restriction) ∀ r.C (value restriction) Something is missing • The central notion in logic: C ‘ → ’ D • What would C ‘ → ’ D mean here? (We already have ¬ C ⊔ D ) Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 4

  9. Making Statements DL Knowledge Bases Entailment in DLs Motivation Concept language of ALC ⊤ , ⊥ (constants) A (atomic concept) ¬ C (complement of C ) C ⊓ D (intersection of C and D ) C ⊔ D (union of C and D ) ∃ r.C (existential restriction) ∀ r.C (value restriction) Something is missing • The central notion in logic: C ‘ → ’ D • What would C ‘ → ’ D mean here? (We already have ¬ C ⊔ D ) • DLs have a version of ‘ → ’ that is very special Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 4

  10. Making Statements DL Knowledge Bases Entailment in DLs Statements In many logics meta-language (entailment, etc) object language (formulae) Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 5

  11. Making Statements DL Knowledge Bases Entailment in DLs Statements In many logics In DLs meta-language meta-language (entailment, etc) statements object language (formulae) concept language • Two levels of language • Two notions of ‘entailment’ • Two notions of ‘satisfaction’ Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 5

  12. Making Statements DL Knowledge Bases Entailment in DLs Making statements Subsumption • Concept inclusion • Employed students are students • Employed students are employees Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 6

  13. Making Statements DL Knowledge Bases Entailment in DLs Making statements Subsumption • Concept inclusion • Employed students are students • Employed students are employees Instantiation or assertions • Concept and role membership • John is an employed student (John instantiates employed student) • John works for IBM (John and IBM instantiate works for) Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 6

  14. Making Statements DL Knowledge Bases Entailment in DLs Making statements Subsumption • Concept inclusion • Employed students are students • Employed students are employees Instantiation or assertions • Concept and role membership • John is an employed student (John instantiates employed student) • John works for IBM (John and IBM instantiate works for) Statements talk about concepts, roles and individuals Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 6

  15. Making Statements DL Knowledge Bases Entailment in DLs Making statements Subsumption • Concept inclusion • Employed students are students • Employed students are employees Instantiation or assertions • Concept and role membership • John is an employed student (John instantiates employed student) • John works for IBM (John and IBM instantiate works for) Statements talk about concepts, roles and individuals They are not concepts! They are in the ‘in-between’ language Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 6

  16. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ⊑ D Intuition • D subsumes C (or C is subsumed by D ) • C is more specific than D (or D is more general than C ) • Formalise one aspect of is-a relations Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 7

  17. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ⊑ D Intuition • D subsumes C (or C is subsumed by D ) • C is more specific than D (or D is more general than C ) • Formalise one aspect of is-a relations Example • EmpStud ⊑ Student ⊓ Employee, Employee ⊑ ∃ worksFor . ⊤ • EmpStud ⊑ ∃ pays . Tax, Student ⊓ ¬ Employee ⊑ ¬∃ pays . Tax Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 7

  18. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ⊑ D Intuition • D subsumes C (or C is subsumed by D ) • C is more specific than D (or D is more general than C ) • Formalise one aspect of is-a relations Example • EmpStud ⊑ Student ⊓ Employee, Employee ⊑ ∃ worksFor . ⊤ • EmpStud ⊑ ∃ pays . Tax, Student ⊓ ¬ Employee ⊑ ¬∃ pays . Tax Central notion in DL terminologies (taxonomies) Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 7

  19. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ⊑ D Semantics C I ⊆ D I • I � C ⊑ D ( I satisfies C ⊑ D ) if • First level of ‘entailment’: all C -objects are D -objects Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 8

  20. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ⊑ D Semantics C I ⊆ D I • I � C ⊑ D ( I satisfies C ⊑ D ) if • First level of ‘entailment’: all C -objects are D -objects ∆ I D I C I Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 8

  21. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ≡ D Concept equivalence • Just an abbreviation for C ⊑ D and D ⊑ C • I � C ≡ D if I � C ⊑ D and I � D ⊑ C C I = D I • I � C ≡ D if Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 9

  22. Making Statements DL Knowledge Bases Entailment in DLs Subsumption statements C ≡ D Concept equivalence • Just an abbreviation for C ⊑ D and D ⊑ C • I � C ≡ D if I � C ⊑ D and I � D ⊑ C C I = D I • I � C ≡ D if ∆ I C I D I Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 9

  23. Making Statements DL Knowledge Bases Entailment in DLs Exercise I : ∆ I Parent I pays x 0 x 1 x 3 x 2 ( mary ) EmpStud I Tax I Company I pays worksFor x 4 x 5 ( john ) x 6 ( ibm ) worksFor x 7 x 8 x 9 x 10 empBy Employee I Student I Ivan Varzinczak Formal Foundations of Ontologies and Reasoning (Part 2) 26 April 2019 10

Recommend


More recommend