Skip to contents

Fernández Gil, Oliver [Editor]; Escobar, Santiago [Editor] ; Technische Universität Dresden

The 38th International Workshop on Unification UNIF 2024 : Workshop Informal Proceedings

View online
Schließen

Links

... to media via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[2024]

Published in: LTCS-Report ; 24-04
Fernández Gil, Oliver [Author]; Marantidis, Pavlos [Author] ; Technische Universität Dresden

Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata

View online
Schließen

Links

... to media via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[2024]

Published in: LTCS-Report ; 23-04
Baader, Franz [Author]; Fernandez Gil, Oliver [Author] ; Technische Universität Dresden

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies : (Extended Version)

View online
Schließen

Links

... to media via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[2024]

Published in: LTCS-Report ; 24-01
Baader, Franz [Author]; Fernández Gil, Oliver [Author]

Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2016

Published in: LTCS-Report ; 16,7
Baader, Franz [Author]; Fernández Gil, Oliver [Author]

Extending the Description Logic τEL(deg) with Acyclic TBoxes

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2016

Published in: LTCS-Report ; 16,2
Baader, Franz [Author]; Gil, Oliver Fernández [Author]; Rostamigiv, Maryam [Author]

Restricted Unification in the DL FL0 (Extended Abstract)

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021
Baader, Franz [Author]; Fernández Gil, Oliver [Author]; Rostamigiv, Maryam [Author]

Restricted Unification in the DL FL₀ : (Extended Version)

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2021

Published in: LTCS-Report ; 21,2
Fernández Gil, Oliver [Author]; Turhan, Anni-Yasmin [Author]

Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2020

Published in: LTCS-Report ; 20,5
Gil, Oliver Fernández [Author]; Turhan, Anni-Yasmin [Author]

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020
Baader, Franz [Author]; Fernández Gil, Oliver [Author]; Pensel, Maximilian [Author]

Standard and Non-Standard Inferences in the Description Logic FL₀ Using Tree Automata

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2018

Published in: LTCS-Report ; 18,4
Baader, Franz [Author]; Fernández Gil, Oliver [Author]; Marantidis, Pavlos [Author]

Approximation in Description Logics : How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL₀

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2016

Published in: LTCS-Report ; 16,8
Baader, Franz [Author]; Brewka, Gerhard [Author]; Fernández Gil, Oliver [Author]

Adding Threshold Concepts to the Description Logic EL

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2015

Published in: LTCS-Report ; 15,9
Baader, Franz [Author]; Fernández Gil, Oliver [Author]; Morawska, Barbara [Author]

Hybrid Unification in the Description Logic EL

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2013

Published in: LTCS-Report ; 13,7
Fernández Gil, Oliver [Author] ; Baader, Franz [Degree supervisor]; Baader, Franz [Other]; Brewka, Gerhard [Degree supervisor]; Brewka, Gerhard [Other]; Wolter, Frank [Other]

Adding Threshold Concepts to the Description Logic EL

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Universitätsbibliothek Leipzig, 2016
Rojas, Itziar de [Author]; Moreno-Grau, Sonia [Author]; Tesi, Niccolo [Author]; Grenier-Boley, Benjamin [Author]; Andrade, Victor [Author]; Kerkmeijer-Jansen, Iris E. [Author]; Pedersen, Nancy L. [Author]; Stringa, Najada [Author]; Zettergren, Anna [Author]; Hernández, Isabel [Author]; Montrreal, Laura [Author]; Antúnez, Carmen [Author]; Antonell, Anna [Author]; Tankard, Rick M. [Author]; Bis, Joshua C. [Author]; Sims, Rebecca [Author]; Bellenguez, Céline [Author]; Quintela, Inés [Author]; González-Perez, Antonio [Author]; Calero, Miguel [Author]; Franco-Macías, Emilio [Author]; Macías, Juan [Author]; Blesa, Rafael [Author]; Cervera-Carles, Laura [Author]; [...]

Common variants in Alzheimer’s disease and risk stratification by polygenic risk scores

View online
Schließen

Access

... to article via DOI (freely accessible)

... to article (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

07 June 2021

Published in: Nature Communications ; 12(2021), Artikel-ID 3417, Seite 1-16
Baader, Franz; Fernández Gil, Oliver

Automated Reasoning: Unification in the Description Logic $$\mathcal {ELH}_{\mathcal {R}^+}$$ Without the Top Concept Modulo Cycle-Restricted Ontologies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2024

Published in: Automated Reasoning (2024), Seite 279-297
Baader, Franz; Gil, Oliver Fernández; Rostamigiv, Maryam

Frontiers of Combining Systems: Restricted Unification in the DL $$\mathcal {FL}_0$$

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Frontiers of Combining Systems (2021), Seite 81-97
Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos

Language and Automata Theory and Applications: Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2017

Published in: Language and Automata Theory and Applications (2017), Seite 3-26
Baader, Franz; Brewka, Gerhard; Gil, Oliver Fernández

Frontiers of Combining Systems: Adding Threshold Concepts to the Description Logic $\mathcal{EL}$

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Frontiers of Combining Systems (2015), Seite 33-48
Baader, Franz; Fernández Gil, Oliver; Morawska, Barbara

Frontiers of Combining Systems: Hybrid Unification in the Description Logic $\mathcal{EL}$

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2013

Published in: Frontiers of Combining Systems (2013), Seite 295-310

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication