- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Aachen : Aachen University of Technology
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Erschienen in
-
LTCS-Report ; 97-01
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa2-788104
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
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
- Baader, Franz
- Sattler, Ulrike
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Description Logics with Aggregates and Concrete Domains, Part II
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics : Extended Version
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
A scheme for integrating concrete domains into concept languages
Using model theory to find w-admissible concrete domains
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Description Logics with Aggregates and Concrete Domains, Part II
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics : Extended Version
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
A scheme for integrating concrete domains into concept languages
Using model theory to find w-admissible concrete domains
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Description Logics with Aggregates and Concrete Domains, Part II
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics : Extended Version
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
A scheme for integrating concrete domains into concept languages
Using model theory to find w-admissible concrete domains
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics