- 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 ; 16-02
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa2-795827
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 MEZ
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
- Fernández Gil, Oliver
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Terminological cycles in a description logic with existential restrictions
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Runtime Verification Using a Temporal Description Logic Revisited
Verification of Golog Programs over Description Logic Actions
Exploring finite models in the Description Logic ELgfp
Unification in a Description Logic with Transitive Closure of Roles
LTL over Description Logic Axioms
Matching with respect to general concept inclusions in the Description Logic EL
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Runtime Verification Using a Temporal Description Logic Revisited
Verification of Golog Programs over Description Logic Actions
Exploring finite models in the Description Logic ELgfp
Unification in a Description Logic with Transitive Closure of Roles
LTL over Description Logic Axioms
Matching with respect to general concept inclusions in the Description Logic EL
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Runtime Verification Using a Temporal Description Logic Revisited
Verification of Golog Programs over Description Logic Actions
Exploring finite models in the Description Logic ELgfp
Unification in a Description Logic with Transitive Closure of Roles
LTL over Description Logic Axioms
Matching with respect to general concept inclusions in the Description Logic EL
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀