Efficient Answer Enumeration in Description Logics with Functional Roles.
Carsten LutzMarcin PrzybylkoPublished in: AAAI (2023)
Keyphrases
- description logics
- knowledge base
- functional roles
- reasoning problems
- knowledge representation
- computational properties
- knowledge representation systems
- dl lite
- knowledge representation formalisms
- reasoning systems
- knowledge representation and reasoning
- expert systems
- reasoning tasks
- concept descriptions
- reasoning services
- information retrieval
- owl dl