Feature modeling and Verification based on Description Logics.
Guohua ShenZhiqiu HuangChangbao TianQiang GeWei ZhangPublished in: SEKE (2012)
Keyphrases
- description logics
- knowledge base
- knowledge representation and reasoning
- reasoning systems
- knowledge representation
- dl lite
- reasoning tasks
- computational properties
- reasoning problems
- ontology languages
- knowledge representation formalisms
- model checking
- reasoning mechanism
- semantic web
- database
- reasoning services
- knowledge representation systems
- owl ontologies
- fuzzy description logics
- number restrictions