- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Diplomarbeit, 2010
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2024
- Creator
- Contributor
- URN
-
urn:nbn:de:bsz:14-qucosa2-888026
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:34 AM CEST
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
- Borgwardt, Stefan
- Peñaloza Nyssen, Rafael
- Baader, Franz
- Technische Universität Dresden
Time of origin
- 2024
Other Objects (12)
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Constructing SNOMED CT Concepts via Disunification
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Computing Minimal EL-Unifiers is Hard
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
On the Complexity of Temporal Query Answering
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Dismatching and Local Disunification in EL
Unification in the Description Logic EL Without Top Constructor
Fuzzy description logics with general concept inclusions
Complementation and Inclusion of Weighted Automata on Infinite Trees
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Constructing SNOMED CT Concepts via Disunification
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Computing Minimal EL-Unifiers is Hard
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
On the Complexity of Temporal Query Answering
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Dismatching and Local Disunification in EL
Unification in the Description Logic EL Without Top Constructor
Fuzzy description logics with general concept inclusions
Complementation and Inclusion of Weighted Automata on Infinite Trees
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Constructing SNOMED CT Concepts via Disunification
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Computing Minimal EL-Unifiers is Hard
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
On the Complexity of Temporal Query Answering
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Query Rewriting for DL-Lite with n-ary Concrete Domains : Extended Version
Dismatching and Local Disunification in EL
Unification in the Description Logic EL Without Top Constructor
Fuzzy description logics with general concept inclusions