Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases.
Gopalakrishnan Krishnasamy SivaprakasamAdrienne RaglinDouglas Summers-StayGiora SlutzkiPublished in: GCAI (2017)
Keyphrases
- description logics
- dl lite
- query answering
- knowledge base
- conjunctive query answering
- transitive roles
- reasoning tasks
- reasoning problems
- computing least common subsumers
- reasoning services
- knowledge representation
- computational properties
- number restrictions
- inverse roles
- knowledge representation languages
- ontology languages
- data exchange
- conjunctive queries
- owl dl
- probabilistic reasoning
- incomplete information
- data complexity
- probabilistic databases
- data integration
- integrity constraints
- automated reasoning
- answering queries
- expert systems
- artificial intelligence
- model theoretic
- owl ontologies
- regular path queries
- data management
- exptime complete
- semantic web
- deductive databases
- belief revision
- data model
- expressive power
- complexity of query answering
- first order logic