: An Integration of Description Logic and General Rules.
Jing MeiZuoquan LinHarold BoleyPublished in: RR (2007)
Keyphrases
- description logics
- highly expressive
- logical implication
- reasoning tasks
- dl programs
- formal logic
- knowledge base
- refinement operators
- special case
- computational properties
- owl ontologies
- reasoning mechanism
- reasoning problems
- semantic web
- concept descriptions
- snomed ct
- dl lite
- knowledge representation
- description logic programs
- inductive learning
- knowledge representation languages