Towards Practical ABox Abduction in Large Description Logic Ontologies.
Jianfeng DuGuilin QiYi-Dong ShenJeff Z. PanPublished in: Int. J. Semantic Web Inf. Syst. (2012)
Keyphrases
- description logics
- dl lite
- ontology languages
- reasoning services
- owl dl
- knowledge base
- semantic web
- knowledge representation
- logical implication
- ontology reasoning
- expressive description logics
- reasoning tasks
- concept descriptions
- snomed ct
- formal ontologies
- semantic mapping
- conjunctive query answering
- dl programs
- reasoning mechanism
- owl ontologies
- web ontology language
- biomedical ontologies
- description logic knowledge base
- computational properties
- query answering
- semantic web ontologies
- reasoning problems
- exptime complete
- reasoning systems
- background knowledge
- logic programming
- ontology mappings
- medical terminology
- model theoretic
- domain ontology
- daml oil
- terminological reasoning
- computational complexity
- natural language