- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Ulmer Informatik-Berichte ; Nr. 2012,01
- Classification
-
Informatik
- Keyword
-
Schlussfolgern
Tableau
OWL
Terminologische Logik
Optimierung
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2012
- Creator
- URN
-
urn:nbn:de:bsz:289-vts-80259
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:34 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.
Associated
- Steigmiller, Andreas
- Liebig, Thorsten
- Glimm, Birte
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2012
Other Objects (12)
Deductive Module Extraction for Expressive Description Logics : Extended Version
On the Abstract Expressive Power of Description Logics with Concrete Domains : Extended Version
Expressive Non-Monotonic Description Logics Based on Circumscription
Infinitely Valued Gödel Semantics for Expressive Description Logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Caching
Optimisation of tableau-based reasoning systems for expressive description logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
A Closer Look at the Expressive Power of Logics Based on Word Equations
Information-centric mobile caching network frameworks and caching optimization: a survey
Geoprocessing mit OpenCaching
Top-k Semantic Caching
Deductive Module Extraction for Expressive Description Logics : Extended Version
On the Abstract Expressive Power of Description Logics with Concrete Domains : Extended Version
Expressive Non-Monotonic Description Logics Based on Circumscription
Infinitely Valued Gödel Semantics for Expressive Description Logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Caching
Optimisation of tableau-based reasoning systems for expressive description logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
A Closer Look at the Expressive Power of Logics Based on Word Equations
Information-centric mobile caching network frameworks and caching optimization: a survey
Geoprocessing mit OpenCaching
Top-k Semantic Caching
Deductive Module Extraction for Expressive Description Logics : Extended Version
On the Abstract Expressive Power of Description Logics with Concrete Domains : Extended Version
Expressive Non-Monotonic Description Logics Based on Circumscription
Infinitely Valued Gödel Semantics for Expressive Description Logics
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
Caching
Optimisation of tableau-based reasoning systems for expressive description logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
A Closer Look at the Expressive Power of Logics Based on Word Equations
Information-centric mobile caching network frameworks and caching optimization: a survey
Geoprocessing mit OpenCaching