Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions.
Viorica Sofronie-StokkermansPublished in: CoRR (2013)
Keyphrases
- description logics
- refinement operators
- transitive closure of roles
- knowledge base
- knowledge representation
- image interpolation
- np complete
- efficient implementation
- test set
- interpolation methods
- social networks
- databases
- default theories
- response time
- linear interpolation
- color images
- low pass filtering
- data mining