Extending the description logic EL with threshold concepts induced by concept measures
From MaRDI portal
Publication:6152660
Recommendations
- Adding threshold concepts to the description logic \(\mathcal{EL}\)
- Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes
- A Logic for Concepts and Similarity
- Roughening the \(\mathcal{EL}\) envelope
- A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
Cites work
- A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
- A Logic for Concepts and Similarity
- A tableau algorithm for reasoning about concepts and similarity
- Adding threshold concepts to the description logic \(\mathcal{EL}\)
- An introduction to description logic
- Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\)
- Attributive concept descriptions with complements
- Computing the least common subsumer w.r.t. a background terminology
- Data Complexity in the $\mathcal{EL}$ Family of Description Logics
- Data complexity of query answering in description logics
- Deduction in Concept Languages: from Subsumption to Instance Checking
- Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
- Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes
- Fuzzy sets
- HermiT: an OWL 2 reasoner
- scientific article; zbMATH DE number 52881 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 67504 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Making fuzzy description logic more general
- Non-standard inferences in description logics
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Optimizing terminological reasoning for expressive description logics
- Personalizing a Concept Similarity Measure in the Description Logic DLELH with Preference Profile
- Provably Difficult Combinatorial Games
- Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata
- Reasoning within fuzzy description logics
- Relationships between nondeterministic and deterministic tape complexities
- Semantic matchmaking as non-monotonic reasoning: a description logic approach
- Similarity-based relaxed instance queries
- Terminological reasoning is inherently intractable
- The limits of decidability in fuzzy description logics with general concept inclusions
- Unification in the Description Logic $\mathcal{EL}$
This page was built for publication: Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6152660)
