Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Dissertation, 2022
- Schlagwort
-
Concrete
Model theory
Description logics
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:14-qucosa2-799074
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
24.06.2025, 13:18 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
- Rydval, Jakub
- Baader, Franz
- Lutz, Carsten
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Description Logics with Aggregates and Concrete Domains
Description Logics with Aggregates and Concrete Domains, Part II
Using model theory to find w-admissible concrete domains
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics : Extended Version
A scheme for integrating concrete domains into concept languages
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Unfication of Concept Terms in Description Logics
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Description Logics with Aggregates and Concrete Domains
Description Logics with Aggregates and Concrete Domains, Part II
Using model theory to find w-admissible concrete domains
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics : Extended Version
A scheme for integrating concrete domains into concept languages
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Unfication of Concept Terms in Description Logics
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Description Logics with Aggregates and Concrete Domains
Description Logics with Aggregates and Concrete Domains, Part II
Using model theory to find w-admissible concrete domains
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics : Extended Version
A scheme for integrating concrete domains into concept languages
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version