Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains ; volume:66 ; number:3 ; day:4 ; month:5 ; year:2022 ; pages:357-407 ; date:8.2022
Journal of automated reasoning ; 66, Heft 3 (4.5.2022), 357-407, 8.2022
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-022-09626-2
- URN
-
urn:nbn:de:101:1-2022082520272678153990
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:27 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
- SpringerLink (Online service)
Ä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