On Definability and Redundancy in $\cal{EL}$ -TBoxes.

Denis K. Ponomaryov Dmitry Vlasov

Published in: RR (2012)

Keyphrases

description logics
dl lite
knowledge base
fixed point
knowledge representation
reasoning problems
model theoretic
propositional logic
information systems
social networks
motion estimation
artificial intelligence
learning algorithm
neural network
databases
data sets
database