Pages that link to "Item:Q749235"
From MaRDI portal
The following pages link to Attributive concept descriptions with complements (Q749235):
Displaying 9 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- Foundations of Onto-Relational Learning (Q3543274) (← links)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← links)
