Pages that link to "Item:Q2090131"
From MaRDI portal
The following pages link to Using model theory to find decidable and tractable description logics with concrete domains (Q2090131):
Displaying 5 items.
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic (Q2968856) (← links)
- (Q4576256) (← links)
- A Decidable Constructive Description Logic (Q4930754) (← links)
- First steps towards taming description logics with strings (Q6545544) (← links)
