UVT: A Unification-Based Tool for Knowledge Base Verification.
Faruk PolatH. Altay GüvenirPublished in: IEEE Expert (1993)
Keyphrases
- knowledge base
- knowledge acquisition
- knowledge representation
- software tools
- expert systems
- knowledge acquisition tools
- genetic algorithm
- semantic network
- model checking
- data sets
- wordnet
- description logics
- formal representation
- domain experts
- knowledge based systems
- decision trees
- web services
- metadata
- social networks
- real world