Secrecy-preserving Reasoning in Acyclic DL-LiteR Knowledge Bases in the Presence of BCQs.
Gopalakrishnan Krishnaswamy SivaprakasamGiora SlutzkiPublished in: ICAART (2) (2021)
Keyphrases
- knowledge base
- knowledge representation systems
- reasoning process
- knowledge representation
- inference engine
- description logics
- expert systems
- np hard
- knowledge based systems
- open world
- database schemes
- reasoning tasks
- abductive logic programming
- production rules
- np complete
- key management
- wordnet
- knowledge acquisition
- knowledge sources
- knowledge engineers
- knowledge representation and reasoning
- formal representation
- security properties
- reasoning engine
- logic programming
- knowledge representation languages
- computing least common subsumers