A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
- 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 ; 04-02
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa2-793199
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:20 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
- Baader, Franz
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
The Infimum Problem as a Generalization of the Inclusion Problem for Automata
On the Complexity of Boolean Unification
Structural Subsumption Considered from an Automata-Theoretic Point of View
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Unification theory
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Terminological cycles in a description logic with existential restrictions
Concept Descriptions with Set Constraints and Cardinality Constraints
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
The Infimum Problem as a Generalization of the Inclusion Problem for Automata
On the Complexity of Boolean Unification
Structural Subsumption Considered from an Automata-Theoretic Point of View
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Unification theory
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Terminological cycles in a description logic with existential restrictions
Concept Descriptions with Set Constraints and Cardinality Constraints
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
The Infimum Problem as a Generalization of the Inclusion Problem for Automata
On the Complexity of Boolean Unification
Structural Subsumption Considered from an Automata-Theoretic Point of View
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Unification theory
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Terminological cycles in a description logic with existential restrictions