Foundations for the Logical Difference of EL-TBoxes.
Shasha FengMichel LudwigDirk WaltherPublished in: GCAI (2015)
Keyphrases
- description logics
- model theoretic
- artificial intelligence
- knowledge representation
- dl lite
- knowledge base
- information retrieval
- reasoning tasks
- logical representation
- databases
- machine learning
- logic programming
- computational complexity
- convex functions
- logical framework
- multi agent
- reasoning problems
- neural network