Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
- 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 ; 02-07
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2022
- Creator
- URN
-
urn:nbn:de:bsz:14-qucosa2-790267
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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
- Technische Universität Dresden
Time of origin
- 2022
Other Objects (12)
Terminological cycles in a description logic with existential restrictions
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Cardinality restrictions on concepts
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Qualifying number restrictions in concept languages
Description Logics with Symbolic Number Restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Number Restrictions on Complex Roles in Description Logics
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Terminological cycles in a description logic with existential restrictions
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Cardinality restrictions on concepts
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Qualifying number restrictions in concept languages
Description Logics with Symbolic Number Restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Number Restrictions on Complex Roles in Description Logics
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Terminological cycles in a description logic with existential restrictions
Computing Least Common Subsumer in Description Logics with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions
Matching Concept Descriptions with Existential Restrictions Revisited
Cardinality restrictions on concepts
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Qualifying number restrictions in concept languages
Description Logics with Symbolic Number Restrictions
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Number Restrictions on Complex Roles in Description Logics
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions