An Approach to Subsumption in a DL with Implication.
Mathieu LatourretteMichel SimonetPublished in: Description Logics (1996)
Keyphrases
- description logics
- logical implication
- knowledge base
- refinement operators
- expressive description logics
- dl lite
- functional dependencies
- reasoning problems
- snomed ct
- knowledge representation
- ontology reasoning
- information retrieval
- computational properties
- concept descriptions
- case study
- information systems
- dl programs
- search engine
- real time
- integrity constraints
- np complete
- social networks
- description logic alc