Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying.
Mark ThomHarold BoleyTheodoros MitsikasPublished in: RuleML+RR (2020)
Keyphrases
- knowledge representation
- logic programming
- expert systems
- knowledge base
- knowledge acquisition
- description logics
- machine translation
- natural language
- automated reasoning
- machine learning
- knowledge based systems
- knowledge structures
- natural language processing
- query language
- semantic web
- artificial intelligence
- databases
- inference engine
- knowledge engineering
- representing knowledge
- first order logic
- multimedia databases
- production rules
- probabilistic reasoning
- database
- database querying
- formal representation
- statistical machine translation
- query translation
- query processing
- natural language understanding
- cross language information retrieval
- data sets