- Sprache
-
Englisch
- Umfang
-
Online-Ressource
- Anmerkungen
-
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Erschienen in
-
LTCS-Report ; 02-02
- Klassifikation
-
Informatik
- Urheber
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- URN
-
urn:nbn:de:bsz:14-qucosa2-790203
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Computing Least Common Subsumer in Description Logics with Existential Restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Cardinality restrictions on concepts
Qualifying number restrictions in concept languages
Description Logics with Symbolic Number Restrictions
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Number Restrictions on Complex Roles in Description Logics
Runtime Verification Using a Temporal Description Logic Revisited
Verification of Golog Programs over Description Logic Actions
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Computing Least Common Subsumer in Description Logics with Existential Restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Cardinality restrictions on concepts
Qualifying number restrictions in concept languages
Description Logics with Symbolic Number Restrictions
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Number Restrictions on Complex Roles in Description Logics
Runtime Verification Using a Temporal Description Logic Revisited
Verification of Golog Programs over Description Logic Actions
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Computing Least Common Subsumer in Description Logics with Existential Restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Cardinality restrictions on concepts
Qualifying number restrictions in concept languages
Description Logics with Symbolic Number Restrictions
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Number Restrictions on Complex Roles in Description Logics
Runtime Verification Using a Temporal Description Logic Revisited