Explaining ALC Subsumption.
Alexander BorgidaEnrico FranconiIan HorrocksDeborah L. McGuinnessPeter F. Patel-SchneiderPublished in: Description Logics (1999)
Keyphrases
- description logics
- description logic alc
- knowledge base
- reasoning tasks
- fuzzy description logics
- knowledge representation
- modal logic
- dl lite
- ontology languages
- snomed ct
- refinement operators
- similarity measure
- ontology reasoning
- machine learning
- semantic web
- database
- databases
- information technology
- expert systems
- high level
- artificial intelligence