Model-based Most Specific Concepts in Description Logics with Value Restrictions
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Erschienen in
-
LTCS-Report ; 08-04
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa2-795081
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 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
- Distel, Felix
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Description Logics with Symbolic Number Restrictions
Cardinality restrictions on concepts
Number Restrictions on Complex Roles in Description Logics
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Nonmonotonic logics : basic concepts, results, and techniques
Interaction in virtual worlds : concepts, applications and restrictions
Ordinal logics and the characterization of informal concepts of proof
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
New concepts for amalgamation and extension in the framework of specification logics
What does a technology shock do? A VAR analysis with model-based sign restrictions
"Triggersystem Logics"
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Description Logics with Symbolic Number Restrictions
Cardinality restrictions on concepts
Number Restrictions on Complex Roles in Description Logics
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Nonmonotonic logics : basic concepts, results, and techniques
Interaction in virtual worlds : concepts, applications and restrictions
Ordinal logics and the characterization of informal concepts of proof
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
New concepts for amalgamation and extension in the framework of specification logics
What does a technology shock do? A VAR analysis with model-based sign restrictions
"Triggersystem Logics"
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Description Logics with Symbolic Number Restrictions
Cardinality restrictions on concepts
Number Restrictions on Complex Roles in Description Logics
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Nonmonotonic logics : basic concepts, results, and techniques
Interaction in virtual worlds : concepts, applications and restrictions
Ordinal logics and the characterization of informal concepts of proof
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
New concepts for amalgamation and extension in the framework of specification logics
What does a technology shock do? A VAR analysis with model-based sign restrictions