0.25
0.5
0.75
1.25
1.5
1.75
2
Knowledge Representation and the Semantic Web – an Ontologician´s View
Published on 2018-07-10742 Views
With the rise of the Semantic Web and in the course of the standardization of ontology languages, logic-based knowledge representation (KR) has received wide attention from academics and practitioners
Presentation
Knowledge Representation and the Semantic Web – an Ontologician's View00:00
(1) G(r)eek Joke (2) Anecdote - 119:45:22
(1) G(r)eek Joke (2) Anecdote - 238:45:07
Purpose of the Talk55:01:55
Facts about Logicians87:22:01
Gottfried Wilhelm Leibniz (1646 Sebastian Rudolph ESWC 2018 Slide 7 -1716) 114:45:28
formal definition of syntax and semantics of logics and deduction calculi establish foundations for automated inferencing129:40:16
rise of computers and research on symbolic AI and deductive databases pave way toward automated reasoning - 1150:32:04
Evolution: Mathematical Logic Computational Logic154:54:38
more and more knowledge is available in interlinked, structured, logically accessible form, providing ground truth about the world166:51:57
Evolution: Classical KR Contemporary KR173:03:46
Convergence of KR and Databases - 1180:16:33
Convergence of KR and Databases - 2233:02:54
Challenges for Logic-based KR263:05:30
Research Workflow for Logic-based KR - 1297:24:03
Research Workflow for Logic-based KR - 2323:27:20
Research Workflow for Logic-based KR - 3339:04:51
Identification of Novel Logical Features341:31:01
Example: Modeling Feature - 1369:59:35
Example: Modeling Feature - 2396:31:10
Research Workflow for Logic-based KR415:45:39
Investigation of Computational Properties417:34:59
Example: Simple Conjunctive Queries in OWL449:13:38
The Problem469:28:39
Part I: Testing for K ² q479:33:19
How to Test for K ²/ q ?495:52:48
Proof of Representativity: Overview513:58:06
Part II: Testing for K ² q525:35:49
The “Algorithm“534:51:15
Many Open Problems...555:33:36
Post Correspondence Problem568:24:47
Post Correspondence Problem - 2577:56:21
Post Correspondence Problem - 3586:57:14
Post Correspondence Problem - 4587:45:48
Post Correspondence Problem - 5588:14:54
Post Correspondence Problem - 6589:33:08
Post Correspondence Problem - 7594:25:02
Post Correspondence Problem - 8595:41:58
Post Correspondence Problem - 9596:56:01
Post Correspondence Problem - 10600:56:01
Post Correspondence Problem - 11603:21:36
Post Correspondence Problem - 12606:24:00
Digression: State of Decidability - 1619:30:22
Digression: State of Decidability - 2646:20:29
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation651:06:04
Untitled656:31:55
Research Workflow for Logic-based KR - 2658:55:37
Algorithm Design659:24:34
Example: OWL QL Query Answering - 1670:02:38
Example: OWL QL Query Answering - 2675:50:04
Example: OWL QL Query Answering - 3680:45:36
Example: OWL QL Query Answering - 4688:16:11
Example: OWL QL Query Answering - 5694:15:10
Example: OWL QL Query Answering - 6698:43:16
Example: OWL QL Query Answering - 7702:26:58
Example: OWL QL Query Answering - 8703:19:25
Example: OWL QL Query Answering - 9706:35:08
Example: OWL QL Query Answering - 10716:07:12
Example: OWL QL Query Answering - 11720:30:56
Example: OWL QL Query Answering - 12727:14:03
Example: OWL QL Query Answering - 13727:42:03
Research Workflow for Logic-based KR - 1731:32:07
Research Workflow for Logic-based KR - 2733:33:45
Why Modeling Support? - 1734:52:39
Why Modeling Support? - 2750:06:05
Why Modeling Support? - 3758:06:43
Modeling Support: Guided KB Completion767:41:07
Modeling Support: Possible World Explorer - 1769:46:04
Modeling Support: Possible World Explorer - 2780:24:56
Further Challenges I: Noise789:24:17
Further Challenges II: Dynamics805:46:57
Conclusion & Credo821:26:58