Keyphrases
- open source
- object oriented
- logic programming
- programming language
- semantic information
- operational semantics
- knowledge base
- web services
- formal semantics
- conceptual graphs
- lightweight
- database applications
- web applications
- default reasoning
- deductive databases
- databases
- source code
- software engineering
- search engine