Deutsch
Login
Home
Search
Browse
Publish
FAQ
Refine
Author
Faßbender, Dennis (1)
(remove)
Has Fulltext
yes (1)
(remove)
Keywords
Beschreibungslogik
(1)
Hypertableaux
(1)
description logic
(1)
hypertableaux
(1)
shiq
(1)
Institute
Fachbereich 4 (1)
(remove)
1
search hit
1
to
1
50
10
20
50
100
The DLE-Hyper Tableau Calculus: a Decision Procedure for SHIQ
(2012)
Faßbender, Dennis
This thesis introduces the DLE-Hyper Tableau calculus, an extension of the E-Hyper Tableau calculus that is a decision procedure for the Description Logic SHIQ.
1
to
1