Object Oriented Knowledge Engineering: A Formal Approach for Verification.
Akram Ibrahim SalahManal Ahmed IsmailPublished in: EUROVAV (1997)
Keyphrases
- knowledge engineering
- object oriented
- formal methods
- software engineering
- knowledge based systems
- knowledge acquisition
- expert systems
- knowledge elicitation
- knowledge representation
- domain knowledge
- ai law
- formal analysis
- data model
- rule based expert systems
- model checking
- artificial intelligence
- case based reasoning
- mixed initiative
- relational databases
- expert knowledge
- programming language
- object oriented databases
- query language
- formal specification
- database schema
- knowledge management
- reasoning under uncertainty
- machine learning
- case study
- description logics
- knowledge engineers
- related fields
- semantic wiki
- neural network
- databases