A Tableau-Based Explainer for DL Subsumption.
Thorsten LiebigMichael HalfmannPublished in: TABLEAUX (2005)
Keyphrases
- description logics
- knowledge representation
- expressive description logics
- knowledge base
- computational properties
- dl lite
- concept descriptions
- refinement operators
- snomed ct
- semantic web
- model theoretic
- databases
- owl dl
- reasoning problems
- ontology languages
- database systems
- neural network
- expert systems
- natural language
- information retrieval
- real time
- description logic alc