Description Logics WS 05/06 - Electures-Portal

ModulNavigation

Description Logics - WS 2005

Description Logics
- 1. Introduction
  - 1.1. Introduction
- 2. Tableau algorithms
  - 2.1. Tableau algorithms
- 3. Automata-based Decision Procedures
  - 3.1. Automata-based Decision Procedures
- 4. Complexity of selected DLs
  - 4.1. Complexity of selected DLs
- 5. SubBoolean DLs
  - 5.1. SubBoolean DLs

All electures of chapter 'Introduction'

	Title	Lecturer(s)	Rating	Comments
	Introduction	Dr. Ulrike Sattler (University of Manchester)	Currently 2.3666666/5 Stars. 1 2 3 4 5	0 Comments