Domain Knowledge Consistency Checking for Ontology-Based Requirement Engineering.
Ying-ying YangZong-yong LiZhi-xue WangPublished in: CSSE (2) (2008)
Keyphrases
- design process
- consistency checking
- domain knowledge
- engineering design
- query answering
- stochastic search
- temporal constraints
- temporal reasoning
- artificial intelligence
- domain experts
- semantic information
- prior knowledge
- incomplete information
- data exchange
- path consistency
- software engineering
- dynamic programming