Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Journal of automated reasoning. 66,S. 357-407. ISSN: 0168-7433
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2024
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa2-887205
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:49 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
- Baader, Franz
- Rydval, Jakub
- Technische Universität Dresden
Entstanden
- 2024
Ähnliche Objekte (12)
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
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
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
Number Restrictions on Complex Roles in Description Logics
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
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
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
Number Restrictions on Complex Roles in Description Logics
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
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
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