The Probabilistic Description Logic BALC.
Leonard BothaThomas Andreas MeyerRafael PeñalozaPublished in: CoRR (2020)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- dl lite
- description logic programs
- reasoning tasks
- model theoretic
- semantic web
- snomed ct
- computational properties
- reasoning systems
- concept descriptions
- owl dl
- reasoning problems
- computing least common subsumers
- owl ontologies
- reasoning mechanism
- reasoning services
- ontology languages
- probabilistic reasoning
- bayesian networks
- ontology reasoning
- machine learning
- number restrictions
- terminological knowledge
- semantic mapping
- default reasoning
- uncertain data
- np complete
- logic programming
- artificial intelligence