A Tableaux-based Mobile DL Reasoner - An Experience Report.
Felix MüllerMichael HanselmannThorsten LiebigOlaf NoppensPublished in: Description Logics (2006)
Keyphrases
- description logics
- knowledge base
- mobile devices
- query answering
- mobile phone
- mobile environments
- mobile users
- expressive power
- modal logic
- mobile networks
- mobile learning
- functional dependencies
- computing environments
- decision procedures
- data sets
- rule engine
- mobile commerce
- consistency checking
- mobile computing
- autonomous mobile
- mobile communication
- m learning
- mobile applications
- temporal reasoning
- context aware
- knowledge representation