The following pages link to (Q4013976):
Displaying 7 items.
- Attributive concept descriptions with complements (Q749235) (← links)
- The complexity of existential quantification in concept languages. (Q989170) (← links)
- Semantic networks (Q1202620) (← links)
- The KL-ONE family (Q1202629) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- Terminological reasoning is inherently intractable (Q2638816) (← links)
