Keyphrases
- knowledge representation
- knowledge base
- logic programming
- rdf knowledge bases
- expert systems
- semantic web
- abstract machine
- prolog programs
- inference engine
- programming language
- constraint logic programming
- owl ontologies
- semantic web technologies
- logic programming language
- theorem proving
- extended entity relationship
- object oriented programming language
- knowledge based systems
- horn clauses
- real time
- description logics
- explanation based generalization
- general purpose
- web services
- learning algorithm
- machine learning