The Bayesian Description Logic ${\mathcal{BEL}}$.
Ismail Ilkan CeylanRafael PeñalozaPublished in: IJCAR (2014)
Keyphrases
- description logics
- mathcal alc
- transitive closure of roles
- knowledge base
- refinement operators
- reasoning tasks
- reasoning systems
- knowledge representation
- computational properties
- dl lite
- model theoretic
- computing least common subsumers
- semantic web
- ontology languages
- bayesian networks
- reasoning problems
- concept descriptions
- reasoning services
- snomed ct
- reasoning mechanism
- owl ontologies