From Specification Languages to Specification Knowledge Bases: The PTO Approach.
Valery N. AgafonovPublished in: MFCS (1989)
Keyphrases
- specification languages
- formal specification
- knowledge base
- object oriented programs
- first order logic
- description logics
- specification language
- knowledge representation
- semantic network
- database
- knowledge based systems
- knowledge acquisition
- logic programming
- meta knowledge
- background knowledge
- model checking
- conceptual model
- knowledge sources
- logic programs
- relational databases
- knowledge representation systems
- open source