Knowledge reasoning and Tableau Algorithm improving based on rough description logics.
Hongcan YanChen LiuBaoxiang LiuPublished in: FSKD (2012)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- reasoning mechanism
- knowledge representation and reasoning
- reasoning problems
- expressive description logics
- reasoning tasks
- np hard
- reasoning systems
- formal ontologies
- knowledge representation systems
- computational properties
- domain knowledge
- reasoning services
- knowledge representation languages
- computational complexity
- concept descriptions
- knowledge representation formalisms
- expert systems