The following pages link to Matching in description logics (Q4260088):
Displaying 7 items.
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Natural language directed inference from ontologies (Q2389659) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- Matching in Hybrid Terminologies (Q3498464) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
