\mathcal{EL}^+ Knowledge Base.
Jing MeiShengping LiuGuo Tong XieAditya KalyanpurAchille FokoueYuan NiHanyu LiYue PanPublished in: ISWC (2009)
Keyphrases
- knowledge base
- description logics
- transitive closure of roles
- refinement operators
- dl lite
- terminological reasoning
- expert systems
- knowledge based systems
- knowledge representation
- knowledge acquisition
- semantic network
- belief revision
- logic programming
- inference engine
- knowledge structures
- rule base
- website
- artificial intelligence
- real time
- background knowledge
- wordnet
- database
- bayesian networks
- case study
- decision making
- relevant knowledge