- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Bibliographic citation
-
LTCS-Report ; 16-02
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2022
- Creator
- URN
-
urn:nbn:de:bsz:14-qucosa2-795827
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Baader, Franz
- Fernández Gil, Oliver
- Technische Universität Dresden
Time of origin
- 2022
Other Objects (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₀