Implementing Large-Scale ABox Materialization Using Subgraph Reasoning.
Xixi ZhuBin LinZhaoyun DingLi YaoCheng ZhuPublished in: KSEM (1) (2022)
Keyphrases
- expressive description logics
- description logics
- terminological reasoning
- knowledge base
- reasoning tasks
- owl dl
- reasoning systems
- small scale
- distributed databases
- graph mining
- reasoning services
- database
- computational properties
- reasoning problems
- automated reasoning
- domain ontology
- np hard
- knowledge representation
- probabilistic reasoning
- reasoning process
- graph databases
- query answering
- data cube
- query processing
- case based reasoning
- artificial intelligence
- real world