- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Ulmer Informatik-Berichte ; Nr. 2012,01
- Klassifikation
-
Informatik
- Schlagwort
-
Schlussfolgern
Tableau
OWL
Terminologische Logik
Optimierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2012
- Urheber
- URN
-
urn:nbn:de:bsz:289-vts-80259
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Steigmiller, Andreas
- Liebig, Thorsten
- Glimm, Birte
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2012
Ähnliche Objekte (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
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Metric Temporal Description Logics with Interval-Rigid Names : Extended Version
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
The Complexity of Reasoning with Boolean Modal Logics : Extended Version
Metric Temporal Description Logics with Interval-Rigid Names : Extended Version
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
The Complexity of Reasoning with Boolean Modal Logics : Extended Version