- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Aachen : Aachen University of Technology
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Bibliographic citation
-
LTCS-Report ; 98-02
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2022
- Creator
- URN
-
urn:nbn:de:bsz:14-qucosa2-788210
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
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
- Baader, Franz
- Sattler, Ulrike
- Technische Universität Dresden
Time of origin
- 2022
Other Objects (12)
Description Logics with Aggregates and Concrete Domains
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
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
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