On the Scalability of Description Logic Instance Retrieval.
Volker HaarslevRalf MöllerPublished in: J. Autom. Reason. (2008)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- computational properties
- semantic web
- reasoning mechanism
- computing least common subsumers
- dl lite
- document retrieval
- information retrieval
- snomed ct
- model theoretic
- reasoning systems
- reasoning problems
- owl dl
- concept descriptions
- relevance feedback
- logical implication
- reasoning services
- ontology languages
- relational databases
- computational complexity
- number restrictions
- dl programs
- owl ontologies
- query answering