A logic-based calculus of events
New Generation Computing
A contraction algorithm for finding small cycle cutsets
Journal of Algorithms
Introduction to algorithms
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
Modeling Context Information in Pervasive Computing Systems
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Indoor Navigation Using a Diverse Set of Cheap, Wearable Sensors
ISWC '99 Proceedings of the 3rd IEEE International Symposium on Wearable Computers
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Semantic Web in the Context Broker Architecture
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Semantic Space: An Infrastructure for Smart Spaces
IEEE Pervasive Computing
Experience Report: Ontological Reasoning for Context-aware Internet Services
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
OWL-Based Context-Dependent Task Modeling and Deducing
AINAW '07 Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02
Accurate activity recognition in a home setting
UbiComp '08 Proceedings of the 10th international conference on Ubiquitous computing
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
Web Semantics: Science, Services and Agents on the World Wide Web
iMuseum: A scalable context-aware intelligent museum system
Computer Communications
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
Evidential fusion of sensor data for activity recognition in smart homes
Pervasive and Mobile Computing
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
An OWL Ontology for Fuzzy OWL 2
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Common sense based joint training of human activity recognizers
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A hybrid discriminative/generative approach for modeling human activities
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Location-based activity recognition using relational Markov networks
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Enhancing intelligence and dependability of a product line enabled pervasive middleware
Pervasive and Mobile Computing
Learning situation models for providing context-aware services
UAHCI'07 Proceedings of the 4th international conference on Universal access in human-computer interaction: ambient interaction
COSAR: hybrid reasoning for context-aware activity recognition
Personal and Ubiquitous Computing
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
SCIMS: a social context information management system for socially-aware applications
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Future research challenges and applications of ubiquitous robotics
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Context Inference Engine (CiE): Inferring Context
International Journal of Advanced Pervasive and Ubiquitous Computing
A probabilistic ontological framework for the recognition of multilevel human activities
Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing
A survey on ontologies for human behavior recognition
ACM Computing Surveys (CSUR)
Ontology patterns for complex activity modelling
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
An ontology-based approach to ADL recognition in smart homes
Future Generation Computer Systems
Hi-index | 0.00 |
In recent years, there has been a growing interest in the adoption of ontologies and ontological reasoning to automatically recognize complex context data such as human activities. In particular, the Web Ontology Language (OWL) emerged as the language of choice, being a standard for the Semantic Web, and supported by a number of tools for knowledge engineering and reasoning. However, the limitations of OWL 1 in terms of expressiveness have been recognized in various fields, and important research efforts have been made to extend the language while preserving decidability of its OWL 1 DL fragment. The result of such work is OWL 2. In this paper we investigate the use of OWL 2 for modeling complex activities and reasoning with them. We show that the new language constructors of OWL 2 overcome the main limitations of OWL 1 for the representation of activities; OWL 2 axioms can be used to represent certain rules and rule-based reasoning previously demanded to hybrid approaches, with the advantage of having a unique semantics, avoiding potential inconsistencies. Then, we propose a system architecture showing the integration of a novel OWL 2 activity ontology and reasoning modules with distributed modules for sensor data aggregation and reasoning. The feasibility of our solution is shown by an extensive experimental evaluation with simulations of different intelligent environments.