- 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 ; 05-01
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2022
- URN
-
urn:nbn:de:bsz:14-qucosa2-793279
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
- Brandt, Sebastian
- Lutz, Carsten
- Technische Universität Dresden
Time of origin
- 2022
Other Objects (12)
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
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
On the Complexity of Boolean Unification
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
Unification theory
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
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.)
Extending the Description Logic τEL(deg) with Acyclic TBoxes
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
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
On the Complexity of Boolean Unification
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
Unification theory
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
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.)
Extending the Description Logic τEL(deg) with Acyclic TBoxes
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
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
On the Complexity of Boolean Unification
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Concept Descriptions with Set Constraints and Cardinality Constraints
Terminological cycles in a description logic with existential restrictions
Unification theory
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
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.)