Hochschulschrift
Optimisation of tableau-based reasoning systems for expressive description logics
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Ulm, Universität Ulm, Dissertation, 2016
- Classification
-
Informatik
- Keyword
-
Logik
OWL
Tableau
Optimierung
- DOI
-
10.18725/OPARU-4003
- URN
-
urn:nbn:de:bsz:289-oparu-4042-6
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Steigmiller, Andreas
- Universität Ulm
Time of origin
- 2016
Other Objects (12)
Optimisation of Terminological Reasoning
Approximate assertional reasoning over expressive ontologies
Infinitely Valued Gödel Semantics for Expressive Description Logics
Expressive Non-Monotonic Description Logics Based on Circumscription
Machine learning, meta-reasoning and logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Deductive Module Extraction for Expressive Description Logics : Extended Version
Extended caching, backjumping and merging for expressive description logics
Models of strategic reasoning : logics, games, and communities
Standard and non-standard reasoning in description logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Many valued logics, 2.. Automated reasoning and practical applications
Optimisation of Terminological Reasoning
Approximate assertional reasoning over expressive ontologies
Infinitely Valued Gödel Semantics for Expressive Description Logics
Expressive Non-Monotonic Description Logics Based on Circumscription
Machine learning, meta-reasoning and logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Deductive Module Extraction for Expressive Description Logics : Extended Version
Extended caching, backjumping and merging for expressive description logics
Models of strategic reasoning : logics, games, and communities
Standard and non-standard reasoning in description logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Many valued logics, 2.. Automated reasoning and practical applications
Optimisation of Terminological Reasoning
Approximate assertional reasoning over expressive ontologies
Infinitely Valued Gödel Semantics for Expressive Description Logics
Expressive Non-Monotonic Description Logics Based on Circumscription
Machine learning, meta-reasoning and logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Deductive Module Extraction for Expressive Description Logics : Extended Version
Extended caching, backjumping and merging for expressive description logics
Models of strategic reasoning : logics, games, and communities
Standard and non-standard reasoning in description logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power