The following pages link to Description Logics (Q3638996):
Displaying 19 items.
- Similarity-based relaxed instance queries (Q901081) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Mapping of description logic to the relational data model (Q1699415) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- (Q2970045) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- (Q3826520) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4533343) (← links)
- (Q4576215) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)
- A Decidable Constructive Description Logic (Q4930754) (← links)
- Rough Pragmatic Description Logic (Q5245313) (← links)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← links)
- A NEUTROSOPHIC DESCRIPTION LOGIC (Q5506113) (← links)
- OUP accepted manuscript (Q5894701) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
- First steps towards taming description logics with strings (Q6545544) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)