Efficient Answer Enumeration in Description Logics with Functional Roles - Extended Version.
Carsten LutzMarcin PrzybylkoPublished in: CoRR (2022)
Keyphrases
- description logics
- fuzzy description logics
- reasoning tasks
- functional roles
- knowledge representation
- knowledge representation and reasoning
- reasoning problems
- computational properties
- concept descriptions
- ontology languages
- knowledge base
- reasoning systems
- dl lite
- knowledge representation systems
- e learning
- artificial intelligence