Pages that link to "Item:Q1380407"
From MaRDI portal
The following pages link to Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407):
Displaying 7 items.
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Set containment inference and syllogisms (Q1114429) (← links)
- An empirical analysis of terminological representation systems (Q1332849) (← links)
- The complexity of concept languages (Q1363785) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- Description Logics (Q3638996) (← links)