Two Phase Description Logic Reasoning for Efficient Information Retrieval.
Zsolt ZomboriPublished in: ICLP (Technical Communications) (2011)
Keyphrases
- description logics
- computing least common subsumers
- reasoning tasks
- reasoning problems
- information retrieval
- knowledge base
- computational properties
- reasoning systems
- knowledge representation and reasoning
- expressive description logics
- reasoning mechanism
- knowledge representation
- knowledge representation systems
- reasoning services
- knowledge representation formalisms
- ontology reasoning
- semantic web ontologies
- number restrictions
- concept descriptions
- owl dl
- mathcal shiq
- dl lite
- knowledge representation languages
- snomed ct
- ontology languages
- automated reasoning
- logic programming
- artificial intelligence
- reasoning engine
- answering queries
- production rules
- semantic web
- xml documents
- expert systems