Querying Natural Logic Knowledge Bases.
Troels AndreasenHenrik BulskovPer Anker JensenJørgen Fischer NilssonPublished in: KEOD (2017)
Keyphrases
- data model
- query language
- knowledge base
- databases
- logic programming
- database systems
- possibilistic logic
- xml documents
- classical logic
- modal logic
- knowledge representation
- description logics
- knowledge based systems
- multi valued
- knowledge acquisition
- query processing
- expert systems
- artificial intelligence
- real world
- reasoning engine
- proof theory
- predicate logic
- tableau calculus
- automated reasoning
- propositional logic
- semantic network
- knowledge sources
- belief revision
- background knowledge
- wordnet