On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics.
Pavel KlinovBijan ParsiaPublished in: SUM (2009)
Keyphrases
- description logics
- terminological reasoning
- description logic alc
- reasoning problems
- computational properties
- knowledge base
- dl lite
- reasoning tasks
- bayesian networks
- knowledge representation
- semantic web
- ontology languages
- exptime complete
- model theoretic
- modal logic
- computing least common subsumers
- satisfiability problem
- knowledge representation formalisms
- computational complexity
- knowledge representation and reasoning
- concept descriptions
- description logic programs
- reasoning services
- dl programs
- owl ontologies
- uncertain data
- owl dl
- logic programming
- logic programs
- terminological knowledge