Projection in a Description Logic of Context with Actions.
Satyadharma TirtarasaBenjamin ZarrießPublished in: GCAI (2019)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- semantic web
- concept descriptions
- dl lite
- semantic mapping
- knowledge representation and reasoning
- reasoning problems
- computational properties
- computing least common subsumers
- reasoning systems
- snomed ct
- knowledge representation languages
- logical implication
- data types
- model theoretic
- current situation
- incomplete information
- knowledge management
- special case