5-3 Tableaux Algorithm for ALC

This video belongs to the openHPI course Semantic Web Technologies . Do you want to see more?

An error occurred while loading the video player, or it takes a long time to initialize. You can try clearing your browser cache. Please try again later and contact the helpdesk if the problem persists.

Go to overview

Week 1
- Welcome
- Prerequisites
- Welcome to the openHPI Course Archive
- Week 1
- Learning Material 1
- 1-1 The Web and how we got there
- 1-1 The Web and how we got there
- 1-2 The Limits of the Web
- 1-2 The Limits of the Web
- 1-3 The Importance of Meaning
- 1-3 Comprehension
- 1-4 The Limits of the Web (continued)
- 1-4 The Limits of the Web (continued)
- 1-5 The Vision of the Semantic Web
- 1-5 The Vision of the Semantic Web
- 1-6 The Vision of the Semantic Web (continued)
- 1-6 The Vision of the Semantic Web (continued)
- 1-7 Applications in the Web of Data
- 1-7 Applications in the Web of Data
Week 2
- Week 2
- Learning Material 2
- 2-1 How to identify Things? - URIs
- 2-1 How to identify Things? - URIs
- 2-2 How to Represent Facts? - RDF (1)
- 2-2 How to Represent Facts? - RDF (1)
- 2-3 How to Represent Facts? - RDF (2)
- 2-3 How to Represent Facts? - RDF (2)
- 2-4 How to Represent Facts? - RDF (3)
- 2-4 How to Represent Facts? - RDF (3)
- 2-5 How to Represent Facts? - RDF (4)
- 2-5 How to Represent Facts? - RDF (4)
- 2-6 How to Model Classes and Relations? - RDFS
- 2-7 How Much Semantics is there in RDF(S)?
- 2-6 How to Model Classes and Relations? - RDFS
- 2-7 How Much Semantics is there in RDF(S)?
Week 3
- Week 3
- Learning Material 3
- 3-1 How to Query RDF(S)? - SPARQL
- 3-1 How to Query RDF(S)? - SPARQL
- 3-2 How to Query RDF(S)? - SPARQL (2)
- 3-2 How to Query RDF(S)? - SPARQL (2)
- 3-3 How to Query RDF(S)? - SPARQL (3)
- 3-4 How to Query RDF(S)? - SPARQL 1.1 (4)
- 3-3 How to Query RDF(S)? - SPARQL (3)
- 3-5 How to Store RDF(S) Data? - Triple Stores
- 3-4 How to Query RDF(S)? - SPARQL 1.1 (4)
- 3-6 The Limits of RDF(S)
- 3-5 How to Store RDF(S) Data? - Triple Stores
- 3-6 The Limits of RDF(S)
Excursus
- Excursus
- Learning Material Excursus
- Excursus: Semantic (Meta) Data and the Web
Week 4
- Week 4
- Learning Material 4
- 4-1 Ontology as Central Concept in Philosophy
- 4-1 Ontology as Central Concept in Philosophy
- 4-2 Ontologies in Computer Science
- 4-2 Ontologies in Computer Science
- 4-3 How Do I Define a Formal Model of an Ontology
- 4-3 How Do I Define a Formal Model of an Ontology
- 4-4 Ontology Types
- 4-4 Ontology Types
- 4-5 Foundations of Logic
- 4-6 Canonical Form
- 4-6 Canonical Form
- 4-5 Foundations of Logic
- 4-7 Resolution
- 4-9 Tableaux Algorithm
- 4-8 Resolution (FOL)
- 4-7 Resolution
- 4-8 Resolution (FOL)
- 4-9 Tableaux Algorithm
Week 5
- Week 5
- Learning Material 5
- 5-1 Description Logics ALC
- 5-1 Description Logics ALC
- 5-2 DL Inference and Reasoning
- 5-2 DL Inference and Reasoning
- 5-3 Tableaux Algorithm for ALC
- 5-3 Tableaux Algorithm for ALC
- 5-4 Web Ontology Language - OWL
- 5-5 Web Ontology Language - OWL (2)
- 5-5 Web Ontology Language - OWL (2)
- 5-6 Web Ontology Language - OWL (3)
- 5-6 Web Ontology Language - OWL (3)
- 5-7 Web Ontology Language - OWL (4)
- 5-8 Web Ontology Language - OWL (5)
- 5-7 Web Ontology Language - OWL (4)
- 5-9 Rules and the Semantic Web
- 5-8 Web Ontology Language - OWL (5)
- 5-9 Rules and the Semantic Web
Week 6
- Week 6
- 6-1 Ontological Engineering
- 6-2 Ontology Design
- 6-2 Ontology Design
- 6-3 Ontology Design 101
- 6-3 Ontology Design 101
- 6-4 Linked Data Engineering
- 6-4 Linked Data Engineering
- 6-5 Linked Data Engineering (2)
- 6-5 Linked Data Engineering (2)
- 6-6 Named Entity Recognition
- 6-6 Named Entity Recognition
- 6-7 Semantic Search
- 6-7 Semantic Search
- 6-8 Exploratory Search