Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
Andrew BateBoris MotikBernardo Cuenca GrauDavid Tena CucalaFrantisek SimancikIan HorrocksPublished in: J. Artif. Intell. Res. (2018)
Keyphrases
- description logics
- number restrictions
- inverse roles
- knowledge base
- dl lite
- transitive roles
- reasoning tasks
- computational properties
- knowledge representation
- reasoning systems
- model theoretic
- databases
- semantic web
- reasoning problems
- query answering
- knowledge representation and reasoning
- owl dl
- exptime complete
- special case