Readings in Knowledge Representation
Readings in Knowledge Representation
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The description logic handbook
IEEE Intelligent Systems
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Toward an OSGi-Based Infrastructure for Context-Aware Applications
IEEE Pervasive Computing
An ontology-based context management and reasoning process for UbiComp applications
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
Pushing Doors for Modeling Contexts with OWL DL a Case Study
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
Middleware Support for Context-Awareness in 4G Environments
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
Protein classification using ontology classification
Bioinformatics
Middleware Support for Quality of Context in Pervasive Context-Aware Systems
PERCOMW '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops
A Performance Evaluation of Ontology-Based Context Reasoning
PERCOMW '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Situational computing: An innovative architecture with imprecise reasoning
Journal of Systems and Software
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Ambient Intelligence—the Next Step for Artificial Intelligence
IEEE Intelligent Systems
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A Comprehensive Approach for Situation-Awareness Based on Sensing and Reasoning about Context
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Managing Context Information in Mobile Devices
IEEE Pervasive Computing
Human-Computer Interaction
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Journal of Artificial Intelligence Research
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Application of decision trees to smart homes
Designing Smart Homes
Hi-index | 0.00 |
Ambient Intelligence systems need to represent information about their environment and recognize relevant situations to perform appropriate actions proactively and autonomously. The context information gathered by these systems comes with imperfections such as incompleteness or incorrectness. These characteristics need to be handled gracefully by the Ambient Intelligence system. Moreover, the represented information must allow for a fast and reliable recognition of the current situation. To solve these problems we propose a method for situation modeling using the Description Logics based ontology language OWL DL and a framework for employing Description Logics reasoning services to recognize the current situation based on context. The benefits from the approach are manifold: the semantics of Description Logics allow for graceful handling of incomplete knowledge. The well-investigated reasoning services do not only allow recognizing the current situation, but also can add to the reliability of the overall system. Moreover optimized reasoning systems are freely available and ready to use. We underpin the feasibility of our approach by providing a case study based on a smart home application conducting an evaluation of different Description Logics reasoners with respect to our application ontology as well as a discussion of Description Logics systems in Ambient Intelligence.