Reasoning with part-part relations in a description logic.
Nenad KrdzavacDragan GasevicPublished in: Knowl. Based Syst. (2011)
Keyphrases
- description logics
- reasoning tasks
- expressive description logics
- reasoning problems
- reasoning systems
- knowledge base
- computational properties
- knowledge representation and reasoning
- knowledge representation systems
- reasoning mechanism
- reasoning services
- biomedical ontologies
- knowledge representation
- knowledge representation formalisms
- computing least common subsumers
- owl dl
- concept descriptions
- number restrictions
- ontology reasoning
- knowledge representation languages
- exptime complete
- mathcal shiq
- semantic web ontologies
- web ontology language
- ontology languages
- medical terminology
- semantic web
- background knowledge
- formal ontologies
- logical implication
- dl lite
- np complete
- snomed ct
- automated reasoning
- description logic programs
- representing knowledge
- owl ontologies