Syntax versus semantics in knowledge bases - I.
Elena AladovaPublished in: Int. J. Algebra Comput. (2018)
Keyphrases
- knowledge base
- logic programming
- operational semantics
- definition language
- rule language
- machine processable
- sound and complete with respect
- formal semantics
- description logics
- lexical semantics
- predicate calculus
- possibilistic logic
- expert systems
- high level
- answer set programming
- precisely defined
- open world
- closed world reasoning
- default reasoning
- context free grammars
- semantic constraints
- semantic information
- semantic web
- knowledge acquisition
- logic programs
- programming language
- object oriented
- domain knowledge