Extending soft sets with description logics.
Yuncheng JiangYong TangQimai ChenJu WangSuqin TangPublished in: Comput. Math. Appl. (2010)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- computational properties
- reasoning tasks
- knowledge representation and reasoning
- reasoning systems
- knowledge representation formalisms
- reasoning problems
- semantic web
- dl lite
- concept descriptions
- knowledge representation languages
- number restrictions
- owl dl
- ontology languages
- transitive roles
- computing least common subsumers
- owl ontologies
- fuzzy description logics
- model theoretic
- logic programming
- expert systems