PAGOdA: Pay-as-you-go ABox Reasoning.
Yujiao ZhouBernardo Cuenca GrauYavor NenovIan HorrocksPublished in: Description Logics (2015)
Keyphrases
- expressive description logics
- description logics
- terminological reasoning
- knowledge base
- reasoning services
- reasoning tasks
- reasoning systems
- owl dl
- reasoning problems
- spatial reasoning
- reasoning process
- legal reasoning
- machine learning
- computational properties
- regular path queries
- knowledge representation
- logic programming
- query answering
- probabilistic reasoning
- automated reasoning
- logic programs
- artificial intelligence