Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Computing Minimal EL-Unifiers is Hard + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Dismatching and Local Disunification in EL + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Finding Finite Herbrand Models + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Subsumption in Finitely Valued Fuzzy EL + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Temporal Query Answering in EL + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Undecidability of Fuzzy Description Logics + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)