Keyphrases
- fuzzy description logics
- description logics
- logic programming
- semantic information
- formal semantics
- description logic alc
- model theoretic
- specification language
- reasoning tasks
- machine learning
- logic programs
- multi agent systems
- bayesian networks
- transformation rules
- information retrieval
- owl dl
- logical language
- data mining