Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).
Sebastian RudolphPublished in: Description Logics (2022)
Keyphrases
- description logics
- invited talk
- knowledge base
- knowledge discovery and data mining
- conjunctive query answering
- reasoning tasks
- selected papers
- exptime complete
- computational properties
- knowledge representation
- dl lite
- reasoning systems
- expressive description logics
- inverse roles
- semantic web
- concept descriptions
- knowledge representation formalisms
- transitive roles
- knowledge representation languages
- number restrictions
- knowledge representation and reasoning
- reasoning problems
- reasoning services
- highly expressive
- integrity constraints
- owl dl
- database
- ontology languages
- medical terminology