From Datalog Reasoning to Modular Structure of an Ontology.
Changlong WangZhiyong FengGuozheng RaoXin WangXiaowang ZhangPublished in: ISWC (Posters & Demos) (2015)
Keyphrases
- modular structure
- knowledge base
- knowledge representation
- ontology reasoning
- explanatory power
- domain knowledge
- expressive power
- deductive databases
- reasoning process
- model based reasoning
- query answering
- datalog programs
- reasoning systems
- probabilistic reasoning
- reasoning services
- owl dl
- database
- logic programming
- domain specific
- query language
- qualitative reasoning
- automated reasoning
- transitive closure
- knowledge representation and reasoning
- conjunctive queries
- domain ontology
- description logics
- databases